On XML integrity constraints in the presence of DTDs
DOI10.1145/567112.567117zbMATH Open1326.68120OpenAlexW1988662949WikidataQ57495611 ScholiaQ57495611MaRDI QIDQ3455535FDOQ3455535
Authors: Wenfei Fan, Leonid Libkin 
Publication date: 7 December 2015
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://www.pure.ed.ac.uk/ws/files/19849496/Fan_Libkin_2002_On_XML_Integrity_Constraints_in_the_Presence_of_DTDs.pdf
Recommendations
Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (38)
- Inconsistency Tolerance
- Optimal probabilistic generation of XML documents
- On the finite and general implication problems of independence atoms and keys
- On the finite controllability of conjunctive query answering in databases under open-world assumption
- On reasoning about structural equality in XML: a description logic approach
- Repairing XML functional dependency violations
- Title not available (Why is that?)
- Closure via functional dependence simplification
- Title not available (Why is that?)
- Dependency-preserving normalization of relational and XML data
- Reasoning about XML update constraints
- The implication problem for `closest node' functional dependencies in complete XML documents
- Deciding implication for functional dependencies in complex-value databases
- Title not available (Why is that?)
- Numerical constraints on XML data
- On the Complexity of Verifying Consistency of XML Specifications
- Non-deterministic ideal operators: an adequate tool for formalization in data bases
- Access-condition-table-driven access control for XML databases
- Solving the implication problem for XML functional dependencies with properties
- Propagating XML constraints to relations
- Reasoning about integrity constraints for tree-structured data
- Preserving key in XML data transformation
- Reasoning about integrity constraints for tree-structured data
- Complexity of Data Tree Patterns over XML Documents
- Extending two-variable logic on data trees with order on data values and its automata
- Title not available (Why is that?)
- Functional and multivalued dependencies in nested databases generated by record and list constructor
- XML access control with policy matching tree
- Reasoning about XML constraints based on XML-to-relational mappings
- Controlling entity integrity with key sets
- XML normalization based on entity segments
- XML schema mappings, data exchange and metadata management
- Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
- On the equivalence between FDs in XML and FDs in relations
- Constraints in RDF
- Integrity constraints for XML
- On the Notion of an XML Key
- Semantic query optimization in the presence of types
This page was built for publication: On XML integrity constraints in the presence of DTDs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455535)
