Proving Consistency of Database Transactions.

conf/vldb/79 Georges Gardarin Michel A. Melkanoff Proving Consistency of Database Transactions. 291-298 VLDB79/P291.PDF 1979 VLDB db/conf/vldb/vldb79.html#GardarinM79 ... ... journals/cacm/Codd70 journals/cacm/EswarranGLT76 journals/cacm/Hoare69 journals/cacm/Howard76 ... journals/cacm/OwickiG76 ... ... journals/tods/StonebrakerWKH76 conf/vldb/StonebrakerR77 ...