Realisierung von EPEX-F

Nachdem die Beschreibungsmittel der Darstellungsform für die Fakten festgelegt sind, geht es nun um ihre konkrete Umsetzung in geeignete Operatoren zur Verwaltung der Information. Die Datenverwaltung ist ein eigenständiger Problembereich vor allem wegen der Konsistenzbedingungen. Hier und im Rest dieses Kapitels bezieht sich Konsistenz stets auf die Gesetzmäßigkeiten von EPEX-F wie sie in Abschnitt 5.5 formuliert wurden, nicht etwa auf die Schema-Konsistenz im Sinne von Datenbanksystemen (siehe Kapitel 7). Es bleibt zu klären, wann die einzuhaltenden Bedingungen beim Füllen der Wissensbasis jeweils überprüft werden und wann konsistente Zustände garantiert sind. Dabei ist zu berücksichtigen, daß in einem System mit der in Kapitel 4 entworfenen Struktur unterschiedliche Phasen der Bearbeitung auftreten, die sich in unterschiedlichen Operatorenmengen niederschlagen.