Defaults in deduktiven Datenbanken

176 LITERATURVERZEICHNIS[BG89][BH86]A. B. Baker, M. L. Ginsberg: A theorem prover for prioritized circumscription.In Proc. 11th International Joint Conf. on Artificial Intelligence(IJCAI), 463–467, 1989.Diese Arbeit enthält einen Vorschlag für einen Beweiser, der Defaults mitPrioritätsstufen berücksichtigt. Interessant ist auch der Vergleich mit zweiKontrahenten, die sich auf jeder Prioritätsstufe widersprechende Argumentepräsentieren. Der wesentliche Unterschied zu dem hier vorgeschlagenen topdownBeweiser ist die mehrphasige Vorgehensweise, die die Anwendbarkeitder Defaults erst ganz zum Schluß prüft (5 Seiten).N. Bidoit, R. Hull: Positivism vs. minimalism in deductive databases. InProc. of the 5th ACM Symp. on Principles of Database Systems (PODS’86),123–132, 1986.In diesem Artikel wird versucht, Clark’s CDB und die minimalen Modellezu integrieren, um eine Semantik für disjunktive Regeln zu haben. Besondershilfreich ist aber vor allem die Idee der kausalen Modelle, die äquivalent zurCDB sind, aber viel übersichtlicher (10 Seiten).[BL89] S. Brass, U. W. Lipeck: Specifying closed world assumptions for logicdatabases. In J. Demetrovics, B. Thalheim (eds.), 2nd Symposiumon Mathematical Fundamentals of Database Systems (MFDBS’89), 68–84,LNCS 364, Springer-Verlag, Berlin, 1989.[BL91]In dieser Arbeit wird die parametrisierte CWA definiert, modelltheoretischcharakterisiert, und gezeigt, wie sich die verschiedenen Varianten der CWA indiesem Rahmen repräsentieren lassen (17 Seiten).S. Brass, U. W. Lipeck: Semantics of inheritance in logical object specifications.In C. Delobel, M. Kifer, Y. Masunaga (eds.), Deductive andObject-Oriented Databases, 2nd Int. Conf. (DOOD’91), 411–430, LNCS 566,Springer-Verlag, Berlin, 1991.Diese Arbeit enthält einen Vorschlag für die Semantik objekt-orientierterSpezifikationen mit abgeleiteten Attributen, die über Regeln definiert werden.Das Überschreiben ererbter Regeln wird dabei mit hierarchischen Defaultsdefiniert. Es wird hier insbesondere auch die Lokalitätsforderung objektorientierterSpezifikationen berücksichtigt (20 Seiten).[BL92] S. Brass, U. W. Lipeck: Generalized bottom-up query evaluation.In Advances in Database Technology — EDBT’92, 3rd Int. Conf., 88–103,LNCS 580, Springer-Verlag, 1992.In dieser Arbeit wird der ”Bottom-Up“ Ansatz zur Anfrage-Auswertung aufallgemeine Klauseln und allgemeine Defaults erweitert. Zur Darstellung disjunktiverInformation werden dabei NF 2 -Relationen benutzt (16 Seiten).[BN77] E. Bergmann, H. Noll: Mathematische Logik mit Informatik-Anwendungen.Heidelberger Taschenbücher 187. Springer-Verlag, Berlin, 1977.Ein ausführliches Lehrbuch über die Prädikatenlogik, mit einem Kapitel überautomatisches Beweisen (324 Seiten).