Ein Transaktionskonzept für die deduktive Objektbank ConceptBase

(Fehlerreduzierte Version)

Markus Baumeister
geb.: 11.6.1968
Matr. Nr.: 183688

Diplomarbeit am
Lehrstuhl für Informatik V
Prof. Dr. Matthias Jarke
RWTH--Aachen
Betreuer: Dipl.--Inform. Rainer Gallersdörfer
Aachen, Januar 1994

Ich möchte hiermit all denen danken, die mich bei der Erstellung dieser Diplomarbeit unterstützt haben:
Rainer Gallersdörfer und Herrn Professor Dr. Matthias Jarke für ihre Betreuung;
Kai von Thadden, Martin Staudt, Dr. Manfred Jeusfeld und Hans Nissen, dem ``harten Kern`` der ConceptBase --Entwickler, für ihre unbegrenzte Bereitschaft mich mit Antworten zu ConceptBase und deduktiven Datenbanken zu versorgen
sowie meinen Korrekturlesern Christina Roßmanith, Heike Wiegand--Baumeister und Kai v. Thadden für teilweise in Rekordzeit erarbeitete Verbesserungsvorschläge.

• Inhaltsverzeichnis
• 1 Einleitung
  • Einführung
  • 1.2 Aufgabenstellung
  • 1.3 Vorausgesetzte Begriffe
    • 1.3.1 Datenbanken
    • Betriebssysteme, Nebenläufige Programmierung
  • 1.4 Weiterer Aufbau
• 2 Grundlagen
  • 2.1 Deduktive Datenbanken
    • 2.1.1 Anfragen, Regeln
    • 2.1.2 Auswertungsstrategien
    • 2.1.3 Datenspeicherung
  • ConceptBase
    • 2.2.1 Anwendungsgebiet
    • 2.2.2 Objektorientiertheit
    • 2.2.3 Anfragen, Regeln
    • 2.2.4 Datenspeicherung
    • 2.2.5 Architektur
    • 2.2.6 Messungen
  • 2.3 Anforderungen an das Transaktionskonzept
• 3 Transaktionskonzepte
  • Klassische Systeme und Grundlagen
    • 3.1.1 Das ACID-Prinzip und die Serialisierbarkeit
    • 3.1.2 Isolationsgrade
    • 3.1.3 Optimistische und pessimistische Verfahren
    • Granularität
    • 3.1.5 Sperrverfahren
    • 3.1.6 Zeitstempelverfahren
    • 3.1.7 Sonstiges
  • 3.2 Fortgeschrittene Systeme
    • 3.2.1 Erweiterung der Serialisierbarkeit
    • 3.2.2 Verringerung der Isolation
    • 3.2.3 Sonstiges
  • 3.3 Deduktive Datenbanken und Transaktionen
    • Bedarf an Transaktionssystemen für deduktive DB
    • 3.3.2 Probleme deduktiver Transaktionskonzepte
  • ConceptBase und Transaktionen
    • 3.4.1 Designumgebungen und lange Transaktionen
    • Constraints und Integrität
    • Objektidentität und Konflikterkennung
  • Bewertung der vorgestellten Konzepte
• Das Transaktionssystem für ConceptBase
  • 4.1 Entwurf
    • 4.1.1 Serialisierbarkeit wiederaufgegriffen -- und fallengelassen
    • 4.1.2 Gruppen -- jedem die seine
    • 4.1.3 Konflikte -- erstmal finden
    • 4.1.4 Optimismus -- und wenn's schiefgeht?
    • Zugriffsbeschränkung -- Finger weg von meinen Objekten!
    • 4.1.6 Zusammenfassung
    • 4.1.7 Korrektheit
  • 4.2 Implementierung
    • 4.2.1 Grobarchitektur
    • Änderungen am Objektspeicher
    • Überblick über die Feinarchitektur
    • Schnittstelle zu ConceptBase
  • 4.3 Ergebnisse der Implementierung
    • 4.3.1 Probleme
    • 4.3.2 Nichtimplementierte Konzeptteile
    • 4.3.3 Messungen
    • Kontrolle der Anforderungserfüllung
• 5 Zusammenfassung
• Literaturverzeichnis
• Informationen