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.00019005954
- Overall Rank
- 620 | 95.69%
- DOI
-
-
Incoming Non-self Citations Over Time
Incoming Citations (Sorted by Pagerank)
Showing 14 of 14 citing papers.
| Rank |
Citing Paper |
Year |
Venue |
Pagerank |
| 431 |
On the Complexity of Database Queries (Extended Abstract) |
1997 |
PODS |
0.00023370207 |
| 1,649 |
Finitely Representable Databases |
1994 |
PODS |
0.00011017687 |
| 1,741 |
Relational Expressive Power of Constraint Query Languages |
1996 |
PODS |
0.00010714223 |
| 2,245 |
The DEDALE System for Complex Spatial Queries |
1998 |
SIGMOD |
9.2085554e-05 |
| 2,357 |
Topological Queries in Spatial Databases |
1996 |
PODS |
8.9617862e-05 |
| 2,851 |
On the Decidability of Semi-Linearity for Semi-Algebraic Sets and its Implications for Spatial Databases (extended abstract) |
1997 |
PODS |
8.0155027e-05 |
| 2,970 |
Variable Independence and Aggregation Closure |
1996 |
PODS |
7.7971058e-05 |
| 3,784 |
Linear vs. Order Constraint Queries Over Rational Databases (Extended Abstract) |
1996 |
PODS |
6.7697677e-05 |
| 4,369 |
An Expressive Language for Linear Spatial Database Queries (extended abstract) |
1998 |
PODS |
6.2487721e-05 |
| 4,778 |
Dense-Order Constraint Databases (Extended Abstract) |
1995 |
PODS |
5.9290535e-05 |
| 5,709 |
On the Containment and Equivalence of Database Queries with Linear Constraints* (Extended Abstract) |
1997 |
PODS |
5.3602702e-05 |
| 5,715 |
Measuring Infinite Relations (Extended Abstract) |
1995 |
PODS |
5.356394e-05 |
| 8,323 |
Towards Practical Constraint Databases (Extended Abstract) |
1996 |
PODS |
4.5435639e-05 |
| 8,340 |
Beta Probabilistic Databases: A Scalable Approach to Belief Updating and Parameter Learning |
2017 |
SIGMOD |
4.5433598e-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 |
| 551 |
Why Not Negation By Fixpoint? |
1988 |
PODS |
0.00020329959 |
| 581 |
The Complexity of Querying Indefinite Data about Linearly Ordered Domains (Preliminary Version) |
1992 |
PODS |
0.00019767772 |
| 1,415 |
Towards a Theory of Spatial Database Queries (Extended Abstract) |
1994 |
PODS |
0.0001211468 |
| 1,578 |
Constraint Checking with Partial Information |
1994 |
PODS |
0.00011284233 |
| 1,649 |
Finitely Representable Databases |
1994 |
PODS |
0.00011017687 |
| 2,003 |
Indexing for Data Models with Constraints and Classes (Extended Abstract) |
1993 |
PODS |
9.8126082e-05 |
| 2,013 |
Path Caching: A Technique for Optimal External Searching (Extended Abstract) |
1994 |
PODS |
9.7928688e-05 |
| 2,339 |
Inference of Monotonicity Constraints in Datalog Programs (Extended Abstract) |
1989 |
PODS |
9.005745e-05 |
| 2,861 |
Pushing Constraint Selections |
1992 |
PODS |
7.9919152e-05 |
| 3,106 |
Deriving Constraints Among Argument Sizes in Logic Programs (Extended Abstract) |
1990 |
PODS |
7.5562924e-05 |
| 3,136 |
Handling Infinite Temporal Data |
1990 |
PODS |
7.4913222e-05 |
| 3,191 |
The LyriC Language: Querying Constraint Objects |
1995 |
SIGMOD |
7.4112897e-05 |
| 3,283 |
Magic Conditions |
1990 |
PODS |
7.280826e-05 |
| 3,435 |
Inference of Inequality Constraints in Logic Programs (Extended Abstract) |
1991 |
PODS |
7.0966834e-05 |
| 3,613 |
Completeness Results for Recursive Data Bases |
1993 |
PODS |
6.9161103e-05 |
| 3,767 |
Polynomial Time Query Processing in Temporal Deductive Databases |
1990 |
PODS |
6.7783966e-05 |
| 3,853 |
Relational Specifications of Infinite Query Answers |
1989 |
SIGMOD |
6.7004022e-05 |
| 3,857 |
Constraints and Redundancy in Datalog |
1992 |
PODS |
6.6939005e-05 |
| 4,123 |
On the Representation of Infinite Temporal Data and Queries (Extended Abstract) |
1991 |
PODS |
6.4343963e-05 |
| 4,793 |
Toward Practical Constraint Databases |
1993 |
VLDB |
5.9164359e-05 |
| 5,461 |
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data |
1995 |
PODS |
5.4947899e-05 |
| 5,715 |
Measuring Infinite Relations (Extended Abstract) |
1995 |
PODS |
5.356394e-05 |
| 8,010 |
Compiling Query Constraints |
1994 |
PODS |
4.6065603e-05 |
| 8,011 |
Constraint-Based Query Optimization for Spatial Databases |
1991 |
PODS |
4.6065603e-05 |
Semantically Similar Papers