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
h9ddece6fd4c0e280
Venue
PODS
Year
1995
Pagerank
0.00013054852
Overall Rank
917 | 93.86%
DOI
10.1145/212433.212447
Incoming Non-self Citations Over Time
BibTeX Citation
@inproceedings{kanellakis_pods95,
address = {New York, NY, USA},
series = {{PODS} '95},
title = {{Constraint Programming and Database Languages: A Tutorial}},
url = {https://dl.acm.org/doi/10.1145/212433.212447},
doi = {10.1145/212433.212447},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Kanellakis, Paris},
year = {1995}
}
Incoming Citations (Sorted by Pagerank)
Showing 14 of 14 citing papers.
Rank
Citing Paper
Year
Venue
Pagerank
424
On the Complexity of Database Queries (Extended Abstract) 1997
PODS
0.00018448553
1,962
Relational Expressive Power of Constraint Query Languages 1996
PODS
9.2843518e-05
2,306
Finitely Representable Databases 1994
PODS
8.6526383e-05
3,112
The DEDALE System for Complex Spatial Queries 1998
SIGMOD
7.6224727e-05
3,620
On the Decidability of Semi-Linearity for Semi-Algebraic Sets and its Implications for Spatial Databases (extended abstract) 1997
PODS
7.1356555e-05
3,781
Topological Queries in Spatial Databases 1996
PODS
7.0032193e-05
4,130
Linear vs. Order Constraint Queries Over Rational Databases (Extended Abstract) 1996
PODS
6.7751214e-05
4,262
Variable Independence and Aggregation Closure 1996
PODS
6.6817915e-05
4,311
An Expressive Language for Linear Spatial Database Queries (extended abstract) 1998
PODS
6.6568143e-05
5,672
Dense-Order Constraint Databases (Extended Abstract) 1995
PODS
6.0253577e-05
5,857
On the Containment and Equivalence of Database Queries with Linear Constraints* (Extended Abstract) 1997
PODS
5.9512616e-05
6,086
Measuring Infinite Relations (Extended Abstract) 1995
PODS
5.8743333e-05
8,754
Towards Practical Constraint Databases (Extended Abstract) 1996
PODS
5.2705676e-05
8,787
Beta Probabilistic Databases: A Scalable Approach to Belief Updating and Parameter Learning 2017
SIGMOD
5.263678e-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
645
The Complexity of Querying Indefinite Data about Linearly Ordered Domains (Preliminary Version) 1992
PODS
0.00015188342
1,014
Why Not Negation By Fixpoint? 1988
PODS
0.00012473729
1,515
Towards a Theory of Spatial Database Queries (Extended Abstract) 1994
PODS
0.00010390168
1,522
Constraint Checking with Partial Information 1994
PODS
0.00010341308
2,051
Indexing for Data Models with Constraints and Classes (Extended Abstract) 1993
PODS
9.1080736e-05
2,069
Path Caching: A Technique for Optimal External Searching (Extended Abstract) 1994
PODS
9.0678883e-05
2,306
Finitely Representable Databases 1994
PODS
8.6526383e-05
2,640
Inference of Monotonicity Constraints in Datalog Programs (Extended Abstract) 1989
PODS
8.1737431e-05
2,951
Pushing Constraint Selections 1992
PODS
7.8066026e-05
3,378
Magic Conditions 1990
PODS
7.3454229e-05
3,430
Deriving Constraints Among Argument Sizes in Logic Programs (Extended Abstract) 1990
PODS
7.294233e-05
3,675
The LyriC Language: Querying Constraint Objects 1995
SIGMOD
7.0895347e-05
3,898
Constraints and Redundancy in Datalog 1992
PODS
6.9199453e-05
3,917
Inference of Inequality Constraints in Logic Programs (Extended Abstract) 1991
PODS
6.90746e-05
4,250
Completeness Results for Recursive Data Bases 1993
PODS
6.6908044e-05
4,342
Polynomial Time Query Processing in Temporal Deductive Databases 1990
PODS
6.6401871e-05
4,344
Relational Specifications of Infinite Query Answers 1989
SIGMOD
6.6389007e-05
4,463
Handling Infinite Temporal Data 1990
PODS
6.575115e-05
4,655
On the Representation of Infinite Temporal Data and Queries (Extended Abstract) 1991
PODS
6.4691508e-05
5,190
Toward Practical Constraint Databases 1993
VLDB
6.2213007e-05
6,050
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data 1995
PODS
5.8865586e-05
6,086
Measuring Infinite Relations (Extended Abstract) 1995
PODS
5.8743333e-05
9,022
Compiling Query Constraints 1994
PODS
5.2216313e-05
9,023
Constraint-Based Query Optimization for Spatial Databases 1991
PODS
5.2216313e-05
Semantically Similar Papers
#
Overall Rank
Paper
Year
Venue
1
8,754
Towards Practical Constraint Databases (Extended Abstract) 1996
PODS
2
1,515
Towards a Theory of Spatial Database Queries (Extended Abstract) 1994
PODS
3
2,951
Pushing Constraint Selections 1992
PODS
4
6,417
Constraint Satisfaction and Database Theory: a Tutorial 2000
PODS
5
5,672
Dense-Order Constraint Databases (Extended Abstract) 1995
PODS
6
13,212
Fixed-Point Query Languages for Linear Constraint Databases 2000
PODS
7
2,165
Querying Constraints 1990
PODS
8
9,022
Compiling Query Constraints 1994
PODS
9
5,190
Toward Practical Constraint Databases 1993
VLDB
10
7,547
CONSTRAINT QUERY LANGUAGES (preliminary report) 1990
PODS