Compiling Query Constraints
Summary: Introduce parametrized constraints and a compilation technique that pushes query constraints whose argument values are known only at runtime into view/predicate definitions, enabling execution on DB engines without full constraint solvers. Domain-independent method (equality on structures, linear arithmetic) that can push constraint selections beyond prior constraint-query rewriting techniques. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Peter J. Stuckey
- 2. S. Sudarshan
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 618 | Constraint Programming and Database Languages: A Tutorial | 1995 | PODS | 0.00018990567 |
| 1,313 | Cost-Based Optimization for Magic: Algebra and Implementation | 1996 | SIGMOD | 0.00012629432 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 8 of 8 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 16 | MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract) | 1986 | PODS | 0.00099936325 |
| 79 | An Amateur's Introduction to Recursive Query Processing Strategies | 1986 | SIGMOD | 0.00056010993 |
| 359 | On the Power of Magic | 1987 | PODS | 0.00025830228 |
| 1,423 | Magic is Relevant | 1990 | SIGMOD | 0.00012047765 |
| 2,870 | Pushing Constraint Selections | 1992 | PODS | 7.9840692e-05 |
| 3,284 | Magic Conditions | 1990 | PODS | 7.2738706e-05 |
| 3,859 | Constraints and Redundancy in Datalog | 1992 | PODS | 6.6875648e-05 |
| 4,198 | Implementation of Magic-sets in a Relational Database System | 1994 | SIGMOD | 6.361961e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,106 | Exploiting Constraint-Like Data Characterizations in Query Optimization | 2001 | SIGMOD | 6.4395338e-05 |
| 8,317 | Towards Practical Constraint Databases (Extended Abstract) | 1996 | PODS | 4.5392079e-05 |
| 342 | Optimization of Dynamic Query Evaluation Plans | 1994 | SIGMOD | 0.00026836424 |
| 2,383 | How to Architect a Query Compiler | 2016 | SIGMOD | 8.9198524e-05 |
| 12,856 | Investigation of Algebraic Query Optimisation for Database Programming Languages | 1994 | VLDB | 4.1905499e-05 |
| 4,793 | Toward Practical Constraint Databases | 1993 | VLDB | 5.9107617e-05 |
| 618 | Constraint Programming and Database Languages: A Tutorial | 1995 | PODS | 0.00018990567 |
| 2,870 | Pushing Constraint Selections | 1992 | PODS | 7.9840692e-05 |
| 855 | Querying Constraints | 1990 | PODS | 0.00015877874 |
| 7,174 | CONSTRAINT QUERY LANGUAGES (preliminary report) | 1990 | PODS | 4.8068344e-05 |