Automatic Verification of Database Transaction Safety.

Tim Sheard David W. Stemple Automatic Verification of Database Transaction Safety. 322-368 TODS14/P322.PDF 1989 14 ACM Trans. Database Syst. 3 db/journals/tods/tods14.html#SheardS89 http://doi.acm.org/10.1145/68012.68014 conf/sigmod/BernsteinB82 ... conf/popl/CasanovaB79 journals/toplas/CasanovaB80 journals/cacm/DeMilloLP79 conf/vldb/GardarinM79 journals/tse/Guttag80 conf/adbt/HenschenMN82 journals/cacm/Hoare69 ... conf/sigmod/HsuI85 journals/acta/Nicolas82 conf/popl/Oppen78 journals/tse/Phillips84 conf/vldb/SheardS85 ... conf/pods/StempleS84 conf/sigmod/StempleMS87 ... conf/icde/StempleSB86 ...