Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
An Armstrong database is a database that obeys precisely a given set of sentences (and their logical consequences) and no other sentences of a given type. It is shown that if the sentences of interest are inclusion dependencies and standard functional dependencies (functional dependencies for which the left-hand side is nonempty), then there is always an Armstrong database for each set of sentences. (An example of an inclusion dependency is the sentence that says that every MANAGER is an EMPLOYEE.) If, however, the sentences of interest are inclusion dependencies and unrestricted functional dependencies, then there need not exist an Armstrong database. This result holds even if we allow only 'full' inclusion dependencies. Thus, a fairly sharp line is drawn, in a case of interest, as to when an Armstrong database must exist. These results hold whether we restrict our attention to finite databases (databases with a finite number of tuples), or whether we allow unrestricted databases. © 1983.
Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
Raymond Wu, Jie Lu
ITA Conference 2007
Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design
Hendrik F. Hamann
InterPACK 2013