Query Planning
Given
- Data source definitions (e.g. in datalog)
- Query (written in datalog)
Produce
- Plan to gather information
- I.e. either a conjunctive query
- Equivalent to a join of several information sources
- Or a recursive datalog program
- Necessary to account for functional dependencies,
- Binding pattern restrictions
- Maximality