Summary
How Represent Contents of Information Sources?
How verify a plan answers query?
1. Verify information content of plan
- Check containment of query and plan expansion
2. Verifying binding pattern constraints
How find a valid solution plans?
- Search through the space of...
- Search-free synthesis of maximal recursive plan
Paper 6.1