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.0507527e-05
Overall Rank: 5,607 | 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,458	Decidable XPath Fragments in the Real World	2019	PODS	5.1602672e-05
12,571	On the Expressive Power of Update Primitives	2013	PODS	4.9605343e-05
12,693	Type-Based Detection of XML Query-Update Independence	2012	VLDB	4.9605343e-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.0003567995
878	Queries Independent of Updates	1993	VLDB	0.0001326705
1,176	Projecting XML Documents	2003	VLDB	0.00011624347
1,243	A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding	2003	SIGMOD	0.00011363056
1,983	XPath Satisfiability in the Presence of DTDs	2005	PODS	9.2451473e-05
3,360	Type-Based XML Projection	2006	VLDB	7.3629065e-05
8,325	Maintaining XPath Views in Loosely Coupled Systems	2006	VLDB	5.3387063e-05
8,471	Schema-Based Independence Analysis for XML Updates	2009	VLDB	5.3148581e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	12,750	Certain Answers for XML Queries	2010	PODS
2	8,636	On XPath with Transitive Axes and Data Tests	2013	PODS
3	9,458	Decidable XPath Fragments in the Real World	2019	PODS
4	12,972	Querying XML with Update Syntax	2007	SIGMOD
5	12,966	Reasoning about XML Update Constraints	2007	PODS
6	1,355	Independence of Logic Database Queries and Updates	1990	PODS
7	878	Queries Independent of Updates	1993	VLDB
8	4,659	On Testing Satisfiability of Tree Pattern Queries	2004	VLDB
9	12,693	Type-Based Detection of XML Query-Update Independence	2012	VLDB
10	8,471	Schema-Based Independence Analysis for XML Updates	2009	VLDB