Pushing constraint selections

Recently, there have been attempts ([KKR90, Rev90, Cho90, BNW91] among others) to increase the expressive power of database query languages by integrating constraint paradigms with logic-based database query languages; such languages are referred to as constraint query languages (CQLs). Constraint programming paradigms are inherently declarative. Evaluating such programs can be expensive due to the manipulation of constraints, and hence optimizing such programs is very important. We consider the following problem:

[1]  Joxan Jaffar,et al.  Constraint logic programming , 1987, POPL '87.

[2]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[3]  Michael J. Maher.  A Transformation System for Deductive Database Modules with Perfect Model Semantics , 1989, FSTTCS.

[4]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[5]  Peter Z. Revesz.  A Closed Form for Datalog Queries with Integer Order , 1990, ICDT.

[6]  Allen Van Gelder.  Deriving Constraints Among Argument Sizes in Logic Programs , 1990, PODS.

[7]  Gabriel M. Kuper,et al.  Constraint query languages (preliminary report) , 1990, PODS '90.

[8]  Allen Van Gelder,et al.  Deriving constraints among argument sizes in logic programs , 1990, PODS '90.

[9]  Hamid Pirahesh,et al.  Magic conditions , 1990, PODS.

[10]  Jan Chomicki.  Polynomial time query processing in temporal deductive databases , 1990, PODS '90.

[11]  Marianne Baudinet,et al.  On the representation of infinite temporal data and queries (extended abstract) , 1991, PODS '91.

[12]  Yehoshua Sagiv,et al.  Inference of Inequality Constraints in Logic Programs. , 1991, PODS 1991.

[13]  Yehoshua Sagiv,et al.  Inference of inequality constraints in logic programs (extended abstracts) , 1991, PODS '91.

[14]  Raghu Ramakrishnan,et al.  Magic Templates: A Spellbinding Approach To Logic Programs , 1991, J. Log. Program..

[15]  John C. Shepherdson,et al.  Unfold/fold transformations of logic programs , 1992, Mathematical Structures in Computer Science.