Формула Fg должна представлять Eg, где подформулам с кванторами дается ограниченная интерпретация, a yt меняется ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Майер Д.N.
Теория реляционных баз данных
Формула Fg должна представлять Eg, где подформулам с кванторами дается ограниченная интерпретация, a yt меняется в пределах множества [ att ( yt) ], I т, которое может содержать edom ( att ( yt), g) собственно.