Изменения
→Реляционный
Аналог конструкции условия принадлежности из исчисления доменов.
Есть два вида:
* Кортеж принадлежит отношению удовлетворяет атому <code>R(x1, x2, ..., xn)</code>тогда и только тогда, когда принадлежит отношению R.* Кортеж не принадлежит отношению <удовлетворяет атому code>¬R(x1, x2, ..., xn)</code>тогда и только тогда, когда такого кортежа нет в отношении R.
Заметим, что в Datalog нет имён атрибутов, атрибуты различаются только по своей позиции.
