Rekurzivní DATALOG

• Změna eval pro Pi danou s pravidly:

• increval(Pk;P1,…,Pn))

• = j=1..s pincreval(Ej(P1,…,Pn))

• Př.:

• increval(S’) = 

• increval(C) =

• (F(X1,X)*F(X2,Y)* S’(X1,X2))[X,Y] 

• (F(X1,X)*F(X2,Y)* C(X1,X2))[X,Y]

• increval(R) =

• S’(X,Y)  (R(X,Y)*F(Z,Y))[X,Y]  (R(Z,Y)*F(Z,X))[X,Y]