Family of functional dependencies and its equivalent descriptions
β Scribed by J. Demetrovics; V.D. Thi
- Publisher
- Elsevier Science
- Year
- 1995
- Tongue
- English
- Weight
- 608 KB
- Volume
- 29
- Category
- Article
- ISSN
- 0898-1221
No coin nor oath required. For personal study only.
β¦ Synopsis
The family of functional dependencies (FDs) was introduced by E. F. Codd. Equivalent descriptions of family of FDs play essential roles in the design and implementation of the relational datamodel. It is known [1-10] that closure operations, meet-semilattices, families of members which are not intersections of two other members, give the equivalent descriptions of family of FDs, i.e., they and family of FDs determine each other uniquely. These equivalent descriptions were successfully applied to find many desirable properties of functional dependency. This paper introduces the concept of maximal family of attributes. We prove that this family is an equivalent description of family of FDs. The concept of nonredundant family of attributes is also introduced in this paper. We present some characterizations and desirable properties of these families. We prove that given a relation scheme, the time complexities of problems of finding nouredundant and maximal families of attributes are exponential in the number of attributes. However, this paper shows that if a relation scheme is changed to a relation then these problems are solved by polynomial time algorithms.
π SIMILAR VOLUMES
Functional dependency (FD) is an important type of semantic knowledge reflecting integrity constraints in databases, and has nowadays attracted an increasing amount of research attention in data mining. Traditionally, FD is defined in the light of precise or complete data, and can hardly tolerate pa