<mod-ki 0814> Prolog Forum 18.12.91

Thread View: dnet.mod-ki

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Hans-Werner Hein Thu, 12 Dec 1991 13:39

#87

Author: Hans-Werner Hein
Date: Thu, 12 Dec 1991 13:39

47 lines
2784 bytes

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
************************************************************************

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads