Rekurzivní DATALOG

• Algoritmus: (Naivní) vyhodnocení

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

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

• Metoda: použije se funkce eval(E) vyhodnocující relační výraz E

• for i:=1 to n do Pi := ;

• repeat for i:=1 to n do

• Qi := Pi; {ulož staré hodnoty}

• for i:=1 to n do

• Pi := eval(Ei(P1,…,Pn))

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

• Pz.: Jde o tzv. Gauss-Seidelovu metodu