Nerekurzivní DATALOG

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

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

• zavedeme u, v, w

• substituce:

• P(u,v,w) :- R(x,y), u = a, v = x, w = y

• P(u,v,w) :- R(y,x), u = x, v = y, w = x

•  P(u,v,w) :- R(v,w), u = a,

• P(u,v,w) :- R(v,u), w = u

• Lemma:

• (1) Je-li pravidlo bezpečné, pak po rektifikaci také.

• (2) Původní a rektifikované pravidlo je ekvivalentní, tj. po jeho vyhodnocení obdržíme stejnou relaci.