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