Publication
Information Processing Letters
Paper

A simple characterization of database dependency implication

View publication

Abstract

A simple and elegant set-theoretic characterization is given as to when a given set of functional and multivalued dependencies logically implies a given functional or multivalued dependency. A simple proof of the characterization is given which makes use of a result of Sagiv, Delobel, Parker, and Fagin (1981). © 1986.

Date

Publication

Information Processing Letters

Authors

Topics

Share