Overview Schemas Index

set_theory_schema         


ENTITY complement;
          id : identifier;
          name : label;
          description : OPTIONAL text;
          set_1 : class;
          set_2 : class;
          universe : class;
WHERE
          complement_different: NOT identical_sets(set_1, set_2);
END_ENTITY; -- complement

Entity data types and their attributes

complement
          id: identifier;
          name: label;
          (OPT) description: text;
          set_1: class;
          set_2: class;
          universe: class;

Users: by entity attributes

complement

Users: by defined types, not used by any entity attribute

complement
          -

Global rules for this entity data type

          -