Decompositions and functional dependencies in relations
- 1 December 1980
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Database Systems
- Vol. 5 (4), 404-430
- https://doi.org/10.1145/320610.320620
Abstract
A general study is made of two basic integrity constraints on relations: functional and multivalued dependencies. The latter are studied via an equivalent concept: decompositions. A model is constructed for any possible combination of functional dependencies and decompositions. The model embodies some decompositions as unions of relations having different schemata of functional dependencies. This suggests a new, stronger integrity constraint, the degenerate decomposition. More generally, the theory demonstrates the importance of using the union operation in database design and of allowing different schemata on the operands of a union. Techniques based on the union lead to a method for solving the problem of membership of a decomposition in the closure of a given set of functional dependencies and decompositions. The concept of antiroot is introduced as a tool for describing families of decompositions, and its fundamental importance for database design is indicated.Keywords
This publication has 7 references indexed in Scilit:
- On the design of relational database schemataACM Transactions on Database Systems, 1981
- Normalization and hierarchical dependencies in the relational data modelACM Transactions on Database Systems, 1978
- Multivalued dependencies and a new normal form for relational databasesACM Transactions on Database Systems, 1977
- Database abstractionsACM Transactions on Database Systems, 1977
- A complete axiomatization for functional and multivalued dependencies in database relationsPublished by Association for Computing Machinery (ACM) ,1977
- Synthesizing third normal form relations from functional dependenciesACM Transactions on Database Systems, 1976
- Decomposition of a Data Base and the Theory of Boolean Switching FunctionsIBM Journal of Research and Development, 1973