Rekurzivní DATALOG

•  POD_NAD* je řešením rovnice

• (PRACUJE_PRO * POD_NAD)[1,3]  PRACUJE_PRO = POD_NAD

• Obecněji:

• pro IDB existuje soustava rovnic

• Ei(P1,…,Pn) = Pi i=1,…,n

• Řešení soustavy závisí na EDB a tvoří pevný bod.

• Pz.: protože všechny použité operace AR jsou aditivní, pevný bod existuje a dokonce nejmenší.