Stratifikovaný DATALOG

• Předpoklady: pravidla jsou bezpečná, rektifikovaná.

• adom … sjednocení konstant z EDB a IDB

•  Q(x1,…,xn) se transformuje na (adom ... adom) - Q*

• Algoritmus: vyhodnocení stratifikovatelného programu

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

• Výstup: minimální pevný bod P1*,…,Pn*

• Metoda: Najdi stratifikaci programu; spočti adom;

• for i:=1 to s do {s strat}

• begin { pro stratum i existují relace spočtené ze strat j, kde j<i}

• if ve stratu i je Q pozitivní then použij Q;

• if ve stratu i je Q negativní then použij adom n - Q;

• použij algoritmus pro výpočet NPB

• end