Testing implications of data dependencies
ACM Transactions on Database Systems (TODS)
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
A relational model of data for large shared data banks
Communications of the ACM
First order logic formalization for functional, multivalued and mutual dependencies
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
Hi-index | 0.00 |
Mutual dependencies have been shown to provide a necessary and sufficient condition for a relation to be decomposable into three of its projections. We generalize the notion of mutual dependency by extending it to any number of sets of attributes and removing some constraints from its original definition. We show that a generalized mutual dependency, together with a set of multivalued dependencies, provide a necessary and sufficient condition for a relation to be decomposable in the general case.