Изменения

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

Исчисление кортежей

31 байт убрано, 00:43, 27 декабря 2021
→‎Примеры
==== Примеры ====
В первом примере задаем Можно задать группы, в которых есть хотя бы один Иван, то есть для группы существует такой студент, которого зовут Иван и при этом он учится в данной группе:
G <font color = blue>where</font> <font color = blue>$\exists$</font>S <font color = gray>(</font>S<font color = gray>.</font>FirstName <font color = gray>=</font> <font color = green>'Иван'</font> <font color = blue>∧</font> S<font color = gray>.</font>GId <font color = gray>=</font> G<font color = gray>.</font>GId<font color = gray>)</font>
Во втором примере задаем Также можно задать группы, в которых нет Иванов. Другими словами, любой студент, если он Иван, то он не учится в рассматриваемой группе:
G <font color = blue>where</font> <font color = blue>$\forall$</font>S <font color = gray>(</font>S<font color = gray>.</font>FirstName <font color = gray>=</font> <font color = green>'Иван'</font> <font color = blue>∨</font> S<font color = gray>.</font>GId <font color = gray><></font> G<font color = gray>.</font>GId<font color = gray>)</font>
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/81971»

Навигация