General Algorithm for Rewriting
Find candidate rewritings
- Find extended containment mappings
- Bound the search space
- Limit the size of interesting candidates
Check if a candidate is equivalent to the query
Algorithmic framework same as in relational
Extended algorithm for equivalence
– Surprise since TSL is more powerful