Impact of XML Schema Evolution

Pierre Genevès 1 Nabil Layaïda 1 Vincent Quint 1
1 WAM - Web, adaptation and multimedia
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : We consider the problem of XML Schema evolution. In the ever-changing context of the web, XML schemas continuously change in order to cope with the natural evolution of entities they describe. Schema changes have important consequences. First, existing documents valid with respect to the original schema are no longer guaranteed to fulfill the constraints described by the evolved schema. Second, the evolution also impacts programs manipulating documents whose structure is described by the original schema. We propose a unifying framework for determining the effects of XML Schema evolution both on the validity of documents and on queries. The system is very powerful in analyzing various scenarios in which forward/backward compatibility of schemas is broken, and in which the result of a query may not be anymore what was expected. Specifically, the system offers a predicate language which allows one to formulate properties related to schema evolution. The system then relies on exact reasoning techniques to perform a fine-grained analysis. This yields either a formal proof of the property or a counter-example that can be used for debugging purposes. The system has been fully implemented and tested with real-world use cases, in particular with the main standard document formats used on the web, as defined by W3C. The system identifies precisely compatibility relations between document formats. In case these relations do not hold, the system can identify queries that must be reformulated in order to produce the expected results across successive schema versions.
Type de document :
Article dans une revue
ACM Transactions on Internet Technology, Association for Computing Machinery, 2011, 11 (1), pp.4:1-4:27. <10.1145/1993083.1993087>
Liste complète des métadonnées


https://hal.inria.fr/inria-00619225
Contributeur : Vincent Quint <>
Soumis le : lundi 5 septembre 2011 - 18:14:25
Dernière modification le : vendredi 16 septembre 2011 - 17:17:38
Document(s) archivé(s) le : mardi 13 novembre 2012 - 09:55:30

Fichier

TOIT2011.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Pierre Genevès, Nabil Layaïda, Vincent Quint. Impact of XML Schema Evolution. ACM Transactions on Internet Technology, Association for Computing Machinery, 2011, 11 (1), pp.4:1-4:27. <10.1145/1993083.1993087>. <inria-00619225>

Partager

Métriques

Consultations de
la notice

334

Téléchargements du document

131