Datenbankunterstützung für Expertensysteme

Expertensysteme mit einer grossen Wissensbasis sind auf die Unterstützung von Datenbanksystemen angewiesen. Datenbanksysteme stellen jedoch nur begrenzte Möglichkeiten zur Wissensrepräsentation zur Verfügung, insbesondere ist es nicht möglich, rekursive Regeln zu definieren, welche auf der Basis von vorhandenen Daten (= Relationen im relationalen Datenbankmodell) definiert sind. In der Terminologie von PROLOG bedeutet dies, dass Datenbanksysteme zwar eine Verwaltung von Facts, nicht jedoch von Rules erlauben. Der Abstand zwischen konventionellen Datenbanksystemen und den Erfordernissen von wissensbasierten Systemen erscheint also zu gross. In dieser Arbeit wird daher eine Erweiterung einer auf dem Relationenmodell basierenden Datenbanksprache vorgestellt, die es erlaubt, Regeln auf der Basis von Relationen zu definieren. Diese Regeln können auch rekursiv sein, daher bietet der neu vorgestellte Regelmechanismus ähnliche Möglichkeiten wie PROLOG, er ist jedoch mengenorientiert und erlaubt effizientere Implementierungsmöglichkeiten. Darüberhinaus werden Nachteile von PROLOG, wie z.B. endlose Rekursionen, vermieden.