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,422 | Nested Dependencies: Structure and Reasoning | 2014 | PODS | 4.3441378e-05 |
| 10,343 | Circuit Bounds for Conjunctive Queries with Self-joins | 2025 | 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 |
|---|---|---|---|---|
| 38 | Testing Implications Of Data Dependencies | 1979 | SIGMOD | 0.00075110004 |
| 48 | Data Integration: A Theoretical Perspective | 2002 | PODS | 0.00069720859 |
| 621 | Schema Mappings, Data Exchange, and Metadata Management | 2005 | PODS | 0.00019005115 |
| 822 | Composing Schema Mappings: Second-Order Dependencies to the Rescue | 2004 | PODS | 0.00016255689 |
| 879 | Composing Mappings Among Data Sources | 2003 | VLDB | 0.00015674595 |
| 1,494 | Inverting Schema Mappings | 2006 | PODS | 0.00011693148 |
| 3,389 | The Recovery of a Schema Mapping: Bringing Exchanged Data Back | 2008 | PODS | 7.157044e-05 |
| 4,705 | Locally Consistent Transformations and Query Answering in Data Exchange | 2004 | PODS | 5.9830709e-05 |
| 4,978 | Towards a Theory of Schema-Mapping Optimization | 2008 | PODS | 5.7881299e-05 |
| 6,349 | Inverting Schema Mappings: Bridging the Gap between Theory and Practice | 2009 | VLDB | 5.101852e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,921 | On the Complexity of Deriving Schema Mappings from Database Instances | 2008 | PODS | 6.6301252e-05 |
| 822 | Composing Schema Mappings: Second-Order Dependencies to the Rescue | 2004 | PODS | 0.00016255689 |
| 12,297 | Equivalence of SQL Queries In Presence of Embedded Dependencies | 2009 | PODS | 4.1945683e-05 |
| 4,752 | Normalization and Optimization of Schema Mappings | 2009 | VLDB | 5.9481448e-05 |
| 879 | Composing Mappings Among Data Sources | 2003 | VLDB | 0.00015674595 |
| 2,692 | Quasi-inverses of Schema Mappings | 2007 | PODS | 8.2908844e-05 |
| 5,697 | Conjunctive Query Equivalence of Keyed Relational Schemas (Extended Abstract) | 1997 | PODS | 5.3671336e-05 |
| 4,705 | Locally Consistent Transformations and Query Answering in Data Exchange | 2004 | PODS | 5.9830709e-05 |
| 5,717 | Query Processing under GLAV Mappings for Relational and Graph Databases | 2013 | VLDB | 5.3553228e-05 |
| 4,978 | Towards a Theory of Schema-Mapping Optimization | 2008 | PODS | 5.7881299e-05 |