Skip to Main content Skip to Navigation
New interface
Journal articles

Reasoning about XML update constraints

Serge Abiteboul 1 Bogdan Cautis 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 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 in which we take into account data. 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.
Document type :
Journal articles
Complete list of metadata
Contributor : Serge Abiteboul Connect in order to contact the contributor
Submitted on : Monday, November 9, 2009 - 3:56:53 PM
Last modification on : Sunday, June 26, 2022 - 11:50:49 AM


  • HAL Id : inria-00430735, version 1



Serge Abiteboul, Bogdan Cautis, Tova Milo. Reasoning about XML update constraints. Journal of Computer and System Sciences, 2009. ⟨inria-00430735⟩



Record views