Local Transformations and Conjunctive-Query Equivalence
Summary: Define local transformations wrt conjunctive‑query (CQ) equivalence and prove the GLAV chase (and SO‑tgd chase) is local: it preserves bounded CQ‑indistinguishability with polynomial bounds, but locality breaks with target constraints. Decompose GLAV into LAV/GAV cases to characterize when compositions are GLAV or CQ‑equivalent, and show CQ‑equivalence between an SO‑tgd and a GLAV is decidable (logical equivalence undecidable). (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 9,428 | Nested Dependencies: Structure and Reasoning | 2014 | PODS | 4.3399748e-05 |
| 10,355 | Circuit Bounds for Conjunctive Queries with Self-joins | 2025 | 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 |
|---|---|---|---|---|
| 38 | Testing Implications Of Data Dependencies | 1979 | SIGMOD | 0.0007528369 |
| 47 | Data Integration: A Theoretical Perspective | 2002 | PODS | 0.00069691761 |
| 620 | Schema Mappings, Data Exchange, and Metadata Management | 2005 | PODS | 0.00018983367 |
| 818 | Composing Schema Mappings: Second-Order Dependencies to the Rescue | 2004 | PODS | 0.00016240185 |
| 877 | Composing Mappings Among Data Sources | 2003 | VLDB | 0.00015659754 |
| 1,493 | Inverting Schema Mappings | 2006 | PODS | 0.00011682325 |
| 3,388 | The Recovery of a Schema Mapping: Bringing Exchanged Data Back | 2008 | PODS | 7.1502016e-05 |
| 4,707 | Locally Consistent Transformations and Query Answering in Data Exchange | 2004 | PODS | 5.9773898e-05 |
| 4,980 | Towards a Theory of Schema-Mapping Optimization | 2008 | PODS | 5.7825422e-05 |
| 6,346 | Inverting Schema Mappings: Bridging the Gap between Theory and Practice | 2009 | VLDB | 5.0969624e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,922 | On the Complexity of Deriving Schema Mappings from Database Instances | 2008 | PODS | 6.6238781e-05 |
| 12,305 | Equivalence of SQL Queries In Presence of Embedded Dependencies | 2009 | PODS | 4.1905499e-05 |
| 818 | Composing Schema Mappings: Second-Order Dependencies to the Rescue | 2004 | PODS | 0.00016240185 |
| 4,750 | Normalization and Optimization of Schema Mappings | 2009 | VLDB | 5.9424107e-05 |
| 877 | Composing Mappings Among Data Sources | 2003 | VLDB | 0.00015659754 |
| 2,694 | Quasi-inverses of Schema Mappings | 2007 | PODS | 8.2836784e-05 |
| 5,710 | Conjunctive Query Equivalence of Keyed Relational Schemas (Extended Abstract) | 1997 | PODS | 5.3619696e-05 |
| 4,707 | Locally Consistent Transformations and Query Answering in Data Exchange | 2004 | PODS | 5.9773898e-05 |
| 5,727 | Query Processing under GLAV Mappings for Relational and Graph Databases | 2013 | VLDB | 5.3501787e-05 |
| 4,980 | Towards a Theory of Schema-Mapping Optimization | 2008 | PODS | 5.7825422e-05 |