DBScholar

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.00013097866
Overall Rank
915 | 93.86%
DOI
10.1145/212433.212447

Incoming Non-self Citations Over Time

Authors

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
421 On the Complexity of Database Queries (Extended Abstract) 1997 PODS 0.00018507815
1,952 Relational Expressive Power of Constraint Query Languages 1996 PODS 9.315128e-05
2,296 Finitely Representable Databases 1994 PODS 8.68133e-05
3,101 The DEDALE System for Complex Spatial Queries 1998 SIGMOD 7.647277e-05
3,613 On the Decidability of Semi-Linearity for Semi-Algebraic Sets and its Implications for Spatial Databases (extended abstract) 1997 PODS 7.159236e-05
3,773 Topological Queries in Spatial Databases 1996 PODS 7.026451e-05
4,111 Linear vs. Order Constraint Queries Over Rational Databases (Extended Abstract) 1996 PODS 6.797582e-05
4,244 Variable Independence and Aggregation Closure 1996 PODS 6.7038694e-05
4,293 An Expressive Language for Linear Spatial Database Queries (extended abstract) 1998 PODS 6.6788965e-05
5,659 Dense-Order Constraint Databases (Extended Abstract) 1995 PODS 6.0453458e-05
5,843 On the Containment and Equivalence of Database Queries with Linear Constraints* (Extended Abstract) 1997 PODS 5.9707186e-05
6,071 Measuring Infinite Relations (Extended Abstract) 1995 PODS 5.8938138e-05
8,734 Towards Practical Constraint Databases (Extended Abstract) 1996 PODS 5.2880532e-05
8,768 Beta Probabilistic Databases: A Scalable Approach to Belief Updating and Parameter Learning 2017 SIGMOD 5.2811408e-05
Previous Page 1 / 1 Next

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
642 The Complexity of Querying Indefinite Data about Linearly Ordered Domains (Preliminary Version) 1992 PODS 0.00015236058
1,012 Why Not Negation By Fixpoint? 1988 PODS 0.00012514931
1,513 Towards a Theory of Spatial Database Queries (Extended Abstract) 1994 PODS 0.00010424604
1,521 Constraint Checking with Partial Information 1994 PODS 0.00010374735
2,049 Indexing for Data Models with Constraints and Classes (Extended Abstract) 1993 PODS 9.1188582e-05
2,182 Path Caching: A Technique for Optimal External Searching (Extended Abstract) 1994 PODS 8.9078315e-05
2,296 Finitely Representable Databases 1994 PODS 8.68133e-05
2,631 Inference of Monotonicity Constraints in Datalog Programs (Extended Abstract) 1989 PODS 8.2007667e-05
2,938 Pushing Constraint Selections 1992 PODS 7.8320394e-05
3,366 Magic Conditions 1990 PODS 7.3696512e-05
3,418 Deriving Constraints Among Argument Sizes in Logic Programs (Extended Abstract) 1990 PODS 7.3183843e-05
3,669 The LyriC Language: Querying Constraint Objects 1995 SIGMOD 7.1129952e-05
3,887 Constraints and Redundancy in Datalog 1992 PODS 6.9428919e-05
3,906 Inference of Inequality Constraints in Logic Programs (Extended Abstract) 1991 PODS 6.9303314e-05
4,230 Completeness Results for Recursive Data Bases 1993 PODS 6.7129946e-05
4,325 Polynomial Time Query Processing in Temporal Deductive Databases 1990 PODS 6.6621676e-05
4,326 Relational Specifications of Infinite Query Answers 1989 SIGMOD 6.6609137e-05
4,440 Handling Infinite Temporal Data 1990 PODS 6.5969098e-05
4,634 On the Representation of Infinite Temporal Data and Queries (Extended Abstract) 1991 PODS 6.4905684e-05
5,171 Toward Practical Constraint Databases 1993 VLDB 6.241929e-05
6,037 Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data 1995 PODS 5.9060765e-05
6,071 Measuring Infinite Relations (Extended Abstract) 1995 PODS 5.8938138e-05
9,004 Compiling Query Constraints 1994 PODS 5.2389486e-05
9,005 Constraint-Based Query Optimization for Spatial Databases 1991 PODS 5.2389486e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 8,734 Towards Practical Constraint Databases (Extended Abstract) 1996 PODS
2 1,513 Towards a Theory of Spatial Database Queries (Extended Abstract) 1994 PODS
3 2,938 Pushing Constraint Selections 1992 PODS
4 6,406 Constraint Satisfaction and Database Theory: a Tutorial 2000 PODS
5 5,659 Dense-Order Constraint Databases (Extended Abstract) 1995 PODS
6 13,171 Fixed-Point Query Languages for Linear Constraint Databases 2000 PODS
7 2,154 Querying Constraints 1990 PODS
8 9,004 Compiling Query Constraints 1994 PODS
9 5,171 Toward Practical Constraint Databases 1993 VLDB
10 7,530 CONSTRAINT QUERY LANGUAGES (preliminary report) 1990 PODS