Transaktionsverwaltung (WS 2012/2013)
Aktuelles
Am Mittwoch, dem 30. Januar, wird in der Vorlesung eine Fragestunde
stattfinden. Um die Fragen möglichst gut beantworten zu können, wird
darum gebeten, diese rechtzeitig vorher per Mail an Herr Conrad zu schicken.
Die Liste der Studenten, die die Übung bestanden haben und somit zur Prüfung zugelassen sind, finden Sie hier!
Ab sofort können Sie sich für Prüfungstermine in meinem Sekretariat bei Frau Freese (nur vormittags besetzt) eintragen. Prüfungen werden am 6.02., 7.02., 13.02. und 14.02. angeboten.
Die Liste der Studenten, die die Übung bestanden haben und somit zur Prüfung zugelassen sind, finden Sie hier!
Ab sofort können Sie sich für Prüfungstermine in meinem Sekretariat bei Frau Freese (nur vormittags besetzt) eintragen. Prüfungen werden am 6.02., 7.02., 13.02. und 14.02. angeboten.
Inhalt
- Transaktionseigenschaften und -anforderungen (ACID, ...)
- Serialisierbarkeit
- Sperrverfahren und -protokolle
- Recovery
- Strukturierte Transaktionsmodelle
Organisation
- Umfang: 2 SWS (Vorlesung) + 2 SWS (Übung)
- Vorlesung: Prof. Dr. Stefan Conrad
- Übung: Daniel Braun
- Start der Vorlesung: Mi. 10. Oktober 2012
| Veranstaltung | Zeit | Ort | Beginn |
| Vorlesung | Mi, 10:30 - 12 Uhr | 25.12.02.33 | ab 10. Oktober 2012 |
| Übung | Mi, 14:30 - 16 Uhr | 25.12.02.33 | 24. Oktober 2012 |
Anmeldung zur Lehrveranstaltung: Alle Teilnehmer müssen sich über das online-Vorlesungsverzeichnis (HIS LSF) der Universität bis zum 16. Oktober für die Lehrveranstaltung anmelden.
Voraussetzungen für die Vergabe von Kreditpunkten: Erfolgreiches Bestehen der Übungen.
Für die Gestaltung eines Schwerpunktfachs "Datenbanken und Informationsysteme" im Master-Studium beachten Sie bitte auch die Hinweise auf unserer Seite mit der Lehrplanung.
Voraussetzungen für die Vergabe von Kreditpunkten: Erfolgreiches Bestehen der Übungen.
Für die Gestaltung eines Schwerpunktfachs "Datenbanken und Informationsysteme" im Master-Studium beachten Sie bitte auch die Hinweise auf unserer Seite mit der Lehrplanung.
Teilnahmevoraussetzungen
Die Veranstaltung ist für das Master-Studium Informatik konzipiert
und setzt somit i.Allg. den Bachelor-Abschluss voraus.
Inhaltlich ist ein erfolgreiches Absolvieren des Moduls
"Datenbanksysteme" Voraussetzung.
Folien / Skripte
Die in der Vorlesung verwendeten Folien werden hier nach und nach zur Verfügung gestellt. In der Regel stehen sie immer einige Tage vor dem Vorlesungstermin hier, an dem sie besprochen werden.
| Nr | Kapitel | Download | Vorlesungs- datum |
last update |
|---|
Übung
Die erfolgreiche und aktive Teilnahme an den Übungen gilt als Zulassungsvoraussetzung zur Abschlussprüfung. Die Übungsblätter mit den zu bearbeitenden Aufgaben werden jeweils ab Montag auf der Homepage der Veranstaltung zum Download angeboten. Die Aufgaben sind alleine zu bearbeiten und bis Montags (eine Woche nach der Ausgabe) um 14:30 Uhr im Briefkasten rechts neben Raum 25.12.02.22 abzugeben. Spätere Abgaben werden nicht mehr akzeptiert! 3 zufällig ausgewählte Übungsblätter werden korrigiert und bewertet. Für die Zulassung zur Abschlussprüfung müssen mindestens 66% der gesamten Punktzahl erreicht werden.
| Thema | Download | Last Update |
|---|
Literatur
- P. Bernstein, V. Hadzilacos, N. Goodman:
Concurrency Control and Recovery in Database Systems.
Addison-Wesley, Reading, MA, 1987. (nicht mehr im Handel) - P. Bernstein, E. Newcomer:
Principles of Transaction Processing.
Morgan Kaufmann, 2nd Edition, 2009. - A.K. Elmagarmid (ed.):
Database Transaction Models For Advanced Applications.
Morgan Kaufmann Publishers, 1992. - J. Gray, A. Reuter:
Transaction Processing: Concepts and Techniques.
Morgan Kaufmann Publishers, San Mateo, CA, 1993. - G. Vossen, M. Groß-Hardt:
Grundlagen der Transaktionsverwaltung.
Addison-Wesley, Bonn, 1993. -
G. Weikum, G. Vossen:
Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery.
Morgan Kaufmann Publishers, 2001.