Kazuaki Ishizaki, Takeshi Ogasawara, et al.
VEE 2012
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.
Kazuaki Ishizaki, Takeshi Ogasawara, et al.
VEE 2012
Kaiyuan Zhang, Guanhong Tao, et al.
ICLR 2023
Robert Farrell, Rajarshi Das, et al.
AAAI-SS 2010
Gaku Yamamoto, Hideki Tai, et al.
AAMAS 2008