Skip to Main content Skip to Navigation
Conference papers

XML Query-Update Independence Analysis Revisited

Muhammad Junedi 1 Pierre Genevès 1 Nabil Layaïda 1 
1 WAM - Web, adaptation and multimedia
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : XML transformations can be resource-costly in particular when applied to very large XML documents and document sets. Those transformations usually involve lots of XPath queries and may not need to be entirely re-executed following an update of the input document. In this context, a given query is said to be independent of a given update if, for any XML document, the results of the query are not affected by the update. We revisit Benedikt and Cheney's framework for query-update independence analysis and show that performance can be drastically enhanced, contradicting his initial claims. The essence of our approach and results resides in the use of an appropriate logic, to which queries and updates are both succinctly translated. Compared to previous approaches, ours is more expressive from a theoretical point of view, equally accurate, and more efficient in practice. We illustrate this through practical experiments and comparative figures.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Vincent Quint Connect in order to contact the contributor
Submitted on : Monday, September 24, 2012 - 11:51:06 AM
Last modification on : Tuesday, August 2, 2022 - 4:24:23 AM
Long-term archiving on: : Friday, December 16, 2016 - 4:29:59 PM


Files produced by the author(s)



Muhammad Junedi, Pierre Genevès, Nabil Layaïda. XML Query-Update Independence Analysis Revisited. DocEng 2012, Sep 2012, Paris, France. ⟨10.1145/2361354.2361375⟩. ⟨hal-00734668⟩



Record views


Files downloads