2
Outline
•
Proof of Immerman and Vardi’s theorems
•
Normal form for lfp
•
Datalog
•
Other logics capturing complexity classes