Abstract 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.