conf/sigmod/82 Philip A. Bernstein Barbara T. Blaustein Fast Methods for Testing Quantified Relational Calculus Assertions. 39-50 1982 SIGMOD Conference db/conf/sigmod/sigmod82.html#BernsteinB82 SIGMOD82/P039.PDF http://doi.acm.org/10.1145/582353.582361 db/conf/sigmod/BernsteinB82.html ... ... conf/vldb/BernsteinBC80 journals/tods/BunemanC79 journals/jacm/BernsteinC81 journals/siamcomp/BernsteinG81 journals/cacm/Codd70 persons/Codd72 ... conf/vldb/GardarinM79 conf/sigmod/HammerS78 ... conf/sigmod/Stonebraker75 ... journals/tods/WongY76