Moving selections into linear least fixpoint queries

A selection transposition algorithm is presented that allows selections that are conjunctions of predicates of the form 'column theta value' to be evaluated ahead of the least fixpoint operator while processing linear recursive queries. It is shown that the algorithm transposes the strongest possible selection.<<ETX>>

[1]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[2]  Alfred V. Aho,et al.  Universality of data retrieval languages , 1979, POPL.

[3]  Jeffrey D. Ullman,et al.  Implementation of logical query languages for databases , 1985, TODS.

[4]  David Maier,et al.  The Theory of Relational Databases , 1983 .

[5]  Jeffrey D. Ullman,et al.  Implementation of logiclal query languages for databases (abstract only) , 1985, SIGMOD Conference.

[6]  David Maier,et al.  Magic sets and other strange ways to implement logic programs (extended abstract) , 1985, PODS '86.

[7]  H. V. Jagadish,et al.  A study of transitive closure as a recursion mechanism , 1987, SIGMOD '87.

[8]  Carlo Zaniolo,et al.  Magic counting methods , 1987, SIGMOD '87.

[9]  Michael Kifer,et al.  Filtering Data Flow in Deductive Databases , 1986, ICDT.

[10]  Rakesh Agrawal.  Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries , 1988, IEEE Trans. Software Eng..

[11]  Catriel Beeri,et al.  On the power of magic , 1987, J. Log. Program..

[12]  Catriel Beeri,et al.  Bounds on the propagation of selection into logic programs , 1987, J. Comput. Syst. Sci..

[13]  David Harel,et al.  Horn clauses and the fixpoint query hierarchy , 1982, PODS.

[14]  Eugene Wong,et al.  An Algebraic Approach to Recursive Inference , 1986, Expert Database Conf..

[15]  François Bancilhon,et al.  Naive Evaluation of Recursively Defined Relations , 1986, On Knowledge Base Management Systems.

[16]  Jeffrey F. Naughton,et al.  Data independent recursion in deductive databases , 1985, J. Comput. Syst. Sci..

[17]  Jeffrey D. Ullman,et al.  Principles of Database Systems , 1980 .