3
Invariant Queries
•
Idea:
•
Use some innocuous additional information
to express a query
•
“Forget” the extra information
•
Need to check that the query is invariant
w.r.t. to the extra info