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,104 | Decidable XPath Fragments in the Real World | 2019 | PODS | 4.3911866e-05 |
| 12,041 | On the Expressive Power of Update Primitives | 2013 | PODS | 4.1905499e-05 |
| 12,165 | Type-Based Detection of XML Query-Update Independence | 2012 | VLDB | 4.1905499e-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 |
|---|---|---|---|---|
| 99 | XMark: A Benchmark for XML Data Management | 2002 | VLDB | 0.00050043993 |
| 937 | Queries Independent of Updates | 1993 | VLDB | 0.00015194231 |
| 1,149 | A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding | 2003 | SIGMOD | 0.00013649094 |
| 1,261 | Projecting XML Documents | 2003 | VLDB | 0.00012985367 |
| 1,933 | XPath Satisfiability in the Presence of DTDs | 2005 | PODS | 0.00010049404 |
| 3,489 | Type-Based XML Projection | 2006 | VLDB | 7.0458331e-05 |
| 7,783 | Maintaining XPath Views in Loosely Coupled Systems | 2006 | VLDB | 4.6476417e-05 |
| 7,964 | Schema-Based Independence Analysis for XML Updates | 2009 | VLDB | 4.6089395e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 12,223 | Certain Answers for XML Queries | 2010 | PODS | 4.1905499e-05 |
| 8,199 | On XPath with Transitive Axes and Data Tests | 2013 | PODS | 4.5558541e-05 |
| 9,104 | Decidable XPath Fragments in the Real World | 2019 | PODS | 4.3911866e-05 |
| 12,449 | Querying XML with Update Syntax | 2007 | SIGMOD | 4.1905499e-05 |
| 12,443 | Reasoning about XML Update Constraints | 2007 | PODS | 4.1905499e-05 |
| 1,189 | Independence of Logic Database Queries and Updates | 1990 | PODS | 0.0001342924 |
| 937 | Queries Independent of Updates | 1993 | VLDB | 0.00015194231 |
| 4,624 | On Testing Satisfiability of Tree Pattern Queries | 2004 | VLDB | 6.034764e-05 |
| 12,165 | Type-Based Detection of XML Query-Update Independence | 2012 | VLDB | 4.1905499e-05 |
| 7,964 | Schema-Based Independence Analysis for XML Updates | 2009 | VLDB | 4.6089395e-05 |