Title :
Pushing semantics inside recursion: A general framework for semantic optimization of recursive queries
Author :
Lakshmanan, Laks V S ; Missaoui, Rokia
Author_Institution :
Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
Abstract :
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
Keywords :
deductive databases; optimisation; query processing; integrity constraints; intelligent query answering; linear query programs; recursion; recursive queries; redundant computation; run-time overhead; semantic optimization; semantics; Character generation; Data models; Deductive databases; Ear; Polynomials; Query processing; Runtime;
Conference_Titel :
Data Engineering, 1995. Proceedings of the Eleventh International Conference on
Conference_Location :
Taipei
Print_ISBN :
0-8186-6910-1
DOI :
10.1109/ICDE.1995.380390
