Изменения

Перейти к: навигация, поиск

Связь алгебры и исчисления кортежей. Реляционная полнота исчисления кортежей

85 байт убрано, 03:28, 27 декабря 2021
→‎Применение кванторов
=== Применение кванторов ===
Рассмотрим подробнее, как применять кванторы.
==== Квантор существования ====
Квантор существования соответсвует проекции. Проецируем, исключая атрибуты, порожденные переменной.
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/81997»

Навигация