|
ENTITY ordinal_date SUBTYPE OF (date); day_component : day_in_year_number; WHERE WR1: (NOT leap_year(SELF.year_component) AND { 1 <= day_component <= 365 }) OR (leap_year(SELF.year_component) AND { 1 <= day_component <= 366 }); END_ENTITY; -- ordinal_date |
Entity data types and their attributesdateyear_component: year_number; ordinal_date day_component: day_in_year_number; |
Global rules for this entity data type- |