Defaults in deduktiven Datenbanken

Kapitel 7AusblickZiel dieser Arbeit war es, die Semantik von Defaults zu klären und die algorithmischenGrundlagen für die Anfrage-Auswertung unter Berücksichtigung von Defaults zu legen.Damit sollte ein sauberes und tragfähiges Fundament für die Erweiterung deduktiverDatenbanken um allgemeine Klauseln und Defaults gelegt werden.In diesem Kapitel sollen nun Perspektiven für die weitere Arbeit aufgezeigt werden.DynamikDer Inhalt einer Datenbank ist üblicherweise ständigen Änderungen unterworfen. Wenndiese Änderungsoperationen nicht vorbereitet sind, also im Extremfall mit einem Texteditoreinfach die Formelmenge geändert wird, dann ist das einerseits unbequem undandererseits gefährlich für die Integrität der Datenbank: Es kann ja leicht passieren, daßder Datenbankzustand durch einen Eingabefehler sinnlos wird.Natürlich könnte man Programme in einer höheren Programmiersprache schreiben, diediese Änderungen kontrolliert vornehmen. Das hat aber den Nachteil, daß die Semantikdieser Programme schwer formal zu behandeln ist, so daß der einfache deklarative Rahmendeduktiver Datenbanken verlassen wird.Besser ist es, diese Änderungsoperationen stattdessen in geeigneten Logiken zu spezifizieren,etwa dynamischer oder temporaler Logik. Ein solcher Ansatz wurde auch imIS-CORE Projekt gewählt [SS91, ESS92]. Ziel dieses Projektes ist es, den Entwurf vonbeweisbar korrekten Informationssystemen zu ermöglichen und die Wiederverwendbarkeitvon Spezifikationen zu unterstützen. Dabei wurde ein objekt-orientierter Ansatz gewählt,wobei die Objekte über gemeinsame Ereignisse kommunizieren.In Abschnitt 3.3 wurde schon motiviert, daß bei der Semantik von ÄnderungsoperationenDefaults eine zentrale Rolle spielen. Es bleibt hier aber noch viel zu untersuchen.Zunächst sind die Ergebnisse dieser Arbeit auf solche allgemeineren Logiken zu übertragen,und dann auch das Zusammenspiel der verschiedenen Arten von Defaults zu klären(etwa zeitliche Defaults und solche, die die Vererbung beschreiben).Außerdem sind natürlich auch die Antwortalgorithmen entsprechend zu erweitern.167