Two Questions
How find a valid solution plans?
- Search...
- Search-free synthesis of maximal recursive plan
How verify a plan answers query?
1. Verify information content of plan
- Same as DB problem of rewriting queries using views
- Show expansion of plan equivalent to query
- Technique of query containment
- P ? Q iff P ? Q and Q ? P
2. Verifying binding pattern constraints