Изменения

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

Исчисление кортежей и его реляционная полнота

3 байта добавлено, 00:28, 20 декабря 2021
Составные условия
Из простых условий можно строить логические формулы с помощью стандартных связок: <font color = blue>$\land$</font>, <font color = blue>$\lor$</font>, <font color = blue>$\lnot$</font>.
G <font color = blue>where</font> Name <font color = gray>=</font> <font color = green>'M34371'</font> <font color = blue>∨</font> Name <font color = gray>=</font> <font color = green>'M34391'</font>
S <font color = blue>where</font> FirstName <font color = gray>=</font> <font color = green>'Иван'</font> <font color = blue>∧</font> LastName <font color = gray><></font> <font color = green>'Иванов'</font>
=== Условия с кванторами ===
462
правки

Навигация