Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

ProCrux - Realisierung von Crux Constraints in Prolog

 
: Jung, V.; Köhler, D.
: Fraunhofer-Arbeitsgruppe für Graphische Datenverarbeitung -AGD-, Darmstadt

Darmstadt, 1990
Deutsch
Technischer Bericht
Fraunhofer IGD ()
consistency; constraint modeling; database system; Prolog

Abstract
The task of this paper is the description of the Prolog-oriented Constraint Modeler ProCrux. In addition to objects, types, and relationships im terms of database entities, CAD applications can use ProCrux to model restrictions and consistency constraints on their data. Constraints defined as Prolog predicates are handled with operations for activation/deactivation and checking of such user-defined constraints. The concepts are based on the Crux consistency mechanism. Das vorliegende Papier beschreibt die Prolog-orientierte Modellierung von Constraints mit ProCrux. Zusätzlich zu Objekten, Typen und Beziehungen als Datenbankeinheiten, können CAD-Anwendungen mit ProCrux Konsistenzbedingungen auf den Daten modellieren. Die als Prolog-Prädikate definierten Constraints können mittels Operatoren aktiviert oder deaktiviert sowie ausgeführt bzw. geprüft werden. Die Konzepte basieren auf dem Crux Konsistenzmechanismus.

: http://publica.fraunhofer.de/dokumente/PX-55015.html