Funder
U. S. Army Research Office
Document Type
Technical Report
Publication Date
8-24-1989
First page number:
1
Last page number:
8
Abstract
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.
Keywords
Armstrong Relations; Data Dependencies; Database Design; Functional Dependencies
Disciplines
Electrical and Computer Engineering | Engineering
Language
English
Repository Citation
Taghva, K.
(1989).
On Implicational Dependency Families Possessing Finite Armstrong Relations.
1-8.
https://digitalscholarship.unlv.edu/ece_fac_articles/829