An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
- 1 July 1981
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 28 (3), 435-453
- https://doi.org/10.1145/322261.322263
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued DependenciesJournal of the ACM, 1982
- Decompositions and functional dependencies in relationsACM Transactions on Database Systems, 1980
- On the menbership problem for functional and multivalued dependencies in relational databasesACM Transactions on Database Systems, 1980
- An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional LogicJournal of the ACM, 1980
- Testing implications of data dependenciesACM Transactions on Database Systems, 1979
- Decision Problems for Multivalued Dependencies in Relational DatabasesSIAM Journal on Computing, 1979
- On Axiomatizing Multivalued Dependencies in Relational DatabasesJournal of the ACM, 1979
- Theory of relations for databases — a tutorial surveyLecture Notes in Computer Science, 1978
- On the complementation rule for multivalued dependencies in database relationsActa Informatica, 1978
- Multivalued dependencies and a new normal form for relational databasesACM Transactions on Database Systems, 1977