Key points are not available for this paper at this time.
Die Probleme von Sperrungen und Konsistenz in Datenbanksystemen werden untersucht. Es wird angenommen, dass jede Transaktion, wenn sie allein ausgeführt wird, einen konsistenten Zustand in einen konsistenten Zustand verwandelt. Eine Reihe von Bedingungen wird abgeleitet, um zu garantieren, dass, wenn Transaktionen gleichzeitig verarbeitet werden, die Ergebnisse die gleichen sind, wie sie durch die serielle Verarbeitung der Transaktionen erhalten würden. Diese Bedingungen werden verwendet, um ein Sperrprotokoll in hierarchischen Datenbanksystemen zu etablieren. Das Sperrprotokoll erlaubt es Transaktionen, neue Sperren anzufordern, nachdem eine Sperre freigegeben wurde. Ein Datenelement kann jedoch höchstens einmal als Ergebnis jeder Transaktion gesperrt werden. Es wird gezeigt, dass das Protokoll Konsistenz gewährleistet und dass es frei von Deadlocks ist.
Silberschatz et al. (Tue,) haben diese Frage untersucht.