Synchronisation in Transaktionssystemen
(Synchronisationsaspekte bei Datenbanktransaktionen)

Die Behandlung von Deadlocks und Fehlersituationen in verteilten Systemen im Allgemeinen und im Kontext von Datenbanktransaktionen im Besonderen ist ein seit langem intensiv untersuchtes Problem, für das sich viele der in der Literatur vorgeschlagenen Algorithmen im Nachhinein als fehlerhaft erwiesen haben. Als einen Grund für diese Situation hat man unangemessene Modellbildung und fehlende Verifikationswerkzeuge erkannt. Daher versuchen wir in diesem Projekt einerseits, auf der Basis des sogenannten OR-Modells für verteilte Deadlocks Erkennungsalgorithmen zu entwickeln und diese mit Lynchschen I/O-Automaten zu verifizieren. Andererseits entwickeln wir auf der Basis von Herbrand-Semantiken eine vereinheitlichende Theorie, die es erlaubt, die üblicherweise getrennt behandelten Aspekte Concurrency Control und Recovery von Datenbanktransaktionen in einem gemeinsamen formalen Rahmen zu untersuchen.

Beteiligte Wissenschaftler:

Dipl.-Inform. J. Lechtenbörger, Prof. Dr. G. Vossen, Dr. J. Villadangos (Pamplona)

Veröffentlichungen:

Villadangos, J., F. Farina, J.R. Gonzales de Mendivil, J.R. Garitagoitia, J.M. Bernabeu-Auban, G. Vossen: Resolving Distributed Deadlocks in the OR Request Model; Proc. 18th IEEE Symposium on Reliable Distributed Systems 1999, Lausanne, pp. 288-289; ausführliche Fassung erschienen als Bericht Nr. 8/99-I, Schriften zur gewandten Mathematik und Informatik, Universität Münster, April 1999

Lechtenbörger, J., G. Vossen: On Herbrand Semantics and Conflict Serializability of Read-Write Transactions; Proc. 19th Annual ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) 2000, Dallas, TX, pp. 187-194, 2000