Rekurzivní DATALOG

• Algoritmus: (Polonaivní)vyhodnocení

• Vstup: EDB = {R1,…,Rk}, IDB = {pravidla pro P1,…,Pn},

• Výstup: nejmenší pevný bod P1*,…,Pn*

• Metoda: 1 se použije funkce eval a na diference increval

• for i:=1 to n do

• Pi := eval (Ei (,…,));

• repeat for i:=1 to n do Qi := Pi; {ulož staré diference}

• for i:=1 to n do begin

• Pi := increval(Ei;(Q1,…,Qn, P1,…, Pn))

• Pi := Pi - Pi {odstraň duplicity}

• end ;

• for i:=1 to n do Pi := Pi  Pi

• until  Pi =  pro všechna i 1,n