Изменения
→Квантор существования
=== Применение кванторов ===
==== Квантор существования ====
Квантор существования соответсвует соответствует проекции. Проецируем, исключая атрибуты, порожденные переменной.
* Если существует хотя бы одно значение кортежной переменной, удовлетворяющее условию, то проекция окажется не пустой.
* Если такого значения не окажется, то проекция окажется пустой.
Получаем в точности поведение квантора существования.
==== Квантор всеобщности ====
