Изменения

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

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

23 байта добавлено, 00:45, 27 декабря 2021
Примеры
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>
Про Отметим, что про каждую переменную известно, из какого она отношения, поэтому при подстановке в квантор рассматриваются только значения переменных из соответствующих отношений. Например, когда в первом примере пишем <font color = blue>$\exists$</font>S, это означает, что существует кортеж в отношении Students, для которого выполняется дальнейшее условие.
== Примеры ==
Анонимный участник

Навигация