Nerekurzivní DATALOG

• jeho závislostní graf je acyklický

• topologické uspořádání uzlů tak, že Ri  Rj implikuje i < j

• Pz.: uspořádání není dáno jednoznačně

• Př.: uspořádání F - M - S - B

• 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