Can I read Reasoning about XML update constraints on EtoBox?

Reasoning about XML update constraints by Bogdan Cautis; Serge Abiteboul; Tova Milo is a scholarly article available to read on EtoBox.

What is Reasoning about XML update constraints about?

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

Author

Bogdan Cautis; Serge Abiteboul; Tova Milo

Publisher

ACM

Published

2007

Language

EN