Testing Implications of Data Dependencies.

David Maier Alberto O. Mendelzon Yehoshua Sagiv Testing Implications of Data Dependencies. 455-469 TODS4/P455.PDF 1979 4 ACM Trans. Database Syst. 4 db/journals/tods/tods4.html#MaierMS79 http://doi.acm.org/10.1145/320107.320115 db/journals/tods/MaierMS79.html conf/focs/AhoBU77 journals/siamcomp/AhoSU79 conf/ifip/Armstrong74 journals/tods/Beeri80 ... conf/vldb/BeeriBG78 conf/sigmod/BeeriFH77 conf/stoc/BeeriMSU79 journals/tods/Bernstein76 conf/stoc/ChandraM77 journals/cacm/Codd70 ... journals/tods/Fagin77 conf/sigmod/Fagin79 journals/siamcomp/HagiharaITK79 journals/jcss/MaierMSU80 journals/tods/Rissanen77 conf/mfcs/Rissanen78 ... ...