Type-Based Detection of XML Query-Update Independence

Nicole Bidoit 1, 2 Dario Colazzo 1, 2 Federico Ulliana 1, 2
2 OAK - Database optimizations and architectures for complex large data
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Abstract : This paper presents a novel static analysis technique to detect XML query-update independence, in the presence of a schema. Rather than types, our system infers chains of types. Each chain represents a path that can be traversed on a valid document during query/update evaluation. The resulting independence analysis is precise, although it raises a challenging issue: recursive schemas may lead to infer infinitely many chains. A sound and complete approximation technique ensuring a finite analysis in any case is presented, together with an efficient implementation performing the chain based analysis in polynomial space and time.
Type de document :
Article dans une revue
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2012
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00757544
Contributeur : Federico Ulliana <>
Soumis le : mardi 27 novembre 2012 - 11:12:17
Dernière modification le : jeudi 5 avril 2018 - 12:30:20
Document(s) archivé(s) le : samedi 17 décembre 2016 - 15:51:32

Fichier

cr-for-hal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00757544, version 1

Collections

Citation

Nicole Bidoit, Dario Colazzo, Federico Ulliana. Type-Based Detection of XML Query-Update Independence. Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2012. 〈hal-00757544〉

Partager

Métriques

Consultations de la notice

259

Téléchargements de fichiers

126