Une méthode pour l'évolution des schémas XML préservant la validité des documents - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2005

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

Résumé

We propose an approach to support administrators 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.
Nous proposons une méthode pour aider les administrateurs des applications XML dans la tâche de faire évoluer 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.
À 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 transitions de A pour proposer les candidats.
Ainsi, les modifications sont faites sur les graphes qui représentent 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.
Fichier principal
Vignette du fichier
tel-00009693.pdf (1.42 Mo) Télécharger le fichier
tel-00009693.pps (752 Ko) Télécharger le fichier
Format : Autre
Loading...

Dates et versions

tel-00009693 , version 1 (06-07-2005)

Identifiants

  • HAL Id : tel-00009693 , version 1

Citer

Denio Duarte. Une méthode pour l'évolution des schémas XML préservant la validité des documents. Autre [cs.OH]. Université François Rabelais, 2005. Français. ⟨NNT : ⟩. ⟨tel-00009693⟩
141 Consultations
582 Téléchargements

Partager

Gmail Facebook X LinkedIn More