Persistente Objektsysteme

Inhaltsverzeichnis

• 1 Einführung und Motivation.
• 1.1 Anforderungen an persistente Objektsysteme.
• 1.2 Ansätze zur Verbesserung der Qualität persistenter Objektsysteme.
• 2 Sprachen und Systeme zur Programmierung persistenter Objektsysteme.
• 2.1 Datenbankprogrammierung: Sprachen und Konzepte.
• 2.2 Programmierumgebungen für persistente Objektsysteme.
• 3 Tycoon: Ein Modell- und Systemüberblick.
• 3.1 Das Tycoon System und seine Komponenten.
• 3.2 Zur sprachlichen Ausgestaltung der Sprache Tl.
• 3.3 Das Tycoon Programmierszenario.
• 4 Ein Sprachkern zur generischen Benennung, Bindung und Typisierung.
• 4.1 Lexikalische und syntaktische Regeln.
• 4.2 Benennung und Typisierung vordefinierter Werte und Funktionen.
• 4.3 Benennung, Bindung und Typisierung benutzerdefinierter Werte.
• 4.4 Vordefinierte Wertkonstruktoren und Wertselektoren.
• 4.5 Typkompatibilität und Subtypbeziehungen.
• 4.6 Benennung, Bindung und Metatypisierung benutzerdefinierter Typen.
• 5 Generische Programmierung persistenter Objektsysteme.
• 5.1 Imperative Programmierung.
• 5.2 Objekt-orientierte Programmierung.
• 5.3 Logikbasierte Programmierung.
• 5.4 Programmierung im Großen.
• 6 Definition der statischen Tl Sprachsemantik.
• 6.1 Zur Formalisierung der Tl Sprachdefinition.
• 6.2 Konsistenzbedingungen auf Tl Programmen.
• 6.3 Normalisierung von Tl Programmen.
• 6.4 Die abstrakte Syntax für Tl.
• 6.5 Überblick über die verwendeten Notationen.
• 6.6 Ausgewählte Beispiele und Diskussion der Tl Typregeln.
• 6.7 Sichtbarkeitsregeln in de Bruijn Notation.
• 6.8 Ein Algorithmus zur Typüberprüfung.
• 7 Eine portable untypisierte Zwischensprache.
• 7.1 Überblick über das Tml Maschinenmodell.
• 7.2 Syntaktische Objekte in Tml.
• 7.3 Semantische Objekte und Objektspeicherstrukturen.
• 7.4 Strukturelle operationale Semantik von Tml.
• 7.5Transformation von Tl Termen in Tml Terme.
• 7.6 Eine portable Abstrakte Maschine für Tml.
• 7.7 Übersetzung von Tml Termen in Maschinenkode.
• 8 Eine modellunabhängige Objektspeicherschnittstelle.
• 8.1 Portable Datenrepräsentation.
• 8.2 Portable Programmrepräsentation.
• 8.3 Interaktion zwischen Tml Evaluatoren und dem Objekt Speicher.
• 9 Innovative Tycoon Bibliotheksabstraktionen.
• 9.1 Iterationsabstraktion über generalisierte Massendaten.
• 9.2 Transaktionale Datenbankprogrammierung.
• 9.3 Direkte graphische Manipulation komplexer Objekte.
• 9.4 Eine strikt typisierte generische SQL Schnittstelle.
• 9.5 Benutzerdefinierte Grammatiken.
• 9.6 Implementierung der Tycoon Sprachprozessoren.
• A Die Programmiersprache Tl.
• A.1 Syntaktische Konventionen.
• A.2 Symbole.
• A.3 Reservierte Schlüsselworte.
• A.4 Produktionen.
• A.5 Die TL Typregeln.
• B Ausgewählte Schnittstellen der Tycoon Standardbibliothek.
• C Die Tycoon Maschine.
• C.1 Datenrepräsentation (Modul “data”).
• C.2 Programmrepräsentation (Modul “code”).
• C.3 Objektspeicherschnittstelle (Modul “störe”).
• C.4 Evaluatoren und Evaluationszustände (Modul “thread”).