Defaults in deduktiven Datenbanken

184 LITERATURVERZEICHNIS[IL84]Oriented Databases, First International Conference, 1989, 473–492, North-Holland, 1990.In dieser Arbeit wird eine regelbasierte Sprache zur Formulierung von Anfrageneine Datenbank mit komplexen Objekten eingeführt. Für die Auswertungwird eine Übersetzung in verschiedene Algebren vorgeschlagen (20 Seiten).T. Imielinski, W. Lipski: Incomplete information in relational databases.Journal of the ACM 31 (1984), 761–791.Diese Arbeit enthält einen Vorschlag für die Semantik von Nullwerten in relationalenDatenbanken. In [Kle91] wird eine Korrektur angegeben (31 Seiten).[KL89] M. Kifer, G. Lausen: F-logic: A higher-order language for reasoningabout objects, inheritance, and scheme. In J. Clifford, B. Lindsay,D. Maier (eds.), Proceedings of the 1989 ACM SIGMOD International Conferenceon the Management of Data, 134–146, 1989.[Kle91][KLM90][KLW90]Die F-Logik ist ein Vorschlag zur Integration von Logik und Objekt-Orientierung. Ein besonderes Merkmal ist, daß nicht zwischen Klassen und Instanzenunterschieden wird, sondern nur eine Verbandsstruktur benutzt wird,die den Informationsgehalt ausdrückt (13 Seiten).H.-J. Klein: Bemerkungen zur korrekten Auswertung von Anfragen an relationaleDatenbanken mit partiellen Relationen. In M. H. Scholl (ed.),Grundlagen von Datenbanken Kurzfassungen des 3. GI-Workshops, 52–56,1991. Erschienen als Bericht 158 des Departement Informatik der ETHZürich.In dieser Arbeit wird ein Fehler in der relationalen Algebra von [IL84] fürRelationen mit Nullwerten aufgedeckt und korrigiert (5 Seiten).S. Kraus, D. Lehmann, M. Magidor: Nonmonotonic reasoning, preferentialmodels and cumulative logics. Artificial Intelligence 44 (1990), 167–207.In dieser Arbeit wird versucht, nichtmonotone Logiken von einem ganzabstrakten Ausgangspunkt zu untersuchen. Insbesondere enthält diese Arbeitauch eine Charakterisierung der Logiken, die sich über minimale Modellebeschreiben lassen. Diese Charakterisierung stimmt aber nicht mit derin [Bra90a] überein, denn hier wird auch der Modellbegriff als Parameter angesehen,während in [Bra90a] die Prädikatenlogik zugrunde gelegt wird (41 Seiten).M. Kifer, G. Lausen, J. Wu: Logical foundations of object-oriented andframe-based languages. Technical report, SUNY at Stony Brook / UniversiätMannheim, 1990.Dieser Forschungsbericht beschreibt eine neue Version der objekt-orientiertenF-Logik, die sich von der aus [KL89] deutlich unterscheidet. Insbesonderewird jetzt auch die nichtmonotone Vererbung betrachtet. Die Semantik derVererbung ist auch deutlich verschieden von der in [BL91] vorgeschlagenen.Im wesentlichen werden hier Werte vererbt und nicht Formeln (84 Seiten).