Reasoning about XML update constraints

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...

Full description

Saved in:
Bibliographic Details
Published in:Journal of computer and system sciences 2009-09, Vol.75 (6), p.336-358
Main Authors: Cautis, Bogdan, Abiteboul, Serge, Milo, Tova
Format: Article
Language:English
Subjects:
Computer Science
Data integrity
Implication
Semi-structured data
Update constraints
XML
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0022-0000
1090-2724
DOI:10.1016/j.jcss.2009.02.001