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,366 | An Expressive Language for Linear Spatial Database Queries (extended abstract) | 1998 | PODS | 6.2427716e-05 |
| 4,719 | Exact and Approximate Aggregation in Constraint Query Languages | 1999 | PODS | 5.9659829e-05 |
| 5,516 | Expressive power and data complexity of nonrecursive query languages for lists and trees (Extended Abstract) | 2000 | PODS | 5.4685963e-05 |
| 12,441 | Index-Based Multidimensional Array Queries: Safety and Equivalence | 2007 | PODS | 4.1905499e-05 |
| 12,673 | String Operations in Query Languages | 2001 | PODS | 4.1905499e-05 |
| 12,692 | Linear approximation of planar spatial databases using transitive-closure logic | 2000 | PODS | 4.1905499e-05 |
| 12,695 | Uniform Generation in Spatial Constraint Databases and Applications | 2000 | PODS | 4.1905499e-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,963 | An Effective Syntax for Bounded Relational Queries | 2016 | SIGMOD | 4.4165156e-05 |
| 4,138 | Safety of Datalog Queries over Infinite Databases | 1989 | PODS | 6.4127061e-05 |
| 3,242 | Safety and Correct Translation of Relational Calculus Formulas | 1987 | PODS | 7.3273992e-05 |
| 401 | Conjunctive-Query Containment and Constraint Satisfaction | 1998 | PODS | 0.00024281448 |
| 4,343 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2665123e-05 |
| 1,049 | Safety of Recursive Horn Clauses With Infinite Relations | 1987 | PODS | 0.00014426218 |
| 6,380 | Finite Queries do not Have Effective Syntax | 1995 | PODS | 5.0841675e-05 |
| 1,489 | On the Decidability of Query Containment under Constraints | 1998 | PODS | 0.00011687823 |
| 2,790 | An Axiomatic Approach to Deciding Query Safety in Deductive Databases | 1988 | PODS | 8.1203289e-05 |
| 1,738 | Relational Expressive Power of Constraint Query Languages | 1996 | PODS | 0.00010704219 |