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.00013104061
Overall Rank
914 | 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.00018516535
1,950 Relational Expressive Power of Constraint Query Languages 1996 PODS 9.3195393e-05
2,292 Finitely Representable Databases 1994 PODS 8.6854411e-05
3,099 The DEDALE System for Complex Spatial Queries 1998 SIGMOD 7.6508573e-05
3,612 On the Decidability of Semi-Linearity for Semi-Algebraic Sets and its Implications for Spatial Databases (extended abstract) 1997 PODS 7.1626242e-05
3,771 Topological Queries in Spatial Databases 1996 PODS 7.0297786e-05
4,110 Linear vs. Order Constraint Queries Over Rational Databases (Extended Abstract) 1996 PODS 6.8008012e-05
4,242 Variable Independence and Aggregation Closure 1996 PODS 6.7070443e-05
4,292 An Expressive Language for Linear Spatial Database Queries (extended abstract) 1998 PODS 6.6820595e-05
5,658 Dense-Order Constraint Databases (Extended Abstract) 1995 PODS 6.0482089e-05
5,841 On the Containment and Equivalence of Database Queries with Linear Constraints* (Extended Abstract) 1997 PODS 5.9735439e-05
6,069 Measuring Infinite Relations (Extended Abstract) 1995 PODS 5.8966049e-05
8,726 Towards Practical Constraint Databases (Extended Abstract) 1996 PODS 5.2905577e-05
8,760 Beta Probabilistic Databases: A Scalable Approach to Belief Updating and Parameter Learning 2017 SIGMOD 5.283642e-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.00015243164
1,012 Why Not Negation By Fixpoint? 1988 PODS 0.00012520852
1,512 Towards a Theory of Spatial Database Queries (Extended Abstract) 1994 PODS 0.00010429539
1,521 Constraint Checking with Partial Information 1994 PODS 0.00010379636
2,047 Indexing for Data Models with Constraints and Classes (Extended Abstract) 1993 PODS 9.123147e-05
2,179 Path Caching: A Technique for Optimal External Searching (Extended Abstract) 1994 PODS 8.9120272e-05
2,292 Finitely Representable Databases 1994 PODS 8.6854411e-05
2,629 Inference of Monotonicity Constraints in Datalog Programs (Extended Abstract) 1989 PODS 8.2045999e-05
2,937 Pushing Constraint Selections 1992 PODS 7.8356559e-05
3,364 Magic Conditions 1990 PODS 7.3731362e-05
3,417 Deriving Constraints Among Argument Sizes in Logic Programs (Extended Abstract) 1990 PODS 7.3218419e-05
3,667 The LyriC Language: Querying Constraint Objects 1995 SIGMOD 7.1163605e-05
3,886 Constraints and Redundancy in Datalog 1992 PODS 6.9461797e-05
3,904 Inference of Inequality Constraints in Logic Programs (Extended Abstract) 1991 PODS 6.9336057e-05
4,230 Completeness Results for Recursive Data Bases 1993 PODS 6.7161738e-05
4,325 Polynomial Time Query Processing in Temporal Deductive Databases 1990 PODS 6.6653142e-05
4,326 Relational Specifications of Infinite Query Answers 1989 SIGMOD 6.6640674e-05
4,438 Handling Infinite Temporal Data 1990 PODS 6.6000332e-05
4,632 On the Representation of Infinite Temporal Data and Queries (Extended Abstract) 1991 PODS 6.4936345e-05
5,170 Toward Practical Constraint Databases 1993 VLDB 6.2448851e-05
6,035 Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data 1995 PODS 5.9088735e-05
6,069 Measuring Infinite Relations (Extended Abstract) 1995 PODS 5.8966049e-05
8,995 Compiling Query Constraints 1994 PODS 5.2414297e-05
8,996 Constraint-Based Query Optimization for Spatial Databases 1991 PODS 5.2414297e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 8,726 Towards Practical Constraint Databases (Extended Abstract) 1996 PODS
2 1,512 Towards a Theory of Spatial Database Queries (Extended Abstract) 1994 PODS
3 2,937 Pushing Constraint Selections 1992 PODS
4 6,404 Constraint Satisfaction and Database Theory: a Tutorial 2000 PODS
5 5,658 Dense-Order Constraint Databases (Extended Abstract) 1995 PODS
6 13,165 Fixed-Point Query Languages for Linear Constraint Databases 2000 PODS
7 2,152 Querying Constraints 1990 PODS
8 8,995 Compiling Query Constraints 1994 PODS
9 5,170 Toward Practical Constraint Databases 1993 VLDB
10 7,525 CONSTRAINT QUERY LANGUAGES (preliminary report) 1990 PODS