conf/vldb/80 Philip A. Bernstein Barbara T. Blaustein Edmund M. Clarke Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data. 126-136 VLDB80/P126.PDF 1980 VLDB db/conf/vldb/vldb80.html#BernsteinBC80 db/conf/vldb/BernsteinBC80.html ... journals/jacm/Clarke79 persons/Codd72 books/ph/Dijkstra76 conf/vldb/HammerM75 conf/sigmod/HammerS78 journals/cacm/Hoare69 journals/acta/HoareW73 ... conf/sigmod/Stonebraker75