Formal Model of Correctness Without Serializability.

Henry F. Korth, Gregory D. Speegle

Browse the full SIGMOD paper archive.