Forschungsbericht 1999-2000 | |
Institut für Informatik
Einsteinstrasse 62 48149 Münster Tel. (0251) 83-33796/32700 Fax: (0251) 83-33755 e-mail: ifi-sekretariat@math.uni-muenster.de WWW: http://www.uni-muenster.de/Informatik Direktoren: Prof. Dres. Achim Clausing, Klaus Hinrichs, Herbert Kuchen, Wolfram-M. Lippe (geschf.) Gottfried Vossen, Guido Wirtz | |
Forschungsschwerpunkte 1999 - 2000
Fachbereich 10 - Mathematik und Informatik Institut für Informatik Prof. Dr. Gottfried Vossen | ||||
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:
Veröffentlichungen: |
||||
Hans-Joachim Peter