Defaults in deduktiven Datenbanken
Defaults in deduktiven Datenbanken
Defaults in deduktiven Datenbanken
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
LITERATURVERZEICHNIS 183legung e<strong>in</strong>er beliebigen Klauselmenge <strong>in</strong> mehrere Hornklauselmengen. Allerd<strong>in</strong>gsist der Algorithmus im allgeme<strong>in</strong>en unvollständig (15 Seiten).[GPP86] M. Gelfond, H. Przymus<strong>in</strong>ska, T. Przymus<strong>in</strong>ski: The extended closedworld assumption and its relationship to parallel circumscription. InProc. of the Fifth ACM SIGACT-SIGMOD Symp. on Pr<strong>in</strong>ciples of DatabaseSyst. (PODS’86), 133–139, 1986.In dieser Arbeit wird e<strong>in</strong>e Variante der CWA e<strong>in</strong>geführt, die unter der Annahmevon UNA und DCA der Variablen-Circumscription entspricht (7 Seiten).[Gre69] C. C. Green: Theorem-prov<strong>in</strong>g by resolution as a basis for questionanswer<strong>in</strong>gsystems. In B. Meltzer, D. Michie (eds.), Mach<strong>in</strong>e Intelligence,volume 4, 183–205. Ed<strong>in</strong>burgh University Press, 1969.[GZC89][HK89][HM87]In dieser Arbeit wird erklärt, wie man aus e<strong>in</strong>em Resolutionsbeweis Antwortenextrahieren kann. Insbesondere wird auch der Begriff der disjunktiven Antworte<strong>in</strong>geführt (23 Seiten).R. H. Güt<strong>in</strong>g, R. Zicari, D. M. Choy: An algebra for structured officedocuments. acm Transactions on Information Systems 7:2 (1989), 123–157.In dieser Arbeit wird e<strong>in</strong>e Algebra zur Manipulation genesteter Listen vonTupeln def<strong>in</strong>iert. Auch die Bedeutung von Nullwerten wird untersucht (35 Seiten).D. Hofbauer, R.-D. Kutsche: Grundlagen des masch<strong>in</strong>ellen Beweisens.Vieweg, Braunschweig, 1989.Besondere Merkmale dieses Lehrbuchs über automatisches Beweisen s<strong>in</strong>d, daßes versucht, etwas Ordnung <strong>in</strong> die zahlreichen Möglichkeiten zur Verbesserungder Resolventenmethode zu br<strong>in</strong>gen, daß es auch nicht-Resolventenverfahrenkurz skizziert, und daß es e<strong>in</strong>en längeren Abschnitt über Termersetzungenthält. Allerd<strong>in</strong>gs wird für e<strong>in</strong>ige Beweise auf [CL73] verwiesen (172 Seiten).S. Hanks, D. McDermott: Nonmonotonic logic and temporal projection.Artificial Intelligence 33 (1987), 379–412.Dies ist die klassische Arbeit über das ”Yale shoot<strong>in</strong>g problem“ im Zusammenhangmit m<strong>in</strong>imalen Änderungen bei Zustandsfolgen. In der Arbeit werdenauch e<strong>in</strong>e ganze Reihe von Lösungsvorschlägen unterschiedlicher Autorenbesprochen (34 Seiten).[HPRV89] G. Hul<strong>in</strong>, A. Pirotte, D. Roelants, M. Vauclair: Logic and databases.In A. Thayse (ed.), From Modal Logic to Deductive Databases —Introduc<strong>in</strong>g a Logic Based Approach to Artificial Intelligence, volume 2, 279–350. Wiley, 1989.In dieser Arbeit wird die modelltheoretische und die beweistheoretische Sichtfür relationale <strong>Datenbanken</strong>, Hornklauseldatenbanken, <strong>Datenbanken</strong> mit Negationund mit unvollständiger Information erläutert (72 Seiten).[HS90] A. Heuer, P. Sander: Semantics and evaluation of rules over complexobjects. In W. Kim, J.-M. Nicolas, S. Nishio (eds.), Deductive and Object-