thesis

Une méthode pour l'évolution de schémas XML préservant la validité des documents

Defense date:

Jan. 1, 2005

Edit

Institution:

Tours

Disciplines:

Computer sciences

Authors:

Directors:

Abstract EN:

We propose an approach to support adminstrators of XML applications, which allows XML schema evolution while preserving the consistency of existing data without any need of their modification. The user provides the system with a new document D' (possibly invalid with respect to the present schema) resulting from updating a valid document D, that triggers the evolution of the schema. From D', the system builds candidate schemas that can replace the original one and that preserve the data consistency. The system uses the associated tree automaton to find the positions in the schema that should be updated. The schema evolution is implemented by an algorithm (named GREC) that performs changes on the graph of a finite state automaton and that generates regular expressions for the modified graphs. Each regular expression proposed by GREC is given as a choice of schema to the administrator.

Abstract FR:

Nous proposons une méthode pour aider les administrateurs des applications XML dans la tâche de faire évaluer des schémas en préservant la cohérence de la base de données sans la modifier. L'utilisateur donne au système ce qu'il souhaite comme nouveau document devant être accepté par le schéma. A partir de ce document, le système construit des schémas candidats, qui d'une part préservent la validité de la base de documents et, d'autre part augmentent la classe de documents acceptée par le schéma. L'approche est implantée par un algorithme appelé GREC. Cet algorithme utilise l'automate d'arbre A qui accepte le langage défini par le schéma pour trouver les informations nécessaires à la modification. Plus précisément, il utilise les expressions régulières des règles de transition de A pour proposer les candidats. Ainsi, les modifications sont faites sur les graphes qui représenetent les automates d'états finis construits à partir des expressions régulières concernées. Les expressions régulières engendrées par GREC représentent des schémas présentés à l'utilisateur afin qu'il choisisse le plus adapté à la sémantique de son application.