On interpreting and inferring propositional formulas of data dependencies in a relational database
References (12)
On the membership problem for functional and multivalued dependencies in relational databases
ACM Traits. Database Systems
(1980)A relational model for large shared data banks
Comtra. ACM
(1970)- et al.
Decomposition of a data base and the theory of boolean switching functions
IBM J. Res. Development
(1973)et al.Comment
(1977) Normalization and hierarchical dependencies in the relational data model
ACM Trans. Database Systems
(1978)- et al.
Functional and multivalued dependencies in a relational database and the theory of boolean switching functions
(1978) Functional dependencies in a relational database and propositional logic
IBM J. Res. Development
(1977)
There are more references available in the full text version of this article.
Cited by (1)
Parallel algorithms for solving the satisfaction problem of functional and multivalued data dependencies
1989, Data and Knowledge Engineering
Copyright © 1987 Published by Elsevier B.V.