Reasoning about XML update constraints

XML and semi-structured data are now de-facto standards for data exchange, and it is often the case that published or exchanged XML documents have specic restrictions on how they can be updated or transformed. For instance, update restrictions could be specied and enforced by digital signatures. Another possible setting for data with restricted updates is when accessing a database via a Web interface only in some predened ways. We introduce in this paper a family of constraints for describing how an XML document can evolve, namely XML update constraints. For these constrains, we study the implication problem, giving algorithms and complexity results for constraints of varying expressive power. We also consider an instance-based approach in which we take into account data.

• Type: Conference
• Year: 2007
• Where: PODS
• Authors: Bogdan Cautis, Serge Abiteboul, Tova Milo
• Keywords: Database, PODS 2007, Update Restrictions, XML Document, XML Update Constraints