Minimizing information gathering plans

Model source overlaps

• Use LCW statements

Rewrite the source-complete plan:

• Greedily remove rules from plan with uniform equivalence and LCW statements (= make the plan source-minimal)
  • Uniform containment checks [Sagiv, 88]
  • Use heuristics to guide removal and pull out recursion first

Previous slide

Next slide

Back to first slide

View graphic version