On XML integrity constraints in the presence of DTDs

DOI10.1145/567112.567117zbMath1326.68120OpenAlexW1988662949WikidataQ57495611 ScholiaQ57495611MaRDI QIDQ3455535

Wenfei Fan, Leonid O. 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) Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (28)

Optimal probabilistic generation of XML documents ⋮ On the finite and general implication problems of independence atoms and keys ⋮ Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets ⋮ On the equivalence between FDs in XML and FDs in relations ⋮ XML Schema Mappings ⋮ Deciding implication for functional dependencies in complex-value databases ⋮ Propagating XML constraints to relations ⋮ Dependency-preserving normalization of relational and XML data ⋮ Semantic query optimization in the presence of types ⋮ Integrity constraints for XML ⋮ Controlling entity integrity with key sets ⋮ Repairing XML functional dependency violations ⋮ The implication problem for `closest node' functional dependencies in complete XML documents ⋮ Reasoning about XML update constraints ⋮ XML normalization based on entity segments ⋮ Closure via functional dependence simplification ⋮ Extending two-variable logic on data trees with order on data values and its automata ⋮ Non-deterministic ideal operators: an adequate tool for formalization in data bases ⋮ On the finite controllability of conjunctive query answering in databases under open-world assumption ⋮ Numerical constraints on XML data ⋮ On reasoning about structural equality in XML: a description logic approach ⋮ Complexity of Data Tree Patterns over XML Documents ⋮ Functional and multivalued dependencies in nested databases generated by record and list constructor ⋮ Constraints in RDF ⋮ Preserving key in XML data transformation ⋮ On the Notion of an XML Key ⋮ Access-Condition-Table-Driven Access Control for XML Databases ⋮ XML Access Control with Policy Matching Tree

This page was built for publication: On XML integrity constraints in the presence of DTDs