Skip to end of metadata
Go to start of metadata

The platform currently supports four types of simple constraints: consequence, exception, equality, and definiteness. For all simple constraints, an automatic resolution mechanism is supported. When this is enabled, instead of throwing an error the platform itself restores system integrity.


ConsequenceExceptionEqualityDefiniteness
Number of properties22...N21
DescriptionIf the value of one property (the premise) is non-NULL, the value of the second property (the consequence) must also be non-NULLOnly one of the values of the specified properties must be non-NULLIf the value of one property is non-NULL and the value of the second property is non-NULL, they must be equalIf all property parameters match specified classes, a non-NULL value must be specified for them
Instruction=>Not yet implementedNot yet implementedNONULL option when defining properties
Auto-resolution

Two modes are supported:

  • LEFT - if the premise changes to non-NULL, change the * consequence to non-NULL
  • RIGHT - if the consequence changes to NULL, change the premise to NULL
If one of the properties changes to non-NULL, change the rest to NULLIf one of the properties changes to a non-NULL value, change the second to the same value

AGGR - if a property value changes to NULL, delete objects corresponding to the parameters

DEFAULT value - if objects whose classes match the parameters classes are added/reclassified, change the property value for these objects to the default value.

* A change to NULL/non-NULL is the following:

  • For data properties - input NULL or the default value for this property value class.
  • For membership to a class - deleting an object \\ adding an object of a class for which belonging to the class is checked.
  • For an aggregation constraint - (only if changing to non-NULL) create an object of the base class (System.Object), change to non-NULL conditions of the aggregation constraint, write the values of the corresponding parameters to all grouping values.

Just as for a basic constraint, for each simple constraint, a base event must be defined, which determines when the specified constraint will be checked. 

Note that the definiteness constraint is a special case of the consequence, in which the consequence is a property that must be defined, and the premise is its signature (a property obtained from it using the corresponding operator).

There is also an implicit fifth kind of simple constraint, uniqueness, but it is combined with an aggregation operator (which returns this most unique value), and therefore it is not considered here. Together with consequences, this type of constraint allows to implement the aggregation mechanism. 

Examples

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
 is(Sku s) = s IS Sku;
// the product must have a barcode and name specified
is(Sku s) => barcode(s);
is(Sku s) => name(s);
 

CLASS Invoice;
CLASS InvoiceLine;
invoice = DATA Invoice (InvoiceLine);
is(InvoiceLine l) = l IS InvoiceLine; 
// for a document line, a document must be specified, and when deleting a document, the lines of this document should be deleted
is(InvoiceLine l) => invoice(l) RESOLVE RIGHT;
// is equivalent to declaring document = DATA Invoice (InvoiceLine) NONULL DELETE;
  
// aggregation for f(a, b) create an object of class x, whose property a(x) equals a, and property b(x) equals b
CLASS A;
CLASS B;
f = DATA BOOLEAN (A, B);

CLASS X;
a = DATA A(X);
b = DATA B(X);
is (X x) = x IS X;

f(a,b) => [ GROUP AGGR X x WHERE x IS X BY a(x), b(x)](a,b) RESOLVE LEFT;
is(X x) => f(a(x), b(x)) RESOLVE RIGHT;

  • No labels