21
Semantics 3: Partial Fixpoint
Datalog
•
Partial fixpoint semantics
•
•
Theorem
Datalog
:
p
= PFP
•
•
Corollary
Datalog
:
,<
p
= PSPACE
•