Properties of acyclic database schemes
Catriel Beeri, Ronald Fagin, et al.
STOC 1981
Presented is a computation method—the chase—for testing implication of data dependencies by a set of data dependencies. The chase operates on tableaux similar to those of Aho, Sagiv, and Ullman. The chase includes previous tableau computation methods as special cases. By interpreting tableaux alternately as mappings or as templates for relations, it is possible to test implication of join dependencies (including multivalued dependencies) and functional dependencies by a set of dependencies. © 1979, ACM. All rights reserved.
Catriel Beeri, Ronald Fagin, et al.
STOC 1981
David Maier, Alberto O. Mendelzon, et al.
Journal of Computer and System Sciences
Benny Kimelfeld, Yehoshua Sagiv, et al.
SIGMOD/PODS 2009
Haim Gaifman, Harry Mairson, et al.
Journal of the ACM (JACM)