1.Previous
3.Next

example describes that area_unit entity must have square value oflength. For this the attribute dimensions.length_exponent must be equal to 2 and all other exponents of basic SI units must be 0.

Another example: TYPE day_in_week_number = INTEGER; WHERE WR1: (1 <= SELF) AND (SELF <= 7); END_TYPE; -- day_in_week_numberThat is, it means that week value cannot exceed 7.

And so, you can describe some rules to your entities. More details on the given examples can

1.Previous
3.Next