20
Datalog
:
i
= LFP
•
Theorem
Datalog
:
i
= LFP
•
•
Corollary
Datalog
:
,<
i
= PTIME