Two Questions
How verify this 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
2. Verifying binding pattern constraints
How find a valid solution plans?
- Search...
- Search-free synthesis of maximal recursive plan