Rekurzivní DATALOG

• Metoda diferencí

• Idea: v (k+1). kroku iterace nepočítáme Pi k+1, nýbrž Dik+1 = Pik+1 - Pik, tj.

• Pik+1 = Pi k  Dik+1 a tedy

• Pik+1 = Ei(Pik-1)  Ei(Dik),

• protože Ei je aditivní

• Změna eval pro Pi danou jedním pravidlem:

• pincreval(Ei(P1,…,Pn))

• = j=1..n eval(Ei(…,Pj-1,Pj,Pj+1,…))