Publication | Open Access
Decompositions and functional dependencies in relations
61
Citations
10
References
1980
Year
Relational DatabaseEngineeringFormal VerificationCausal Relation ExtractionMultivalued DependenciesSystems EngineeringDatabase ConstructionFunctional DependenciesComputer ScienceDatabase ModelDatabase TheoryDegenerate DecompositionSoftware DesignDatabase DesignAlgebraic LogicRepresentation TheoryUnion OperationAutomated ReasoningFormal MethodsLinguistics
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.
| Year | Citations | |
|---|---|---|
Page 1
Page 1