Изменения

====Атом=========Реляционный==========Арифметический===== реляционныеАналог конструкции условия принадлежности из исчисления доменов.

- * Кортеж принадлежит отношению<code>R(x1, x2, ..., xn)</code>- * Кортеж не принадлежит отношению<code>¬R(x1, x2, ..., xn)</code>

-- заметимЗаметим, что в Datalog нет имён атрибутов, атрибуты вместо этого различаются только по своей позиции.

==Ограничение отношений==Как и на любую другую программу, на синтаксически корректную программу на языке Datalog нужно наложить дополнительные ограничения, чтобы она имела смысл.----------------------

Less(x,y) :- x < y. NotStudent(Id, Name) :- not Students¬Students(Id, Name, _). Здесь есть проблема - мы даже не знаем тип x, y, Id и Name, это значит, что мы не знаем области их значения. Запретим так делать, а именно добавим ограничение: Каждая переменная должна входить в неотрицательный реляционный атом.