DATALOG - závislostní graf (1)

• M2 tvoří dokonce minimální model, tj. změníme-li v něm cokoliv, porušíme konzistenci.
• M1 netvoří minimální model.

• Pz.: při obou sémantikách obdržíme stejný výsledek.

• Nevýhody obou přístupů: neefektivní algoritmy v případě, že EDB je dána databázovými relacemi.

• pomocí pevného bodu zobrazení

• Metoda: vyhodnocovací algoritmus+relační db stroj