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)

Paper ID: he89e32ef7b91fc53
Venue: VLDB
Year: 2010
Pagerank: 6.0708266e-05
Overall Rank: 5,592 | 62.42%
DOI: 10.14778/1920841.1920954

Incoming Non-self Citations Over Time

Authors

1. Michael Benedikt (University of Oxford)
2. James Cheney (University of Edinburgh)

BibTeX Citation

@article{benedikt_vldb10,
        title = {{Destabilizers and Independence of XML Updates}},
        author = {Benedikt, Michael and Cheney, James},
        journal = {PVLDB},
        series = {{VLDB} '10},
        volume = {3},
        number = {1},
        pages = {906--917},
        doi = {10.14778/1920841.1920954},
        url = {https://doi.org/10.14778/1920841.1920954},
        year = {2010}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
9,431	Decidable XPath Fragments in the Real World	2019	PODS	5.1773868e-05
12,528	On the Expressive Power of Update Primitives	2013	PODS	4.9769913e-05
12,650	Type-Based Detection of XML Query-Update Independence	2012	VLDB	4.9769913e-05

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
86	XMark: A Benchmark for XML Data Management	2002	VLDB	0.00035793969
875	Queries Independent of Updates	1993	VLDB	0.0001331025
1,174	Projecting XML Documents	2003	VLDB	0.00011662712
1,235	A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding	2003	SIGMOD	0.00011400492
1,978	XPath Satisfiability in the Presence of DTDs	2005	PODS	9.275331e-05
3,351	Type-Based XML Projection	2006	VLDB	7.3871948e-05
8,311	Maintaining XPath Views in Loosely Coupled Systems	2006	VLDB	5.356418e-05
8,456	Schema-Based Independence Analysis for XML Updates	2009	VLDB	5.3324907e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	12,707	Certain Answers for XML Queries	2010	PODS
2	8,616	On XPath with Transitive Axes and Data Tests	2013	PODS
3	9,431	Decidable XPath Fragments in the Real World	2019	PODS
4	12,930	Querying XML with Update Syntax	2007	SIGMOD
5	12,924	Reasoning about XML Update Constraints	2007	PODS
6	1,346	Independence of Logic Database Queries and Updates	1990	PODS
7	875	Queries Independent of Updates	1993	VLDB
8	4,639	On Testing Satisfiability of Tree Pattern Queries	2004	VLDB
9	12,650	Type-Based Detection of XML Query-Update Independence	2012	VLDB
10	8,456	Schema-Based Independence Analysis for XML Updates	2009	VLDB