Rekurzivní DATALOG

• Tv.: Vyhodnocovací algoritmus se zastaví a dá nejmenší pevný bod soustavy datalogických rovnic.

• Důkaz:

• (1) plyne z toho, že eval je monotónní a Pi* vznikají z konečného množství prvků.

• (2) plyne z toho, že Pi* je řešení soustavy a navíc je součástí každého řešení pro každé i. Dokazuje se indukcí podle počtu iterací. Začíná se od , která je součástí každého řešení.

• Nevýhody:

• • vytváření duplicitních n-tic
  • vytváření zbytečně velkých relací, chceme-li ve výsledku selekci Pi*.