Safe Constraint Queries
Summary: Syntactic characterization of safe queries in relational calculus extended with interpreted functions (e.g., real +, ×, exponentiation), giving an interpreted analogue of range-restriction and an effective syntax for real-arithmetic/polynomial queries. Shows decidability of safety for Boolean combinations of CQs over broad interpreted structures, proves a polynomial output-growth dichotomy, and applies results to finitely representable and geometric (convex/polyhedral/semi-linear) databases. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 7 of 7 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,369 | An Expressive Language for Linear Spatial Database Queries (extended abstract) | 1998 | PODS | 6.2487721e-05 |
| 4,723 | Exact and Approximate Aggregation in Constraint Query Languages | 1999 | PODS | 5.9714196e-05 |
| 5,503 | Expressive power and data complexity of nonrecursive query languages for lists and trees (Extended Abstract) | 2000 | PODS | 5.4738619e-05 |
| 12,432 | Index-Based Multidimensional Array Queries: Safety and Equivalence | 2007 | PODS | 4.1945683e-05 |
| 12,664 | String Operations in Query Languages | 2001 | PODS | 4.1945683e-05 |
| 12,683 | Linear approximation of planar spatial databases using transitive-closure logic | 2000 | PODS | 4.1945683e-05 |
| 12,686 | Uniform Generation in Spatial Constraint Databases and Applications | 2000 | PODS | 4.1945683e-05 |
Outgoing Citations (Sorted by Pagerank)
Showing 10 of 10 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 8,961 | An Effective Syntax for Bounded Relational Queries | 2016 | SIGMOD | 4.4206115e-05 |
| 4,136 | Safety of Datalog Queries over Infinite Databases | 1989 | PODS | 6.4188795e-05 |
| 3,238 | Safety and Correct Translation of Relational Calculus Formulas | 1987 | PODS | 7.334684e-05 |
| 407 | Conjunctive-Query Containment and Constraint Satisfaction | 1998 | PODS | 0.00024004562 |
| 4,346 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2725564e-05 |
| 1,051 | Safety of Recursive Horn Clauses With Infinite Relations | 1987 | PODS | 0.00014440736 |
| 6,382 | Finite Queries do not Have Effective Syntax | 1995 | PODS | 5.0890445e-05 |
| 1,490 | On the Decidability of Query Containment under Constraints | 1998 | PODS | 0.00011699154 |
| 2,786 | An Axiomatic Approach to Deciding Query Safety in Deductive Databases | 1988 | PODS | 8.1283801e-05 |
| 1,741 | Relational Expressive Power of Constraint Query Languages | 1996 | PODS | 0.00010714223 |