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.
Type de document :
Communication dans un congrès
DocEng 2012, Sep 2012, Paris, France. ACM, 2012, 〈10.1145/2361354.2361375〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00734668
Contributeur : Vincent Quint <>
Soumis le : lundi 24 septembre 2012 - 11:51:06
Dernière modification le : jeudi 27 septembre 2012 - 16:08:19
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 16:29:59

Fichier

DocEng2012-Junedi.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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

Partager

Métriques

Consultations de
la notice

450

Téléchargements du document

191