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 metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-00734668
Contributor : Vincent Quint <>
Submitted on : Monday, September 24, 2012 - 11:51:06 AM
Last modification on : Thursday, October 11, 2018 - 8:48:03 AM
Long-term archiving on : Friday, December 16, 2016 - 4:29:59 PM

File

DocEng2012-Junedi.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

823

Files downloads

329