Reasoning about XML update constraints

DOI10.1016/j.jcss.2009.02.001zbMath1192.68171OpenAlexW2007463862MaRDI QIDQ923878

Tova Milo, Bogdan Cautis, Serge Abiteboul

Publication date: 24 July 2009

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2009.02.001

zbMATH Keywords

XMLimplicationupdate constraintsdata integritysemi-structured data

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (5)

Reasoning about XML update constraints ⋮ Computational complexity of the problem of tree generation under fine-grained access control policies ⋮ Reasoning about XML with temporal logics and automata ⋮ Consistencies of fuzzy spatiotemporal data in XML documents ⋮ The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates

Uses Software

• XPath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• XML queries and constraints, containment and reformulation
• Querying data sources that export infinite sets of views
• A formal analysis of information disclosure in data exchange
• Reasoning about XML update constraints
• Regular path queries with constraints
• Integrity constraints for XML
• Efficient filtering of XML documents with XPath expressions
• On XML integrity constraints in the presence of DTDs
• An information-theoretic approach to normal forms for relational and XML data
• The complexity of XPath query evaluation and XML typing
• XML data exchange
• On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
• Inconsistency Tolerance
• Containment and equivalence for a fragment of XPath

This page was built for publication: Reasoning about XML update constraints