Options
1990
Report
Titel
ProCrux - Realisierung von Crux Constraints in 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.
Verlagsort
Darmstadt