Testing Implications of Data Dependencies (Abstract).

David Maier, Alberto O. Mendelzon, Yehoshua Sagiv

Browse the full SIGMOD paper archive.