Testing implications of data dependencies

David Maier, Alberto O. Mendelzon, Yehoshua Sagiv

Research output: Contribution to journalArticlepeer-review

429 Scopus citations

Abstract

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.

Original languageEnglish
Pages (from-to)455-469
Number of pages15
JournalACM Transactions on Database Systems
Volume4
Issue number4
DOIs
StatePublished - 1 Dec 1979
Externally publishedYes

Keywords

  • chase
  • data dependencies
  • functional dependencies
  • join dependencies
  • multivalued dependencies
  • relational databases
  • tableaux

Fingerprint

Dive into the research topics of 'Testing implications of data dependencies'. Together they form a unique fingerprint.

Cite this