Skript Datenbanken I - Praktische Informatik Universität Kassel
Skript Datenbanken I - Praktische Informatik Universität Kassel
Skript Datenbanken I - Praktische Informatik Universität Kassel
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
140<br />
<strong>Datenbanken</strong> I<br />
• Lesephase (Daten aus DBMS lesen und Resultate berechnen im<br />
HS)<br />
• Prüfphase (Können die Daten zurückgeschrieben werden in serialisierbarer<br />
Folge?)<br />
• Schreibphase (nur wenn Prüfung ok, sonst Zurückrollen und Neustart).<br />
Zeitmarken für die Phasen werden mit den Transaktionen geführt, nicht<br />
bei den Objekten. Die von einer Transaktion betroffenen Datenobjekte<br />
bilden Mengen und die Prüfphase stellt sicher, daß für die Schnittmengen<br />
der Datenobjekte keine überlappenden Schreiboperationen stattfinden.<br />
Die Details seien hier übergangen.<br />
Optimistische Verfahren eignen sich besonders für Anwendungen mit<br />
vielen Nur-Lese-Transaktionen. Insgesamt aber haben sich die angekündigten<br />
Verbesserungen durch optimistische Verfahren als zu optimistisch<br />
erwiesen.<br />
6.4 Präzisierungen der Nebenläufigkeitsaspekte<br />
Bei der Definition der Äquivalenz zweier Ablauffolgen (schedules) auf<br />
Seite 131 haben wir verlangt, daß<br />
• Jede der Leseoperationen in den Folgen Datenwerte liest, die von<br />
den selben Schreiboperationen in beiden Folgen erzeugt wurden.<br />
• Die letzte Schreiboperation für jedes Datenobjekt die gleiche in<br />
beiden Folgen ist.<br />
Tatsächlich bezeichnet man dies als Sichtserialisierbarkeit. Daneben gibt<br />
es eine zweite Serialisierbarkeit, die Konfliktserialisierbarkeit, die nur<br />
konfliktäre Operationen betrachtet, die wir im Zusammenhang mit<br />
Abhängigkeitsgraphen betrachtet haben, also Operationenpaare zweier<br />
Transaktionen auf dem selben Datenobjekt, von denen mindestens eine<br />
Operation eine Schreiboperation ist.<br />
Beide Formen der Serialisierbarkeit sind nicht ganz gleichwertig.<br />
Sichtserialisierbarkeit ist mächtiger (erlaubt mehr gültige Ablauffolgen)<br />
als Konfliktserialisierbarkeit, ist aber in der Praxis nicht effizient umsetz-