FAMILY OF FUNCTIONAL-DEPENDENCIES AND ITS EQUIVALENT DESCRIPTIONS

The family of functional dependencies (FDs) was introduced by E. F. Co dd. Equivalent descriptions of family of FDs play essential roles in t he 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. Th is paper introduces the concept of maximal family of attributes. We pr ove that this family is an equivalent description of family of FDs. Th e concept of nonredundant family of attributes is also introduced in t his paper. We present some characterizations and desirable properties of these families. We prove that given a relation scheme, the time com plexities of problems of finding nonredundant 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 th ese problems are solved by polynomial time algorithms.