Pushing semantics inside recursion: A general framework for semantic optimization of recursive queries
Laks V. S. Lakshmanan, Rokia Missaoui · 2002
We consider a class of linear query programs and integrity constraints and develop methods for (i) computing the residues and (ii) pushing them inside the recursive programs, minimizing redundant computation and run-time overhead. We also discuss applications of our strategy to intelligent query answering.>