Rekurzivní DATALOG

• Tv.: Vyhodnocovací algoritmus se zastaví a

• dá NPB soustavy datalogických rovnic,

• NPB odpovídá právě těm tvrzením, která jsou dokazatelná z EDB pomocí pravidel z IDB.

• Př.: R(x,y) :- P(x,y)

• R(x,y) :- R(x,z), R(z,y)

• NPB R* je řešením rovnice

• R(X,Y) = P(X,Y )  (R(X,Z)*R(Z,Y))[X,Y] (*)

• • Je-li P* = {(1,2), (2,3)}, pak

• R* = {(1,2), (2,3), (1,3)} je NPB, jehož prvky odpovídají všem odvoditelným tvrzením,

• R* je i minimálním modelem.