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.6942707e-05 |
| 4,376 | Safe Constraint Queries | 1998 | PODS | 6.233754e-05 |
| 12,441 | Index-Based Multidimensional Array Queries: Safety and Equivalence | 2007 | PODS | 4.1905499e-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.00064817807 |
| 335 | Optimization of Real Conjunctive Queries | 1993 | PODS | 0.00027012705 |
| 582 | The Complexity of Querying Indefinite Data about Linearly Ordered Domains (Preliminary Version) | 1992 | PODS | 0.00019753367 |
| 618 | Constraint Programming and Database Languages: A Tutorial | 1995 | PODS | 0.00018990567 |
| 976 | Answering Queries Using Limited External Query Processors | 1996 | PODS | 0.00014877501 |
| 1,648 | Finitely Representable Databases | 1994 | PODS | 0.00011007456 |
| 1,738 | Relational Expressive Power of Constraint Query Languages | 1996 | PODS | 0.00010704219 |
| 3,787 | Linear vs. Order Constraint Queries Over Rational Databases (Extended Abstract) | 1996 | PODS | 6.7633131e-05 |
| 4,782 | Dense-Order Constraint Databases (Extended Abstract) | 1995 | PODS | 5.9233349e-05 |
| 7,782 | New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions | 1994 | PODS | 4.6479178e-05 |
Previous
Page 1 / 1
Next