Reasoning about XML Update Constraints

Bogdan Cautis 1 Serge Abiteboul 1 Tova Milo 1
1 GEMO - Integration of data and knowledge distributed over the web
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Abstract : We introduce in this paper a class of constraints for describing how an XML document can evolve, namely \emph{XML update constraints}. For these constraints, we study the implication problem, giving algorithms and complexity results for constraints of varying expressive power. Besides classical constraint implication, we also consider an instance-based approach. More precisely, we study implication with respect to a current tree instance, resulting from a series of unknown updates. The main motivation of our work is reasoning about data integrity under update restrictions in contexts where owners may lose control over their data, such as in publishing or exchange.
Type de document :
Communication dans un congrès
26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2007, Pekin, China. 2007
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00137171
Contributeur : Bogdan Cautis <>
Soumis le : vendredi 16 mars 2007 - 23:23:45
Dernière modification le : jeudi 5 avril 2018 - 12:30:12
Document(s) archivé(s) le : mardi 6 avril 2010 - 22:28:59

Fichier

pods071-cautis.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00137171, version 1

Collections

Citation

Bogdan Cautis, Serge Abiteboul, Tova Milo. Reasoning about XML Update Constraints. 26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2007, Pekin, China. 2007. 〈inria-00137171〉

Partager

Métriques

Consultations de la notice

184

Téléchargements de fichiers

79