Thèse soutenue

Maintenance incrémentale des contraintes d'intégrité en XML

FR  |  
EN
Auteur / Autrice : Maria Adriana Vidigal de Lima
Direction : Dominique LaurentBéatrice MarkhoffMírian Halfeld Ferrari Alves
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2007
Etablissement(s) : Tours

Mots clés

FR

Mots clés contrôlés

Résumé

FR  |  
EN

Nous considérons un environnement où un document XML doit respecter un ensemble de contraintes d'intégrité. Dans ce contexte, nous proposons une notation homogène pour les contraintes d'intégrités posées sur un document XML, exprimées au moyen d'expressions de chemin, et des méthodes génériques de validation de contraintes. La validation est faite dans un parcours du document et combine l'utilisation d'automates d'états finis, qui formalisent les contraintes, et la technique de grammaire d'attributs permettant la définition des règles sémantiques de validation. Une vérification incrémentale des clefs primaires et étrangères est proposée pour préserver la validité d'un document XML lors de l'application d'une séquence d'opérations de mise à jour. Dans cette vérification, seulement les parties concernées par la mise à jour sont traitées, et une séquence de mises à jour est considérée comme une transaction unique. En conséquence, le résultat de la vérification incrémentale n'est pas obtenu après chaque opération, mais après l'application de toute la séquence.