Anzeigen Serialisierbar und Konflikt serialisierbar
Ich habe über die Serialisierbarkeit in den Zeitplänen der Transaktionen gelesen und deshalb über conflict serializable und view serializable schedules gelesen.
Jetzt, weil Serialisierung des Konflikts stringenter ist als serialisierbare Ansicht, ist es offensichtlich, dass es Pläne geben wird, die serialisierbar sind, aber nicht serialisierbar. In dem Buch habe ich Folgendes gelesen:
Blind-Schreibvorgänge erscheinen in jedem Zeitplan, der serialisierbar ist, aber nicht Konflikt seralizable.
Ich habe versucht, einen Beweis für die obige Aussage zu finden, konnte es aber nicht tun.
Meine Frage ist: Gibt es einen formellen Beweis für die oben erwähnte Aussage?
2 Antworten
Blindes Schreiben bedeutet, dass eine Transaktion die Datenbank schreibt, ohne die Datenbankvariable zu lesen.
Das bedeutet, wenn wir den Namen der Datenbankvariablen kennen. Wenn wir schreiben, dass diese Variable einige Werte verwendet.
Die Transaktion ist wie folgt, dh blind schreibt.
Beispiel: -
%Vor%Im obigen Beispiel haben wir die Variable X nicht gelesen, schreiben aber das X.
Wenn wir die Datenbank schreiben, ohne den alten Wert zu verwenden, gibt es keine Konflikt-Serialisierbarkeit. Hier müssen wir den alten Wert in der Datenbank ersetzen. Die Blindschreibvorgänge werden in zwei Transaktionen ausgeführt, wobei derselbe Datenbankvariablenname verwendet wird. Zu dieser Zeit ist es auch serialisierbar.
Das folgende Beispiel ist sowohl eine serialisierbare Ansicht als auch ein serialisierbarer Zeitplan
Wenn wir es jetzt in einen Plan konvertieren wollen, der serialisierbar ist, aber nicht serialisierbar ist, müssen wir entweder eine der folgenden Änderungen vornehmen:
- Ändere
W(B)zuW(A)inT1 - Ändere
R(A)zuW(A)inT2
Im ersten Fall wird der Zeitplan nicht serialisierbar sein und auch serialisierbar sein
So sichert der 2. Fall unsere Aufgabe, die zu blindem Schreiben führt. Daher sind Blindschreiben notwendig.
Blinde Schreibvorgänge sind notwendig, um die Serialisierbarkeit von Views zu erfüllen und Konfliktbedingungen für die Serialisierung von Konflikten zu widersprechen.
Tags und Links transactions