On XML integrity constraints in the presence of DTDs

DOI10.1145/567112.567117MaRDI QIDQ3455535zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

XMLconsistencyimplicationintegrity constraintsDTDs

Mathematics Subject Classification ID

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)

Recommendations

• On the Complexity of Verifying Consistency of XML Specifications
• Inconsistency Tolerance
• scientific article; zbMATH DE number 1945841
• Reasoning about XML constraints based on XML-to-relational mappings
• Integrity constraints for XML

Cited in

(38)

• Optimal probabilistic generation of XML documents
• On the finite and general implication problems of independence atoms and keys
• Inconsistency Tolerance
• 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
• scientific article; zbMATH DE number 2241913 (Why is no real title available?)
• Dependency-preserving normalization of relational and XML data
• Reasoning about XML update constraints
• scientific article; zbMATH DE number 1945841 (Why is no real title available?)
• The implication problem for `closest node' functional dependencies in complete XML documents
• Closure via functional dependence simplification
• Deciding implication for functional dependencies in complex-value databases
• scientific article; zbMATH DE number 2088869 (Why is no real title available?)
• 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
• Propagating XML constraints to relations
• Reasoning about integrity constraints for tree-structured data
• Access-condition-table-driven access control for XML databases
• Solving the implication problem for XML functional dependencies with properties
• Preserving key in XML data transformation
• Complexity of Data Tree Patterns over XML Documents
• Reasoning about integrity constraints for tree-structured data
• Extending two-variable logic on data trees with order on data values and its automata
• scientific article; zbMATH DE number 1755603 (Why is no real title available?)
• Functional and multivalued dependencies in nested databases generated by record and list constructor
• Reasoning about XML constraints based on XML-to-relational mappings
• XML normalization based on entity segments
• XML access control with policy matching tree
• Controlling entity integrity with key sets
• 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
• Semantic query optimization in the presence of types
• On the Notion of an XML Key

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)