Vinayak Gupta, Rajmohan C, et al.
ICON 2022
Certain first-order sentences, called “dependencies,” about relations in a database are defined and studied. These dependencies seem to include all prewously defined dependencies as special cases A new concept is mtroduced, called “faithfulness (with respect to direct product),” which enables powerful results to be proved about the existence of “Armstrong relations” in the presence of these new dependencies. (An Armstrong relaUon is a relation that obeys precisely those dependencies that are the logical consequences of a given set of dependencies.) Results are also obtained about characterizing the class of projections of those relations that obey a given set of dependencies. © 1982, ACM. All rights reserved.
Vinayak Gupta, Rajmohan C, et al.
ICON 2022
Kazuaki Ishizaki, Takeshi Ogasawara, et al.
VEE 2012
David Eppstein, Zvi Galil, et al.
Journal of the ACM
Els van Herreweghen, Uta Wille
USENIX Workshop on Smartcard Technology 1999