Изменения
Нет описания правки
====Арифметический====
Сюда входят сравнения арифмитических выражений на равенство и неравенство.
==Примеры запросов==
===Идентификаторы и фамилии всех Иванов.===
Рассмотрим такой запрос на языке исчисления доменов
Id, LastName <font color=blue>where</font> Students<font color=red>{</font>Id = Id, FirstName = FirstName, LastName = LastName<font color=red>}</font> $\wedge$ FirstName = <font color=green>'Иван'</font>
Его можно переписать на Datalog так:
Ivans(Id, LastName) :-
Students(Id, FirstName, LastName),
FirstName = <font color=green>'Иван'</font>.
Или ещё проще:
Ivans(Id, LastName) :-
Students(Id, <font color=green>'Иван'</font>, LastName).
==Ограничение отношений==
