Изменения
→Исчисление доменов
==Исчисление доменов==
В отличие от исчисления кортежей, где областью знацения значения переменных были отношения, в исчислении доменов, значения переменных лежат в заренее заданых доменах (мы будем называть их также типами). Введём синтаксис для указания типов переменных. Также введём предикат, который для заданного отношения и значений атрибутов проверяет, есть ли совпадающий кортеж в отношении.
===Синтаксис===
<font color=red>Переменная</font> :: <font color=red>Тип</font> <font color=green>-- Переменная может принимать значения из какого-то типа. Тип == набор значений
===Условие принадлежности===
Предикат, значение которого истина тогда и только тогда, когда в отношении есть кортеж с совпадающими значениями атрибутов. Например:
S<font color=red>{</font>FirstName = <font color=green>'Иван'</font>, LastName = <font color=green>'Иванов'</font><font color=red>}</font>
Будет истинным, если в отношении будет кортеж <code>(FirstName = 'Иван', LastName = 'Иванов')</code> или <code>(FirstName = 'Иван', LastName = 'Иванов', Email = 'ivan@example.com')</code> и ложным, если хотя бы какой-нибудь атрибут не совпадёт.
===Примеры запросов===
