Формула Fg должна представлять Eg, где подформулам с кванторами дается ограниченная интерпретация, a yt меняется ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Майер Д.N. Теория реляционных баз данных


Формула Fg должна представлять Eg, где подформулам с кванторами дается ограниченная интерпретация, a yt меняется в пределах множества [ att ( yt) ], I т, которое может содержать edom ( att ( yt), g) собственно.

(cкачать страницу)

Смотреть книгу на libgen

Формула Fg должна представлять Eg,  где подформулам с кванторами дается ограниченная интерпретация,  a yt меняется в пределах множества [ att ( yt) ],  I т,  которое может содержать edom ( att ( yt),  g) собственно.