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.0737018e-05
Overall Rank: 5,591 | 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,422	Decidable XPath Fragments in the Real World	2019	PODS	5.1798389e-05
12,522	On the Expressive Power of Update Primitives	2013	PODS	4.9793485e-05
12,644	Type-Based Detection of XML Query-Update Independence	2012	VLDB	4.9793485e-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.00035810622
875	Queries Independent of Updates	1993	VLDB	0.00013316445
1,174	Projecting XML Documents	2003	VLDB	0.00011668225
1,234	A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding	2003	SIGMOD	0.00011405864
1,976	XPath Satisfiability in the Presence of DTDs	2005	PODS	9.2797174e-05
3,351	Type-Based XML Projection	2006	VLDB	7.3906852e-05
8,304	Maintaining XPath Views in Loosely Coupled Systems	2006	VLDB	5.3589548e-05
8,447	Schema-Based Independence Analysis for XML Updates	2009	VLDB	5.3350162e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	12,701	Certain Answers for XML Queries	2010	PODS
2	8,609	On XPath with Transitive Axes and Data Tests	2013	PODS
3	9,422	Decidable XPath Fragments in the Real World	2019	PODS
4	12,924	Querying XML with Update Syntax	2007	SIGMOD
5	12,918	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,636	On Testing Satisfiability of Tree Pattern Queries	2004	VLDB
9	12,644	Type-Based Detection of XML Query-Update Independence	2012	VLDB
10	8,447	Schema-Based Independence Analysis for XML Updates	2009	VLDB