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

DOI10.1016/J.JCSS.2012.01.003MaRDI QIDQ439971zbMATH OpenOpenAlexFDO

Authors M. W. Vincent, J. Liu, M. Mohania

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

XMLDTDimplicationfunctional dependencyaxiom system

Mathematics Subject Classification ID

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

Recommendations

• On the equivalence between FDs in XML and FDs in relations
• scientific article; zbMATH DE number 1982638
• scientific article; zbMATH DE number 2213336
• Solving the implication problem for XML functional dependencies with properties
• Foundations of Information and Knowledge Systems

Cites work

• scientific article; zbMATH DE number 2086270 (Why is no real title available?)
• scientific article; zbMATH DE number 5123011 (Why is no real title available?)
• scientific article; zbMATH DE number 3823168 (Why is no real title available?)
• scientific article; zbMATH DE number 108396 (Why is no real title available?)
• scientific article; zbMATH DE number 1294230 (Why is no real title available?)
• An information-theoretic approach to normal forms for relational and XML data
• Database Programming Languages
• Dependency-preserving normalization of relational and XML data
• Elements of Information Theory
• Elements of finite model theory.
• Foundations of Information and Knowledge Systems
• On XML integrity constraints in the presence of DTDs
• On the equivalence between FDs in XML and FDs in relations
• Semantic foundations of 4NF in relational database design
• Using Transversals for Discovering XML Functional Dependencies

Cited in

(10)

• Repairing XML functional dependency violations
• Implication and axiomatization of functional and constant constraints
• Using Transversals for Discovering XML Functional Dependencies
• Functional dependencies on extended relations defined by regular languages
• Solving the implication problem for XML functional dependencies with properties
• Logic of temporal attribute implications
• scientific article; zbMATH DE number 1930116 (Why is no real title available?)
• scientific article; zbMATH DE number 1982638 (Why is no real title available?)
• On the equivalence between FDs in XML and FDs in relations
• scientific article; zbMATH DE number 2213336 (Why is no real title available?)

Describes a project that uses

Uses Software

• XPath

This page was built for publication: The implication problem for `closest node' functional dependencies in complete XML documents

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