Solving the implication problem for XML functional dependencies with properties

DOI10.1007/978-3-642-13824-9_14MaRDI QIDQ4931598zbMATH OpenOpenAlexFDO

Authors Sven Hartmann, Sebastian Link, Thu Trinh

Publication date 29 September 2010

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13824-9_14

Mathematics Subject Classification ID

General topics in the theory of data (68P01)

Recommendations

• The implication problem for `closest node' functional dependencies in complete XML documents
• Reasoning about XML constraints based on XML-to-relational mappings
• Integrity constraints for XML
• Reasoning about XML update constraints
• On XML integrity constraints in the presence of DTDs

Cited in

(8)

• Reasoning about integrity constraints for tree-structured data
• Functional dependencies on extended relations defined by regular languages
• Reasoning about XML constraints based on XML-to-relational mappings
• On the finite and general implication problems of independence atoms and keys
• Appropriate inferences of data dependencies in relational databases
• The implication problem for `closest node' functional dependencies in complete XML documents
• Closure via functional dependence simplification
• Foundations of Information and Knowledge Systems

This page was built for publication: Solving the implication problem for XML functional dependencies with properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4931598)