🚀 go-pugleaf

From: "Markus P.J. Fromherz" <fromherz@ifi.unizh.ch>
To: mod-ki@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: fromherz@ifi.unizh.ch
   Universitaet Zuerich-Irchel
   Winterthurerstrasse 190
   CH-8057 Zuerich
************************************************************************