Thema: ANSI SQL Isolation Level – Kritische - HSR-Wiki

MSc in Engineering (MSE)
SWSY_SEM_DBS (Seminar Datenbanksysteme)
Thema: ANSI SQL Isolation Level – Kritische Betrachtung und formale Neudefinition
Einleitung
Für die Beschreibung der Isolation Level von Datenbanksystemen werden typischerweise die ANSI SQL
Isolation Level (siehe [1]) verwendet. Beispielsweise auch in der Beschreibung der Transaktionsisolation von
postgreSQL 9.2 [2].
Wie nun aber das Paper A Critique of ANSI SQL Isolation Levels [3] ausführt, ist die Definition der Isolation
Level gemäss ANSI SQL unklar definiert. Gleichzeitig wird eine formal Definition der Isolation Level vorgestellt,
basierend auf formalen Definitionen der den Isolation Levels zugrunde liegenden Phänomene wie Dirty Read,
Phantom Read und Non-Repetable Read. Daneben wird ein neuer Isolation Level, Cursor Stability,
vorgeschlagen.
Paper [3] beschreibt die Isolation Level und die damit verbundenen Elemente formal, und damit knapp und
präzise. Das hohe Abstraktionsniveau erschwert aber teilweise die Nachvollziehbarkeit. Ein Runterbrechen der
Resultate in eine weniger formelle und mit praktischen SQL-DML-Anweisungen durchsetzte Form scheint
sinnvoll.
Ziel
1.
2.
Theorie. Die Resultate des Papers sollen in einfacher Form zusammengefasst werden. Dabei sollen die
Resultate durch konkrete SQL-DML-Beispiele illustriert werden.
Praxis. Beispielhaft soll die Datenbank postgreSQL auf ihr konkretes Verhalten bezüglich der Isolation
Level untersucht werden. Konkret stellt sich die Frage, ob sich postgreSQL an die Isolation Level nach
ANSI oder an die in [3] vorgestellten formalen Definitionen hält.
Quelle
[1] Digital Equipment Corpoeration, “Database Language SQL (Proposed revised text of DIS 9075).” [Online].
Verfügbar: http://www.contrib.andrew.cmu.edu/~shadow/sql/sql1992.txt. [Zuletzt besucht: 05.Sep.2013]
[2] “PostgreSQL: Documentation: 9.2: Transaction Isolation.” [Online]. Verfügbar:
http://www.postgresql.org/docs/9.2/static/transaction-iso.html. [Zuletzt besucht: 05.Sep.2013]
[3] J. G. U. Berkeley, “A Critique of ANSI SQL Isolation Levels” [Online]. Verfügbar:
http://131.107.65.14/pubs/69541/tr-95-51.doc. [Zuletzt besucht: 05.Sep.2013]
Thema.docx
Martin Studer, 05.09.2013
Seite 1 von 1