Nerekurzivní DATALOG

• Princip algoritmu (pro jednu virtuální relaci):

• (1) U(x1,…,xk) :- V1(xi1,…,xik),…, Vs(xj1,…,xjs)

• (2) pro U se provede

• (3) kroky (1), (2) se provedou pro všechna pravidla s U v hlavě a dílčí výsledky

• Pz.: vzhledem k acykličnosti a topologickému uspořádání lze vždy provést kroky (1), (2) na nějaké pravidlo