On the equivalent descriptions of family of functional dependencies in the relational data model

Vũ Đức Thi


The family of functional dependencies (FDs) was introduced by E.F. Codd. Equivalent descriptions of family of FDs play essential rules in the design and implementation of the relation datamodel. It is known [1,3,4,5,7,8,12,13,15] 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 description 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.

DOI: https://doi.org/10.15625/1813-9663/11/4/8159 Display counter: Abstract : 168 views. PDF (Tiếng Việt) : 124 views.


Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology