Correction to “An equivalence between relational database dependencies and a fragment of propositional logic”

DOI10.1145/31846.31853zbMath0628.68077OpenAlexW2119061594WikidataQ114614059 ScholiaQ114614059MaRDI QIDQ3765274

Ronald Fagin, D. Stott Parker, Claude Delobel, Yehoshua Sagiv

Publication date: 1987

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/31846.31853

zbMATH Keywords

functional dependencymultivalued dependencyjoin dependency

Mathematics Subject Classification ID

Database theory (68P15) Theory of operating systems (68N25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Functional dependencies among Boolean dependencies ⋮ Border Algorithms for Computing Hasse Diagrams of Arbitrary Lattices ⋮ Characterising nested database dependencies by fragments of propositional logic ⋮ Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data ⋮ Supervenience, Dependence, Disjunction ⋮ Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions ⋮ Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics