Transactional information systems : theory, algorithms, and the practice of concurrency control and recovery - Weikum, Gerhard (Morgan Kaufmann series in data management systems, 2002)