On Functional Dependencies in Advanced Data Models

DOI10.1016/S1571-0661(04)80849-1zbMath1264.68073OpenAlexW2038649299MaRDI QIDQ4924533

Sebastian Link, Sven Hartmann

Publication date: 6 June 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80849-1

zbMATH Keywords

completenessfunctional dependenciesinference rulesBrouwerian algebralogic in databases

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70)

Related Items (3)

Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets ⋮ Deciding implication for functional dependencies in complex-value databases ⋮ Functional and multivalued dependencies in nested databases generated by record and list constructor

Cites Work

• Foundations of entity-relationship modeling
• Integrity constraints for XML
• On the implication problem for cardinality constraints and functional dependencies
• On closed elements in closure algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Functional Dependencies in Advanced Data Models