Defaults in deduktiven Datenbanken

190 LITERATURVERZEICHNIS[Rei84]In dieser Arbeit wurde die Default-Logik eingeführt. Für normale Defaultswird auch ein erster Ansatz für einen Antwortalgorithmus angegeben (allerdingsmit der leichtgläubigen Sichtweise) (52 Seiten).R. Reiter: Towards a logical reconstruction of relational database theory.In M. L. Brodie, J. Mylopoulos, J. W. Schmidt (eds.), On ConceptualModelling, 191–238, Springer-Verlag, Berlin, 1984.In dieser Arbeit wird der beweistheoretische Ansatz für relationale Datenbankenausgearbeitet (im Unterschied zum üblichen modelltheoretischen Ansatz).Dabei werden insbesondere auch Nullwerte betrachtet (48 Seiten).[Rei85] M. Reinfrank: An introduction to non-monotonic reasoning. TechnicalReport MEMO-SEKI-85-02, Informatik, Universität Kaiserslautern, 1985.[Rei88][Rei92][RT88][Rya91][Sch87]In diesem Bericht wird ein Überblick über verschiedene Formalismen des nichtmononotonenSchließens gegeben, es werden aber insbesondere auch die Anwendungenin der künstlichen Intelligenz beschrieben (127 Seiten).R. Reiter: What should a database know? In Proc. of the Seventh ACMSIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems(PODS’88), 302–304, 1988.In dieser Zusammenfassung seines eingeladenen Vortrags argumentiert Reiter,daß Anfragen an Datenbanken und Integritätsbedingungen in einer epistemischenLogik formuliert werden sollten (3 Seiten).R. Reiter: On formalizing database updates — preliminary report. In Advancesin Database Technology — EDBT’92, 3rd Int. Conf., 10–20, LNCS 580,Springer-Verlag, 1992.In diesem eingeladenen Vortrag schlägt Reiter eine Formalisierung vonDatenbank-Änderungen in der Logik erster Stufe vor, bei der die Extensionenaller Relationen explizit durch die Extension im vorausgegangenen Zustanddefiniert werden. Dies ist zwar nur für deterministische Transaktionen möglich,erspart aber Defaults und ähnliche Mechanismen zur Lösung des ”frame problem“(11 Seiten).K. A. Ross, R. W. Topor: Inferring negative information from disjunctivedatabases. Journal of Automated Reasoning 4 (1988), 397–424.Diese Arbeit enthält einen Vorschlag für die Semantik der Negation bei logischenProgrammen mit Disjunktionen (28 Seiten).M. Ryan: Defaults and revision in structured theories. In Proceedings of theIEEE Symposium on Logic in Computer Science (LICS’91), 362–373, 1991.In dieser Arbeit wird die Semantik von partiell geordneten Defaults definiert,wobei die ”natural consequences“ als Ausprägungs-Mechanismus besondersinteressant sind (12 Seiten).U. Schöning: Logik für Informatiker. Reihe Informatik 56. BI, Mannheim,1987.