Overview Schemas Index

classification_schema         

ENTITY complete_membership
          SUBTYPE OF (classification_assignment);
DERIVE
          containing_set : class := SELF\classification_assignment.assigned_class;
END_ENTITY; -- complete_membership

Entity data types and their attributes

classification_assignment
          assigned_class: group;
          role: classification_role;
complete_membership
          (DER) containing_set: class;

Known subtypes

          complete_membership_of_empty_set (classification_schema)
          complete_membership_of_non_empty_set (classification_schema)

Users: by entity attributes

classification_assignment
complete_membership

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

complete_membership
          -

Global rules for this entity data type

          -