Datenbanktheorie

1. Arbeiten zur Datenbanksemantik
   • Verallgemeinerungen von funktionalen Abhängigkeiten für den nutzerfreundlichen Datenbankentwurf; Schlüssel und Nullwerte
   • Komplexitätstheorie in Datenbanken (Anzahl von Schlüsseln bei bestimmten Einschränkungen, Armstrong-Relationen und ihre Komplexität)
   • Join-Abhängigkeiten und ihre Axiomatisierung:
   • Axiomatisierungen von mehrwertigen Abhängigkeiten und Verallgemeinerungen
   • Beziehungen zwischen Semantik von Datenbanken, universellen Algebren und Logik; Systematisierung der Theorie der Abhängigkeiten; Abhängigkeiten und relationale Operationen
   • Deduktive Normalformen (Reduktionen von Relationen und Datenbanken unter Benutzung von Integritätsbedingungen); Normalisierungstheorie und Algorithmen
   • Anwendungen der Datenbank-Theorie für den effizienten relationalen Entwurf
   • Anwendungen der relationalen Theorie für andere Modelle (Schlüssel, Kompliziertheit, Integritätsbedingungen, objekt-orientierte Datenbankmodelle)
2. Arbeiten zum Entity-Relationship-Modell
   • Weiterentwicklung des Entity-Relationship-Modelles für den Datenbankentwurf, der eine integrierte strukturelle, funktionale und semantische Modellierung einschließlich einer Modellierung von Interfaces erlaubt
     
   • Anreicherung des Entity-Relationship-Modelles um
     • Konstruktoren für eine genestete Typen
     • Relationship-Typen beliebiger Ordnung
     • Statische und dynamische Integritätsbedingungen
     • Operationen
     • Sichten
     • Dialoge und Schnittstellen
   • Entwicklung einer allgemeinen Transformationstheorie für ER-Modelle
   • Entwicklung von Datenbankentwurfsmethodologien (Design by units, Codesign)
3. Arbeiten zu objekt-orientierten und aktiven Datenbankmodellen
   • Grundlagen von semantischen Datenbank-Modellen und Objekt-Orientierung in Datenbanken
   • Integritätsbedingungen in semantischen Modellen
   • Generische Operationen in objekt-orientierten Modellen
   • Trigger
4. Identifikationsmechanismen in verschiedenen Datenbankmodellen

Hauptarbeiten

• Buch zu Integritätsbedingungen, Normalformen etc. des relationalen Modells: Dependencies in Relational Databases, Teubner, Leipzig, 1991, ISBN 3-8154-2020-2
• Buch zur Theorie der Entity-Relationship-Modells: Fundamentals of Entity-Relationship Modeling, Springer, Heidelberg, 1999
• Übersichtsartikel: An Overview on Semantical Constraints for Database Models
• Zur Komplexität: The Average Length of Keys and Functional Dependencies in (Random) Databases (siehe auch: Oleg Seleznev, Janos Demetrovics, Guyla Katona)
• Zu OO-Modellen: Fundamental Concepts of Object Oriented Databases
  (siehe auch: Klaus-Dieter Schewe)
• Zur Identifikation: Identification as a Primitive of Database Models. (siehe auch: Catriel Beeri)
• Zu aktiven Datenbanken: Achieving Consistency in Active Databases
  (siehe auch: Klaus-Dieter Schewe)

Zurück zur Anfangsseite von B. Thalheim, der Forschungsseite, der Seite zur Lehre oder zu den Projekten.