Type-Based Detection of XML Query-Update Independence

Summary: Introduces a static analysis for XML query-update independence using chain-based type inference (path chains) rather than traditional types. It handles recursive schemas with a sound, complete finite-approximation, and an efficient chain-based analysis implemented in polynomial space and time. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 10715
Venue: VLDB
Year: 2012
Pagerank: 5.093636e-05
Overall Rank: 12,353 | 15.25%
DOI: 10.14778/2311906.2311910

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Nicole Bidoit-Tollu (INRIA; University of Paris)
2. Dario Colazzo (INRIA; University of Paris)
3. Federico Ulliana (INRIA; University of Paris)

BibTeX Citation

@article{bidoittollu_vldb12,
        title = {{Type-Based Detection of XML Query-Update Independence}},
        author = {Bidoit-Tollu, Nicole and Colazzo, Dario and Ulliana, Federico},
        journal = {PVLDB},
        series = {{VLDB} '12},
        volume = {5},
        number = {9},
        pages = {872--883},
        doi = {10.14778/2311906.2311910},
        url = {https://doi.org/10.14778/2311906.2311910},
        year = {2012}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 6 of 6 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
1,155	Projecting XML Documents	2003	VLDB	0.00011933524
3,285	Type-Based XML Projection	2006	VLDB	7.5597856e-05
5,457	Destabilizers and Independence of XML Updates	2010	VLDB	6.2131072e-05
6,287	On Verifying Consistency of XML Specifications	2002	PODS	5.9269709e-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,839	Structural Function Inlining Technique for Structurally Recursive XML Queries	2002	VLDB
2	12,628	Reasoning about XML Update Constraints	2007	PODS
3	12,634	Querying XML with Update Syntax	2007	SIGMOD
4	2,864	Typing and Querying XML Documents: Some Complexity Bounds	2003	PODS
5	12,555	Relational-Style XML Query	2008	SIGMOD
6	3,274	Frontiers of Tractability for Typechecking Simple XML Transformations	2004	PODS
7	2,261	Type Inference for Queries on Semistructured Data (Extended Abstract)	1999	PODS
8	3,679	XML with Data Values: Typechecking Revisited	2001	PODS
9	5,457	Destabilizers and Independence of XML Updates	2010	VLDB
10	8,279	Schema-Based Independence Analysis for XML Updates	2009	VLDB