Transaction Processing: Concepts and Techniques (The Morgan Kaufmann Series in Data Management Systems)