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: 10327
Venue: VLDB
Year: 2010
Pagerank: 6.2131072e-05
Overall Rank: 5,457 | 62.57%
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,249	Decidable XPath Fragments in the Real World	2019	PODS	5.2987261e-05
12,231	On the Expressive Power of Update Primitives	2013	PODS	5.093636e-05
12,353	Type-Based Detection of XML Query-Update Independence	2012	VLDB	5.093636e-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
79	XMark: A Benchmark for XML Data Management	2002	VLDB	0.00036555628
853	Queries Independent of Updates	1993	VLDB	0.00013587101
1,155	Projecting XML Documents	2003	VLDB	0.00011933524
1,204	A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding	2003	SIGMOD	0.00011664562
1,916	XPath Satisfiability in the Presence of DTDs	2005	PODS	9.4878711e-05
3,285	Type-Based XML Projection	2006	VLDB	7.5597856e-05
8,130	Maintaining XPath Views in Loosely Coupled Systems	2006	VLDB	5.4819552e-05
8,279	Schema-Based Independence Analysis for XML Updates	2009	VLDB	5.4574671e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	12,410	Certain Answers for XML Queries	2010	PODS
2	8,440	On XPath with Transitive Axes and Data Tests	2013	PODS
3	9,249	Decidable XPath Fragments in the Real World	2019	PODS
4	12,634	Querying XML with Update Syntax	2007	SIGMOD
5	12,628	Reasoning about XML Update Constraints	2007	PODS
6	1,314	Independence of Logic Database Queries and Updates	1990	PODS
7	853	Queries Independent of Updates	1993	VLDB
8	4,537	On Testing Satisfiability of Tree Pattern Queries	2004	VLDB
9	12,353	Type-Based Detection of XML Query-Update Independence	2012	VLDB
10	8,279	Schema-Based Independence Analysis for XML Updates	2009	VLDB