Nerekurzivní DATALOG

• Př.: konvence: proměnná x  atribut X

• Přepis pravidla

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

• 1. krok:

• C(X1,X,X2,Y) = F(X1,X) * F(X2,Y) * S’(X1,X2)

• 2. krok:

• C[X,Y]

• pro S’

• S’(Y,W) = (F(X,Y) * F(X,W)) (Y W)[Y,W]