Formaler Datenbankentwurf - Informatixx

c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken Einführung: Grundbegriffe 9
Was ist eine Transaktion?
Im allgemeinen ein Programm, das einem in sich abgeschlossenen Verarbeitungsschritt
innerhalb der Anwendungen der betreffenden Miniwelt entspricht.
Beispiele:
– Erstelle für jeden Studierenden eine Liste der belegten Kurse.
– Trage die Noten für die belegten Kurse ein.
– Wechsel zwischen Kursen.
– usw. usw.
c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken Einführung: Grundbegriffe 11
Welche Eigenschaften müssen Transaktionen haben?
Atomicity: Eine Transaktion ist (logisch) eine nicht weiter zerlegbare Einheit; die
durch sie bewirkten Änderungen eines DB-Zustandes sind atomar und werden
entweder vollständig oder gar nicht vorgenommen (alles-oder-nichts-
Prinzip).
Concistency: Eine Transaktion bewirkt einen konsistenten Zustandsübergang in
der DB. Inkonsistente Zwischenzustände können im allgemeinen nicht ausgeschlossen
werden und sind somit zulässig.
Isolation: Im allgemeinen wird eine Menge von Transaktionen gleichzeitig in ihrer
Ausführungsphase sein (Mehrbenutzerbetrieb). Obwohl somit die DB-
Zugriffe der einzelnen Transaktionen potentiell verzahnt ablaufen, bleibt dies
für den Benutzer verborgen (simulierter Einbenutzerbetrieb).
Durability: Wenn eine Transaktion erfolgreich ihr Ende erreicht hat, dann sind alle
von ihr verursachten Änderungen dauerhaft (persistent), d.h. sie überdauern
alle möglichen Fehlersituationen der DB.
Wie können die ACID-Eigenschaften erreicht werden?
c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken Einführung: Grundbegriffe 10
Ausführungen von Transaktionen müssen kontrolliert werden!
T1: C1