Work

Testing implications of data dependencies

Year: 1979

Type: article

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.

Source: ACM Transactions on Database Systems

DOI: 10.1145/320107.320115

Authors: David Maier, Alberto O. Mendelzon, Yehoshua Sagiv

Institutions: Stony Brook University, Princeton University, University of Illinois Urbana-Champaign

Language: English

Topic: Advanced Database Systems and Queries

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: National Science Foundation

OpenAlex ID: W1985581502

FWCI: 42.44

Cites: 17

Cited by: 591

Related to: 10