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