The implication problem for `closest node' functional dependencies in complete XML documents

DOI10.1016/j.jcss.2012.01.003zbMath1245.68076OpenAlexW2013466205MaRDI QIDQ439971

Millist W. Vincent, Mukesh Mohania, Jixue Liu

Publication date: 17 August 2012

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.2012.01.003

zbMATH Keywords

XMLaxiom systemimplicationfunctional dependencyDTD

Mathematics Subject Classification ID

Database theory (68P15) Data structures (68P05)

Related Items

Logic of temporal attribute implications ⋮ Implication and axiomatization of functional and constant constraints

Uses Software

• XPath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elements of finite model theory.
• Dependency-preserving normalization of relational and XML data
• Semantic foundations of 4NF in relational database design
• On the equivalence between FDs in XML and FDs in relations
• On XML integrity constraints in the presence of DTDs
• An information-theoretic approach to normal forms for relational and XML data
• Using Transversals for Discovering XML Functional Dependencies
• Elements of Information Theory
• Database Programming Languages
• Foundations of Information and Knowledge Systems