title: enhancing external consistency in real-time transactions k lin , s peng sigmod record 1996. authors: nan. venue: nan. year: nan
title: proving consistency of database transactions vldb ,. authors: g gardarin , ma melkanoff. venue: nan. year: 1979.0