<arg1> <operator> <arg2>

Logische Ausdrücke ohne vorangestelltes Set werden verwendet, um zu prüfen, ob der dargestellte logische Ausdruck wahr sein kann, wobei alle be­reits bestehenden Datenelement-Beziehungen berücksichtigt werden:

arg1 op arg2 01

Die Verarbeitung und Ana­lyse dieser logischen Ausdrücke funktioniert wie folgt:

Möglichkeit 1

WENN

aus den intern gespei­cherten Informationen – direkt oder indirekt – eine be­reits bestehende Beziehung zwischen <arg1> und <arg2> abgeleitet werden kann

DANN

wird geprüft, ob die über den <operator> ausgedrückte Beziehung zwischen <arg1> und <arg2> wahr sein kann

UND

die Verarbeitung wird, je nach Ergebnis der Prüfung, entweder als "erfolg­reich" oder als "gescheitert" bewertet

Möglichkeit 2

WENN

<arg1> und/oder <arg2> noch nicht existieren

ODER WENN

zwischen <arg1> und <arg2> keine direkte oder indirekte Beziehung besteht

DANN

kann die über den <operator> ausgedrückte Beziehung zwischen <arg1> und <arg2> grundsätzlich wahr sein

UND

die über <operator> definierte Beziehung zwischen <arg1> und <arg2> wird neu in die Liste aller aktuell bestehenden Beziehungen aufgenommen

UND

die Verarbeitung wird als "erfolg­reich" bewertet

Indirekte Beziehungen

Sind zum Beispiel die beiden Beziehungen A < B und B < C in Anweisungen direkt ange­ge­ben worden, dann kann daraus auch indirekt die Beziehung A < C abgeleitet werden.