Principles of transaction processing - Bernstein, Philip A. (Morgan Kaufmann series in data management systems.)