Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics
From MaRDI portal
Publication:765524
DOI10.1016/j.ipl.2010.06.002zbMath1234.68088OpenAlexW2104094070WikidataQ62043130 ScholiaQ62043130MaRDI QIDQ765524
Sebastian Link, Henning Koehler
Publication date: 19 March 2012
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2010.06.002
Related Items (3)
Foundations for a Fourth Normal Form over SQL-Like Databases ⋮ Characterisations of multivalued dependency implication over undetermined universes ⋮ Reasoning about functional and full hierarchical dependencies over partial relations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Numerical constraints on XML data
- Positive Boolean dependencies
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Correction to “An equivalence between relational database dependencies and a fragment of propositional logic”
- Functional Dependencies in a Relational Database and Propositional Logic
This page was built for publication: Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics
