Defaults in deduktiven Datenbanken

186 LITERATURVERZEICHNISGegenstand dieses Buches sind Spezifikation und Überwachung von Integritätsbedingungenin temporaler Logik. Insbesondere wird gezeigt, wiediese Integritätsbedingungen in Transaktionspezifikationen hineintransformiertwerden können, um so eine effiziente Überwachung zu ermöglichen(140 Seiten).[Llo87] J. W. Lloyd: Foundations of Logic Programming, 2nd edition. Springer-Verlag, Berlin, 1987.[LNP + 89][LT84]Dies ist das klassische Lehrbuch zu den theoretischen Grundlagen von Prolog,also der SLDNF-Resolventenmethode und der CDB-Semantik der Negation.In dieser neuen Auflage werden auch stratifizierte Klauselmengen, Regeln mitallgemeinen Formeln im Rumpf und typisierte Regeln besprochen (212 Seiten).E. Lambrichts, P. Nees, J. Paredaens, P. Peelman, L. Tanca: Integrationof functions in the fixpoint semantics of rule-based systems. InJ. Demetrovics, B. Thalheim (eds.), Second Symposium on MathematicalFundamentals of Database Systems (MFDBS’89), 301–316, LNCS 364,Springer-Verlag, Berlin, 1989.In dieser Arbeit wird eine Erweiterung von Datalog um (nicht-generierende)Funktionen und komplexe Objekte vorgestellt. Die Funktionen werden wieRelationen mit einer funktionalen Abhängigkeit behandelt. Es wird ein Algorithmuszur Konsistenzprüfung im nicht-rekursiven Fall angegeben (16 Seiten).J. W. Lloyd, R. W. Topor: Making prolog more expressive. The Journalof Logic Programming 1 (1984), 225–240.In dieser Arbeit wurde gezeigt, wie man allgemeine Formeln im Rumpf vonProlog-Regeln in normale Prolog-Regeln übersetzten kann (16 Seiten).[LU92] G. Lausen, H. Uphoff: Nicht-monotone vererbung in f-logik. In U. W.Lipeck, R. Manthey (eds.), Kurzfassungen des 4. GI-Workshops “Grundlagenvon Datenbanken”, 105–109, ECRC technical report 92-13, 1992.[̷Luk90][LV91]In dieser Arbeit wird die Vererbung logischer Formeln auf der Grundlage desAnsatzes aus [KLW90] untersucht. Es wird vorgeschlagen, das Programm umzuschreiben,und im wesentlichem jeden Faktum noch die Klasse mitzugeben,aus der diese Information stammt. Dann kann unter gewissen Einschränkungeneine Regel der folgenden Art verwendet werden: “wenn aus der Klasse Cdie Information I stammt, und aus keiner tieferliegenden Klasse eine widersprechendeInformation ableitbar ist, dann gilt I”. Es werden auch Überlegungenzu “ISA-Stratifizierungen” angestellt (5 Seiten).W. ̷Lukaszewics: Non-Monotonic Reasoning. Ellis Horwood, Chichester,1990.Eine Monographie über nichtmonotones Schließen, das mit großer Vollständigkeitalle vorgeschlagenen Formalismen abhandelt (328 Seiten).E. Laenens, D. Vermeir: On the relationship between well-founded andstable partial models. In B. Thalheim, J. Demetrovics, H.-D. Ger-