"Testing Implications of Data Dependencies (Abstract)."

David Maier, Alberto O. Mendelzon, Yehoshua Sagiv (1979)
a service of Schloss Dagstuhl - Leibniz Center for Informatics