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



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


Формула Fg должна представлять Ее, где подформулам с кванторами дается ограниченная интерпретация, а г / меняется в пределах множества [ att ( yt), I: i.

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

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

Формула Fg должна представлять Ее, где подформулам с кванторами дается ограниченная интерпретация, а г / меняется в пределах множества [ att ( yt), I: i.