Jim Gray Andreas Reuter Transaction Processing: Concepts and Techniques Morgan Kaufmann 1993 1-55860-190-2 db/books/dbtext/Gray93.html