Transaktionsverwaltung (SS 2010)
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: Ludmila Himmelspach
- Start der Vorlesung: Fr. 16. April 2010
- Ab sofort können Termine für mündliche Prüfungen im Sekretariat (nur vormittags besetzt!) vereinbart werden. Prüfungstermine werden jeweils dienstags und donnerstags in der Zeit vom 27. Juli bis 12. August 2010 angeboten.
- Am Freitag, den 16. Juli, findet im Rahmen der Vorlesung eine Frage- und Wiederholungsstunde statt. Konkrete Fragen sollten rechtzeitig vorher an Prof. Conrad (z.B. per Email) geschickt werden!
- Am Freitag, den 23. Juli, findet die Vorlesung - wie angekündigt - nicht statt!
| Veranstaltung | Zeit | Ort | Beginn |
| Vorlesung | Fr, 9 - 11 Uhr | 25.12.02.33 | ab 16. April 2010 |
| Übung | Do, 16 - 18 Uhr | 25.12.02.33 | 22. April 2010 |
Anmeldung zur Lehrveranstaltung: Alle Teilnehmer müssen sich über das online-Vorlesungsverzeichnis (HIS LSF) der Universität bis zum 16. April 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 Abschlußprüfung. Die Übungsblätter mit den zu bearbeitenden Aufgaben werden jeweils ab Donnerstag auf der Homepage der Veranstaltung zum Download angeboten. Die Aufgaben sind in Gruppen von zwei Personen zu bearbeiten und vor Beginn der Übungsstunde abzugeben. Spätere Abgaben werden nicht mehr akzeptiert! Jedes Übungsblatt wird korrigiert und mit Punkten bewertet. Für die Zulassung zur Abschlußprüfung müssen mindestens 50% der gesamten Punktzahl erreicht werden.In der Übung selbst wird für jede Aufgabe ein Bearbeiter ausgelost. Ist ein ausgeloster Übungsteilnehmer unvorbereitet oder abwesend, so kann sie/er insgesamt einmal aussetzen (ein weiteres Aussetzen führt zum Ausschluß aus der Veranstaltung). Vorrechnen heißt nicht eine "perfekte" Lösung vorstellen, sondern die Lösungsidee präsentieren und diese gemeinsam in der Gruppe ausdiskutieren.
| Übungsblatt | Download | Ausgabedatum | Abgabedatum | Besprechung |
|---|
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.