U. S. Army Research Office
Let X ≠ 0 be a finite collection of nonempty relations over the relation scheme R(A1, A2 , ... , A,.); then the closure of X under embedding and direct product (up to isomorphism) is a finitely generated Implicational Dependency family (ID-family) generated by X. In this paper, we show that the class of finitely generated ID-families is identical to the class of those ID-families which possess a finite Armstrong relation.
Electrical and Computer Engineering | Engineering
On Implicational Dependency Families Possessing Finite Armstrong Relations.