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
1045
Venue
PODS
Year
1995
Pagerank
0.00013398105
Overall Rank
889 | 93.91%
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
414 On the Complexity of Database Queries (Extended Abstract) 1997 PODS 0.00018893507
1,890 Relational Expressive Power of Constraint Query Languages 1996 PODS 9.5330753e-05
2,241 Finitely Representable Databases 1994 PODS 8.8845324e-05
3,043 The DEDALE System for Complex Spatial Queries 1998 SIGMOD 7.8228924e-05
3,544 On the Decidability of Semi-Linearity for Semi-Algebraic Sets and its Implications for Spatial Databases (extended abstract) 1997 PODS 7.3264444e-05
3,695 Topological Queries in Spatial Databases 1996 PODS 7.1911058e-05
4,013 Linear vs. Order Constraint Queries Over Rational Databases (Extended Abstract) 1996 PODS 6.9565842e-05
4,165 Variable Independence and Aggregation Closure 1996 PODS 6.858392e-05
4,203 An Expressive Language for Linear Spatial Database Queries (extended abstract) 1998 PODS 6.8354052e-05
5,523 Dense-Order Constraint Databases (Extended Abstract) 1995 PODS 6.1870017e-05
5,736 On the Containment and Equivalence of Database Queries with Linear Constraints* (Extended Abstract) 1997 PODS 6.1050534e-05
5,948 Measuring Infinite Relations (Extended Abstract) 1995 PODS 6.0317886e-05
8,559 Towards Practical Constraint Databases (Extended Abstract) 1996 PODS 5.4119882e-05
8,597 Beta Probabilistic Databases: A Scalable Approach to Belief Updating and Parameter Learning 2017 SIGMOD 5.4049137e-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
633 The Complexity of Querying Indefinite Data about Linearly Ordered Domains (Preliminary Version) 1992 PODS 0.00015560958
989 Why Not Negation By Fixpoint? 1988 PODS 0.00012804792
1,473 Towards a Theory of Spatial Database Queries (Extended Abstract) 1994 PODS 0.0001066845
1,489 Constraint Checking with Partial Information 1994 PODS 0.00010612225
2,003 Indexing for Data Models with Constraints and Classes (Extended Abstract) 1993 PODS 9.3214272e-05
2,135 Path Caching: A Technique for Optimal External Searching (Extended Abstract) 1994 PODS 9.1133971e-05
2,241 Finitely Representable Databases 1994 PODS 8.8845324e-05
2,579 Inference of Monotonicity Constraints in Datalog Programs (Extended Abstract) 1989 PODS 8.3906191e-05
2,876 Pushing Constraint Selections 1992 PODS 8.0075966e-05
3,307 Magic Conditions 1990 PODS 7.5385358e-05
3,360 Deriving Constraints Among Argument Sizes in Logic Programs (Extended Abstract) 1990 PODS 7.4890377e-05
3,591 The LyriC Language: Querying Constraint Objects 1995 SIGMOD 7.279053e-05
3,812 Constraints and Redundancy in Datalog 1992 PODS 7.105413e-05
3,824 Inference of Inequality Constraints in Logic Programs (Extended Abstract) 1991 PODS 7.0919497e-05
4,152 Completeness Results for Recursive Data Bases 1993 PODS 6.8701678e-05
4,235 Relational Specifications of Infinite Query Answers 1989 SIGMOD 6.8167527e-05
4,238 Polynomial Time Query Processing in Temporal Deductive Databases 1990 PODS 6.8109945e-05
4,348 Handling Infinite Temporal Data 1990 PODS 6.7507186e-05
4,536 On the Representation of Infinite Temporal Data and Queries (Extended Abstract) 1991 PODS 6.641885e-05
5,046 Toward Practical Constraint Databases 1993 VLDB 6.3879316e-05
5,912 Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data 1995 PODS 6.0442093e-05
5,948 Measuring Infinite Relations (Extended Abstract) 1995 PODS 6.0317886e-05
8,827 Compiling Query Constraints 1994 PODS 5.3615981e-05
8,828 Constraint-Based Query Optimization for Spatial Databases 1991 PODS 5.3615981e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 8,559 Towards Practical Constraint Databases (Extended Abstract) 1996 PODS
2 1,473 Towards a Theory of Spatial Database Queries (Extended Abstract) 1994 PODS
3 2,876 Pushing Constraint Selections 1992 PODS
4 5,523 Dense-Order Constraint Databases (Extended Abstract) 1995 PODS
5 6,278 Constraint Satisfaction and Database Theory: a Tutorial 2000 PODS
6 12,875 Fixed-Point Query Languages for Linear Constraint Databases 2000 PODS
7 2,111 Querying Constraints 1990 PODS
8 8,827 Compiling Query Constraints 1994 PODS
9 5,046 Toward Practical Constraint Databases 1993 VLDB
10 7,384 CONSTRAINT QUERY LANGUAGES (preliminary report) 1990 PODS