Data Types and Representations
This explains the concept possible representation, abbreviated possrep, and explains how these can be used in conjunction with constraints to define types.
Example: A Type Definition
TYPE SID POSSREP SID {C CHAR
CONSTRAINT LENGTH(C) <= 5
AND
STARTS_WITH(C, 'S')
AND
IS_DIGITS (SUBSTRING(C, 1)))
} ;