XML Query-Update Independence Analysis Revisited - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

XML Query-Update Independence Analysis Revisited

Pierre Genevès
Nabil Layaïda


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.
Fichier principal
Vignette du fichier
DocEng2012-Junedi.pdf (263.86 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00734668 , version 1 (24-09-2012)



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⟩
563 View
300 Download



Gmail Facebook X LinkedIn More