Destabilizers and Independence of XML Updates
Summary: Modular static independence framework for XML updates, decomposing into destabilizer approximation and intersection testing. Syntactic rewriting translates queries to destabilizers; intersection checks are reduced to satisfiability using a tree-SAT/SMO backend, with experiments showing fast, effective analysis. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Michael Benedikt
- 2. James Cheney
Incoming Citations (Sorted by Pagerank)
Showing 3 of 3 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 9,105 | Decidable XPath Fragments in the Real World | 2019 | PODS | 4.3953995e-05 |
| 12,033 | On the Expressive Power of Update Primitives | 2013 | PODS | 4.1945683e-05 |
| 12,157 | Type-Based Detection of XML Query-Update Independence | 2012 | VLDB | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 8 of 8 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 98 | XMark: A Benchmark for XML Data Management | 2002 | VLDB | 0.00050023808 |
| 938 | Queries Independent of Updates | 1993 | VLDB | 0.00015197786 |
| 1,149 | A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding | 2003 | SIGMOD | 0.0001365931 |
| 1,264 | Projecting XML Documents | 2003 | VLDB | 0.00012976407 |
| 1,929 | XPath Satisfiability in the Presence of DTDs | 2005 | PODS | 0.00010058897 |
| 3,483 | Type-Based XML Projection | 2006 | VLDB | 7.0525441e-05 |
| 7,783 | Maintaining XPath Views in Loosely Coupled Systems | 2006 | VLDB | 4.6521054e-05 |
| 7,961 | Schema-Based Independence Analysis for XML Updates | 2009 | VLDB | 4.613363e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 12,215 | Certain Answers for XML Queries | 2010 | PODS | 4.1945683e-05 |
| 8,200 | On XPath with Transitive Axes and Data Tests | 2013 | PODS | 4.5602267e-05 |
| 9,105 | Decidable XPath Fragments in the Real World | 2019 | PODS | 4.3953995e-05 |
| 12,440 | Querying XML with Update Syntax | 2007 | SIGMOD | 4.1945683e-05 |
| 12,434 | Reasoning about XML Update Constraints | 2007 | PODS | 4.1945683e-05 |
| 1,189 | Independence of Logic Database Queries and Updates | 1990 | PODS | 0.00013441514 |
| 938 | Queries Independent of Updates | 1993 | VLDB | 0.00015197786 |
| 4,625 | On Testing Satisfiability of Tree Pattern Queries | 2004 | VLDB | 6.0406081e-05 |
| 12,157 | Type-Based Detection of XML Query-Update Independence | 2012 | VLDB | 4.1945683e-05 |
| 7,961 | Schema-Based Independence Analysis for XML Updates | 2009 | VLDB | 4.613363e-05 |