Dependency Structures of Data Base Relationships

W. W. Armstrong

Abstract:An axiomatic description of dependency structures in relationships is presented. The axioms specify those families of dependencies "A determines B" which can hold for some relationship. Families of maximal dependencies, i.e., those where A is a minimal set of attributes determining the given B and where B is the set of all attributes determined where A are also characterized axiomatically. The -semi-lattice of the B in maximal dependencies is shown to determine the dependency structure completely. Families of subsets of attributes which can be the candidate keys of some relationship are completely characterized. Some insight into recent work on use of boolean functions in the data base decomposition is provided.