🚀 go-pugleaf

From: fromherz@ifi.unizh.ch (Markus P.J. Fromherz)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: 25 Jan 91 12:08 +0100
Subject: <mod-ki 0630> Prolog Forum 7.2.91
Keywords: Vortraege

mod-ki message 0630
************************************************************************
                             Prolog Forum
                             ------------

   Thursday, Feb. 7, 1991, 12.30 at room 21-G-74 (below the mensa)
   Institut fuer Informatik, University of Zuerich-Irchel

                            Beat Wuethrich
                             ETH Zuerich

          KONSISTENZ IN TEMPORALEN DEDUKTIVEN DATENBANKEN

Eine deduktive Datenbank besteht aus einer Menge von Regeln und  Fakten,
sowie einer Menge von Konsistenzbedingungen. Ausgehend von diesem Modell
wird eine Erweiterung von deducktiven Datenbanken vorgeschlagen, um auch
zeitliche  Sachverhalte  darstellen  zu  koennen.   Mit   Hilfe   dieser
Erweiterung   ist    es    moeglich,    Abfragen    zu    stellen    und
Konsistenzbedingungen zu definieren,  die  beliebig  viele  verschiedene
Zeitpunkte   ansprechen.   Es   werden   Datenmanipulationsbefehle   zur
Realisierung  des  erweiterten  Modells   einer   deduktiven   Datenbank
vorgestellt.

Im zweiten Teil wird dann auf die  Problematik  der  Erfuellbarkeit  der
Konsistenzbedingungen   eingegangen.   Es   wird   gezeigt,  dass    die
Moeglichkeit besteht, Konsistenzbedingungen zu formulieren, die von  der
Gegenwart aus nicht mehr zu erfuellen sind. Zur Loesung dieses  Problems
wird  vorgeschlagen,  die  moeglichen  Konsistenzbedingungen  auf   eine
spezielle Form zu beschraenken.

Zuletzt  vergleichen  wir  das  vorgestellte  erweiterte  Modell   einer
deduktiven Datenbank mit  einigen  anderen  Ansaetzen  zur  Modellierung
zeitlicher Aspekte in (deduktiven) Datenbanken.

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