DATALOG - závislostní graf (2)

• Df.: závislostní graf logického programu P

• uzly: predikáty z R a IDB

• hrany: (U,V) je hrana, existuje-li pravidlo

• V :- … U ...

• Př.: rozšíření původního příkladu

• M(x):- F(x,y)

• S‘(y,w) :- F(x,y), F(x,w), y  w

• B(x,y) :- S‘(x,y), M(x)

• C(x,y) :- F(x1,x), F(x2,y), S‘(x1,x2)

• C(x,y) :- F(x1,x), F(x2,y), C(x1,x2)