Wednesday, July 20, 12:30pm–2:30pm, seminar room 02.09.014 Students that registered for the exam should have received an e-mail on how to register for the post-exam review.
The course gives a broad and thorough overview of the transaction systems theory. It concentrates on concurrency control and recovery (and their interaction) in database management systems, while also covering other topics (implementational issues, distributed transaction management and recovery etc).
VoraussetzungenThe course is aimed at Master-level students who have already taken the following (or similar) courses:
- Foundations of Computer Science
- Introduction to Databases
- First lecture: Monday, April 18, 2016
- Lecture + Exercise Sessions: 9am-12pm
- Room: 02.09.014 (Seminar room)
- Bonus: 75% required for the 0.3 bonus
- Exam: will be announced in TUMonline
- Chapter 1: Introduction
- Chapter 2: Computational Models
- Chapter 3: Concurrency Control: Notions of Correctness for the Page Model
- Chapter 4: Concurrency Control Algorithms
- Chapter 5: Multiversion Concurrency Control
- Chapter 6: Concurrency Control on Objects: Notions of Correctness
- Chapter 7: Concurrency Control Algorithms on Objects
- Chapter 8: Concurrency Control on Relational Databases
- Chapter 9: Concurrency Control on Search Structures
- Chapter 10: Implementation and Pragmatic Issues
- Chapter 11: Transaction Recovery
- Chapter 12: Crash Recovery: Notion of Correctness
- Chapter 13: Page-Model Crash Recovery Algorithms
- Chapter 14: Object-Model Crash Recovery
- Chapter 15: Special Issues of Recovery
- Exercise Session 01: Review and Home Assignment 01: Checking serializability
- Exercise Session 02: Page and object model, Herbrand semantics, FSR (Update: no slides on VSR) and Home Assignment 02: Herbrand semantics, FSR (Update: no VSR task) and Solution (kindly provided by Andrey N.)
- Exercise Session 03: FSR, VSR, CSR, OCSR, 2PL and Home Assignment 03: CSR, 2PL and Solution (kindly provided by André K. and Dominik D.)
- Exercise Session 04: CSR, OCSR, COCSR, commit serializability, interleaving specifications, schedulers, 2PL and Home Assignment 04: Interleaving specifications, 2PL livelocks
- Exercise Session 05: O2PL, Altruistic Locking and Home Assignment 05: Deadlock prevention, O2PL and Solution (kindly provided by Christian W. and Sebastian B.)
- Exercise Session 06: BTO, SGT, BOCC, FOCC, MVCC and Home Assignment 06: BTO, BOCC, FOCC and Solution (kindly provided by Christian W.)
- Exercise Session 07: MVSR, MCSR, MVSG, MVTO, 2V2PL and Home Assignment 07: MVSR, MCSR, MVTO, 2V2PL and Solution
- Exercise Session 08: MVCC graphs and Home Assignment 08: MVSR, MCSR, VSR, tree-reducible schedules and Solution
- Exercise Session 09: MVCC, Layered locking, Hybrid protocols, Escrow locking and Home Assignment 09: Object model definitions, Hybrid protocols and Solution (kindly provided by Andrey N.)
- Exercise Session 10: Escrow locking, MVSR and no home assignment
- Exercise Session 11: Transaction chopping, exam preparation and Home Assignment 11: FSR-IDM and CSR-IDM, Predicate locking, Incremental key-range locking and lock coupling and Solution (updated!)
- Exercise Session 11: Exam preparation
- Gerhard Weikum, Gottfried Vossen. Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery. Morgan Kaufmann Publishers, 2002
- The exam will be announced in TUMonline.
- Registration: via TUMonline, May 16 – June 30.
- It will be a written exam.
- There will be no resit (Wiederholungsprüfung). The next exam will probably take place at the end of Sommersemester 2017.