Back to papers
Constraint Programming and Database Languages: A Tutorial
Summary: Introduces Constraint Query Languages (CQLs) that replace relational tuples with conjunctions of constraints to natively model spatial/solid/similarity data while retaining deductive and OO DB features. Surveys expressiveness, calculus/algebra design, optimization, and I/O‑efficient multidimensional indexing.
(summarized by gpt-5-mini on Feb 09 2026)
- Paper ID
- 1046
- Venue
- PODS
- Year
- 1995
- Pagerank
- 0.00018990567
- Overall Rank
- 618 | 95.71%
- DOI
-
-
Incoming Non-self Citations Over Time
Incoming Citations (Sorted by Pagerank)
Showing 14 of 14 citing papers.
| Rank |
Citing Paper |
Year |
Venue |
Pagerank |
| 432 |
On the Complexity of Database Queries (Extended Abstract) |
1997 |
PODS |
0.00023349408 |
| 1,648 |
Finitely Representable Databases |
1994 |
PODS |
0.00011007456 |
| 1,738 |
Relational Expressive Power of Constraint Query Languages |
1996 |
PODS |
0.00010704219 |
| 2,232 |
The DEDALE System for Complex Spatial Queries |
1998 |
SIGMOD |
9.2308835e-05 |
| 2,365 |
Topological Queries in Spatial Databases |
1996 |
PODS |
8.9531668e-05 |
| 2,857 |
On the Decidability of Semi-Linearity for Semi-Algebraic Sets and its Implications for Spatial Databases (extended abstract) |
1997 |
PODS |
8.009743e-05 |
| 2,973 |
Variable Independence and Aggregation Closure |
1996 |
PODS |
7.7895983e-05 |
| 3,787 |
Linear vs. Order Constraint Queries Over Rational Databases (Extended Abstract) |
1996 |
PODS |
6.7633131e-05 |
| 4,366 |
An Expressive Language for Linear Spatial Database Queries (extended abstract) |
1998 |
PODS |
6.2427716e-05 |
| 4,782 |
Dense-Order Constraint Databases (Extended Abstract) |
1995 |
PODS |
5.9233349e-05 |
| 5,719 |
On the Containment and Equivalence of Database Queries with Linear Constraints* (Extended Abstract) |
1997 |
PODS |
5.3551435e-05 |
| 5,725 |
Measuring Infinite Relations (Extended Abstract) |
1995 |
PODS |
5.35129e-05 |
| 8,317 |
Towards Practical Constraint Databases (Extended Abstract) |
1996 |
PODS |
4.5392079e-05 |
| 8,334 |
Beta Probabilistic Databases: A Scalable Approach to Belief Updating and Parameter Learning |
2017 |
SIGMOD |
4.5390028e-05 |
Outgoing Citations (Sorted by Pagerank)
Showing 24 of 24 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank |
Cited Paper |
Year |
Venue |
Pagerank |
| 552 |
Why Not Negation By Fixpoint? |
1988 |
PODS |
0.00020309855 |
| 582 |
The Complexity of Querying Indefinite Data about Linearly Ordered Domains (Preliminary Version) |
1992 |
PODS |
0.00019753367 |
| 1,414 |
Towards a Theory of Spatial Database Queries (Extended Abstract) |
1994 |
PODS |
0.00012104556 |
| 1,579 |
Constraint Checking with Partial Information |
1994 |
PODS |
0.00011273105 |
| 1,648 |
Finitely Representable Databases |
1994 |
PODS |
0.00011007456 |
| 2,010 |
Indexing for Data Models with Constraints and Classes (Extended Abstract) |
1993 |
PODS |
9.8046157e-05 |
| 2,018 |
Path Caching: A Technique for Optimal External Searching (Extended Abstract) |
1994 |
PODS |
9.7852268e-05 |
| 2,343 |
Inference of Monotonicity Constraints in Datalog Programs (Extended Abstract) |
1989 |
PODS |
8.9968717e-05 |
| 2,870 |
Pushing Constraint Selections |
1992 |
PODS |
7.9840692e-05 |
| 3,110 |
Deriving Constraints Among Argument Sizes in Logic Programs (Extended Abstract) |
1990 |
PODS |
7.5488545e-05 |
| 3,146 |
Handling Infinite Temporal Data |
1990 |
PODS |
7.4837887e-05 |
| 3,196 |
The LyriC Language: Querying Constraint Objects |
1995 |
SIGMOD |
7.4048386e-05 |
| 3,284 |
Magic Conditions |
1990 |
PODS |
7.2738706e-05 |
| 3,440 |
Inference of Inequality Constraints in Logic Programs (Extended Abstract) |
1991 |
PODS |
7.0897313e-05 |
| 3,617 |
Completeness Results for Recursive Data Bases |
1993 |
PODS |
6.9095022e-05 |
| 3,776 |
Polynomial Time Query Processing in Temporal Deductive Databases |
1990 |
PODS |
6.7716942e-05 |
| 3,856 |
Relational Specifications of Infinite Query Answers |
1989 |
SIGMOD |
6.6938945e-05 |
| 3,859 |
Constraints and Redundancy in Datalog |
1992 |
PODS |
6.6875648e-05 |
| 4,124 |
On the Representation of Infinite Temporal Data and Queries (Extended Abstract) |
1991 |
PODS |
6.4281002e-05 |
| 4,793 |
Toward Practical Constraint Databases |
1993 |
VLDB |
5.9107617e-05 |
| 5,469 |
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data |
1995 |
PODS |
5.4895279e-05 |
| 5,725 |
Measuring Infinite Relations (Extended Abstract) |
1995 |
PODS |
5.35129e-05 |
| 8,012 |
Compiling Query Constraints |
1994 |
PODS |
4.6021663e-05 |
| 8,013 |
Constraint-Based Query Optimization for Spatial Databases |
1991 |
PODS |
4.6021663e-05 |
Semantically Similar Papers