2
Outline
•
Order-invariant queries
–
Gurevitch’s theroem
•
Gaifman’s theorem (time permitting)
•