Types for Detecting XML Query-Update Independence

Federico Ulliana 1, 2
2 OAK - Database optimizations and architectures for complex large data
CNRS - Centre National de la Recherche Scientifique : UMR8623, Inria Saclay - Ile de France, UP11 - Université Paris-Sud - Paris 11, LRI - Laboratoire de Recherche en Informatique
Résumé : Pendant la dernière décennie, le format de données XML est devenu l'un des principaux moyens de représentation et d'échange de données sur le Web. La détection de l'indépendance entre une requête et une mise à jour, qui a lieu en absence d'impact d'une mise à jour sur une requête, est un problème crucial pour la gestion efficace de tâches comme la maintenance des vues, le contrôle de concurrence et de sécurité. Cette thèse présente une nouvelle technique d'analyse statique pour détecter l'indépendance entre requête et mise à jour XML, dans le cas où les données sont typées par un schéma. La contribution de la thèse repose sur une notion de type plus riche que celle employée jusqu'ici dans la littérature. Au lieu de caractériser les éléments d'un document XML utiles ou touchés par une requête ou mise à jour en utilisant un ensemble d'étiquettes, ceux-ci sont caractérisés par un ensemble de chaînes d'étiquettes, correspondants aux chemins parcourus pendant l'évaluation de l'expression dans un document valide pour le schéma. L'analyse d'indépendance résulte du développement d'un système d'inférence de type pour les chaînes. Cette analyse précise soulève une question importante et difficile liés aux schémas récursifs: un ensemble infini de chaînes pouvant être inférées dans ce cas, est-il possible et comment se ramener à une analyse effective donc finie. Cette thèse présente donc une technique d'approximation correcte et complète assurant une analyse finie. L'analyse de cette technique a conduit à développer des algorithmes pour une implantation efficace de l'analyse, et de mener une large série de tests validant à la fois la qualité de l'approche et son efficacité.
Type de document :
Thèse
Databases [cs.DB]. Université Paris Sud - Paris XI, 2012. English
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-00757597
Contributeur : Federico Ulliana <>
Soumis le : mardi 27 novembre 2012 - 11:49:19
Dernière modification le : mercredi 12 décembre 2018 - 12:10:02
Document(s) archivé(s) le : jeudi 28 février 2013 - 03:43:30

Identifiants

  • HAL Id : tel-00757597, version 1

Collections

Citation

Federico Ulliana. Types for Detecting XML Query-Update Independence. Databases [cs.DB]. Université Paris Sud - Paris XI, 2012. English. 〈tel-00757597〉

Partager

Métriques

Consultations de la notice

399

Téléchargements de fichiers

321