Reasoning about XML update constraints
From MaRDI portal
Publication:923878
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
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
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
