Dings_Predicate_Has_Constraint

I am a Dings_Type_Relation_Predicate, that attaches a Dings_Constraint to a Constraint-Target.

Description

My Form is:

• Has_Constraint

The is a Dings_Constraint.

About

I have the following Argument-Positions:

• Target
• Constraint

Constraint-Target

The is one of:

• a Predicate
• a Field-Slot (T,N), that is defined by a Has_Field Triple:
  • <T> <a href="300043007.html">Has_Field</a> ["N"](<F>)
  • The Field-Slot is (T,N).

Meaning

If the is a Predicate P, the Constraint applies to all stored Dings_Triples with Predicate P.

If the is a Field-Slot (T,N), the Constraint applies to the Field-Value of all stored Dings-Instances X of Type T with Field_Name N.

Result

All stored Dings_Triples in the All-Dings-System satisfy all attached Constraints.