coordinated_universal_time_offset
EXPRESS specification:
ENTITY
coordinated_universal_time_offset;
hour_offset
:
hour_in_day
;
minute_offset
:
OPTIONAL
minute_in_hour
;
sense
:
ahead_or_behind
;
DERIVE
actual_minute_offset
:
INTEGER
:= NVL(minute_offset,0);
WHERE
WRC23
:
{ 0 <= hour_offset < 24 };
WRC24
:
{ 0 <= actual_minute_offset <= 59 };
WRC25
:
NOT (((hour_offset <> 0) OR (actual_minute_offset <>0)) AND (sense = exact));
END_ENTITY
;
References (2):
Name
Type
Referred through
Express-G
local_time
Entity
Attribute 'zone'
No Diagram
select_generic_item
Select
Select relation
No Diagram
Inheritance graph
ENTITY
coordinated_universal_time_offset;
ENTITY
coordinated_universal_time_offset
;
hour_offset
:
hour_in_day
;
minute_offset
:
OPTIONAL
minute_in_hour
;
sense
:
ahead_or_behind
;
DERIVE
actual_minute_offset
:
INTEGER
:= NVL(minute_offset,0);
END_ENTITY
;