Uni-Konstanz

Uni-Konstanz

Fachgruppe Informatik und Informationswissenschaft

 

information engineering

 

 

 

 

Transaktionssysteme -
Transactional Information Systems

(V2+Ü2)
Termin: Mo 12-14 h/D 436; Üb.: Mo 16-18 h/E 404

Doz.: Marc H. Scholl (V), André Seifert (Ü)

Adressaten:

Studierende des Information Engineering im Bachelor-Vertiefungsstudium/im Masterprogramm

Themengebiet(e): Grundlagen der Informatik / Informatik der Systeme


Voraussetzungen:

Grundverständnis für die Funktionsweise von komplexen Anwendungssystemen, sowie grundlegende Kenntnisse aus den Bereichen Datenstrukturen und Algorithmen sowie Methoden der Praktischen Informatik. Der vorherige Besuch der Veranstaltung Informationssysteme (Bachelor-Studiengang Information Engineering) ist empfehlenswert, wird aber nicht zwingend vorausgesetzt.

Angebot im Lehrexport:

Inhalt:

Transaktionssysteme sind eine Schlüsseltechnologie für verteilte Client-Server-Anwendungen. Sie gewährleisten, dass parallele Prozesse aus der Sicht des Anwenders und des Anwendungsprogrammierers atomar, persistent und untereinander isoliert sind. Diese generischen Systemdienste sind eine fundamentale Vereinfachung für die Entwicklung von mehrbenutzerfähigen und fehlertoleranten Anwendungen, bei denen es auf Datenkonsistenz und Verlässlichkeit ankommt. Aus diesem Grund sind Transaktionen eines der wichtigsten Konzepte in Datenbanksystemen, und Transaktionen finden auch im Bereich der Betriebssysteme und Programmiersprachen zunehmende Beachtung. Transaktionstechnologie ist darüber hinaus auch einer der Eckpfeiler moderner Internet-Anwendungen wie Electronic-Commerce oder Workflow-Management.

Die Vorlesung behandelt sowohl theoretische Grundlagen als auch Implementierungstechniken für leistungsfähige Protokolle der "Concurrency-Control'' (Synchronisation paralleler Transaktionen) und der "Recovery'' (Fehlerbehandlung) in zentralisierten und verteilten Systemen.

Literatur:

Die Veranstaltung orientiert sich an dem Buch "Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery" von Gerhard Weikum und Gottfried Vossen, Morgan Kaufmann Publishers, 2001. Weitere Literaturhinweise werden in der Veranstaltung bekannt gegeben.

Leistungsnachweis:

Abschließende Klausur oder mündliche Prüfung (nach Absprache mit den Teilnehmern) am Semesterende.

Leistungspunkte:

Es können bei aktiver Teilnahme an der Vorlesung und den Übungen sowie Bestehen der abschließenden Prüfung 6 Punkte erworben werden.

Weiterführende Informationen zu dieser Veranstaltung



Letzte Änderung am 15.05.2002, Dagmar Michels