Zusammenfassung Transaktionsmanagement Transaktionen sind Operationsfolgen auf Datenbanken, deren Management trotz massivem Mehrbenutzerbetrieb und unter Annahme unterschiedlichster Fehler die Grundanforderungen des ACID-Prinzips formal korrekt und effizient erfüllen soll.•Korrekte Synchronisation und Fehlersicherheit werden formal unter Nutzung des Read-Write-Modells über zwei Korrektheitskriterien und Scheduler definiert:•Konfliktserialisierbarkeit• aller aktiven und abgeschlossenen Transaktionen (Test: •Zyklentest• in Konfliktgraphen, Algorithmus z.B.: 2PL) verhindert Lost Updates und Phantom-Problem•Fehlersicherheitskriterien wie Rücksetzbarkeit, Vermeidung kaskadierender Aborts und Striktheit verhindern •Dirty• Read mit unterschiedlichen Trade-Offs zwischen •Recoveryeffizienz• und Einschränkungen der Verzahnung (z.B. S2PL).•Fehlertoleranz im laufenden Betrieb wird durch Redundanz in Form von Backups/Spiegelung (Medienfehler) und Operationslogs sichergestellt. Mit Write-•Ahead•-•Logging• kombiniert mit REDO/UNDO-Recovery erlaubt Wiederanlauf sogar dann, wenn während des Recovery weitere Abstürze stattfinden.