Rekurzivní DATALOG

• • Je-li (1,1)  R*, platí R(1,1) :- R(1,1),R(1,1), tedy i R* = {(1,1),(1,2), (2,3), (1,3)} je modelem a je řešením rovnice (*).
  • Je-li (3,1)  R*, pak {(1,2), (2,3), (1,3), (3,1)}
  • není modelem a ani není řešením rovnice.
  • Nechť P* = ; R* = {(1,2)}.
  • Pak R* je modelem, ale není řešením rovnice.