|
ENTITY Time_interval_assignment; assigned_time_interval : Time_interval; role : Time_interval_role; items : SET [1:?] OF time_interval_item; END_ENTITY; -- Time_interval_assignment |
Entity data types and their attributesTime_interval_assignmentassigned_time_interval: Time_interval; role: Time_interval_role; items: SET [1:?] OF time_interval_item; |
Global rules for this entity data type- |