Testing Implications of Data Dependencies (Abstract)

  title={Testing Implications of Data Dependencies (Abstract)},
  author={David Maier and Alberto O. Mendelzon and Yehoshua Sagiv},
  booktitle={SIGMOD Conference},
We present 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 instances, we can test implication of functional and join dependencies. This information is useful in determining when a relational database scheme accurately… CONTINUE READING