<mod-ki 0814> Prolog Forum 18.12.91
Hans-Werner Hein
To: mod...@unido.Germany.EU.net
Date: Tue, 10 Dec 1991 14:53:38 +0100
Subject: <mod-ki 0814> Prolog Forum 18.12.91
Keywords: Vortraege
mod-ki message 0814
************************************************************************
Prolog Forum UNI/ETH Zurich WS 1991/92
Wednesday, Dec. 18, 1991, 12.30 at room 21-G-74 (below the mensa)
University of Zuerich-Irchel, Winterthurerstr. 190
Ulrich Geske
Institut fuer KI im ZKI, Berlin
Optimierung der Kopplung von Prolog mit Datenbanksystemen
Die Abarbeitung von Prolog-Programmen, die Fakten verwenden, die in
Datenbanksystemen gespeichert sind, kann durch den Kommunikationsaufwand
erheblich verzoegert werden. Es werden einige Optimierungsmoeglichkeiten
untersucht.
Bei einem on-line recordweisen Zugriff auf die Daten ergibt die
Verschmelzung von Unifikation und Einlesen einen wesentlichen
Effizienzgewinn. Durch Offline-Programmtransformation koennen
Zusammenfassungen von DB-Aufrufen vorgenommen werden. Voraussetzung ist
eine Programmanalyse zur Ermittlung der Beweispfade eines
Prolog-Programms, um eine Zerlegung in Basiskonjunktionen von
DB-Relationen vornehmen zu koennen. Spezielle Klassen von sequentiellen,
iterativen und rekursiven Prozeduren sind dadurch zu optimieren.
Die Verbindung von Prolog und einer Datenbank kann als "deduktive
Datenbank" angesehen werden, da Sichten auf Fakten durch beliebig
komplexe Regeln dargestellt werden koennen. Damit ist es auch moeglich,
Konsistenzpruefungen und Zugriffsschutzueberwachungen auf einem
logisch-deklarativen Niveau zu beschreiben.
For more information:
Markus Fromherz Tel.: +41-1-257 4313 / 4311
Institut fuer Informatik E-Mail: from...@ifi.unizh.ch
Universitaet Zuerich-Irchel
Winterthurerstrasse 190
CH-8057 Zuerich
************************************************************************