On the Containment and Equivalence of Database Queries with Linear Constraints* (Extended Abstract)
Summary: Introduces counter‑machine techniques to decide containment/equivalence of queries with linear arithmetic constraints over Z, N, Q, R. Shows 2-EXPTIME decidability (EXPTIME lower bound) for CQs over Z/N, 2-EXPTIME for constant‑free CQs over Q/R, 2-EXPSPACE for general Q/R via FO‑reals, and decidability for connected FO queries on bounded‑degree databases. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Oscar H. Ibarra
- 2. Jianwen Su
Incoming Citations (Sorted by Pagerank)
Showing 3 of 3 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,475 | Querying Aggregate Data | 1999 | PODS | 8.7017602e-05 |
| 4,379 | Safe Constraint Queries | 1998 | PODS | 6.2397591e-05 |
| 12,432 | Index-Based Multidimensional Array Queries: Safety and Equivalence | 2007 | PODS | 4.1945683e-05 |
Previous
Page 1 / 1
Next
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.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 58 | Efficient Optimization of a Class of Relational Expressions | 1978 | SIGMOD | 0.00064826446 |
| 335 | Optimization of Real Conjunctive Queries | 1993 | PODS | 0.00027036073 |
| 581 | The Complexity of Querying Indefinite Data about Linearly Ordered Domains (Preliminary Version) | 1992 | PODS | 0.00019767772 |
| 620 | Constraint Programming and Database Languages: A Tutorial | 1995 | PODS | 0.00019005954 |
| 976 | Answering Queries Using Limited External Query Processors | 1996 | PODS | 0.0001489085 |
| 1,649 | Finitely Representable Databases | 1994 | PODS | 0.00011017687 |
| 1,741 | Relational Expressive Power of Constraint Query Languages | 1996 | PODS | 0.00010714223 |
| 3,784 | Linear vs. Order Constraint Queries Over Rational Databases (Extended Abstract) | 1996 | PODS | 6.7697677e-05 |
| 4,778 | Dense-Order Constraint Databases (Extended Abstract) | 1995 | PODS | 5.9290535e-05 |
| 7,782 | New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions | 1994 | PODS | 4.6523963e-05 |
Previous
Page 1 / 1
Next