ГОСТ Р ИСО 10303-41—2022
EXPRESS-спеииФикаиия:
(day_component + (7 * (week_component - 1))) <= 366
WR2: leap_year(SELF\date.year_component) OR { 1<=
+ (7 * (week_component -1))) <= 365 };
END_ENTITY;
*)
ENTITY week_of_year_and_day_date
SUBTYPE OF (date);
week_component :week_in__year_number;
day_component :OPTIONAL day__in_week_number;
WHERE
WR1:NOT(leap_year(SELF\date.year_component)) OR
1
<=
} ;
(day_component
(*
Определения атрибутов:
week_component — сеставляющая часть даты, задающая порядковый номер недели;
day_component — составляющая часть даты, задающая порядковый номер дня недели.
Формальные положения:
WR1. Результат выражения day_component + (7 * week_component) должен находиться в интер
вале от 1 до 366, если заданный атрибутом year_component год является високосным;
WR2. Результат выражения day_component + (7 * week_component) должен находиться в интер
вале от 1 до 365, если заданный атрибутом year_component год не является високосным.
10.4.20 Объект year_month
Объект year_month является таким подтипом представляющего дату объекта date, который пред
ставляет дату как месяц года.
EXPRESS-спеииФикаиия:
*)
ENTITY year_month
SUBTYPE OF (date);
month_component :month_in_year_number;
END_ENTITY
(* "
Определение атрибута:
month_component — составляющая часть даты, задающая месяц.
10.5 Определения функций схемы date_time_schema
10.5.1 Функция acyclic_event_occurrence_relationship
Функция acyclic_event_occurrence_relationship определяет, содержит ли образованный экзем
плярами представляющих наступление события объектов event_occurrence граф, содержащий в каче
стве одного из ребер объект event_occurrence_relationship, играющий роль аргумента relation, цепоч
ку ссылок, образующую цикл. Настоящая функция может использоваться для обработки графа, ребра
которого образованы объектами event_occurrence_relationship или любыми подтипами этого объекта.
Функция возвращает значение TRUE (истина), если не было обнаружено циклов, в противном
случае функция возвращает значение FALSE (ложь).
Примечания
1 Алгоритм функции приведен в Е.2 (приложение Е).
2 Данная функция не используется в настоящей схеме. Определение функции приведено потому, что в дру
гих объединенных ресурсах стандартов серии ИСО 10303 и в прикладных протоколах, в которых используется
представляющий отношение между наступлениями событий объект event_occurrence_relationship, используется
правило, обращающееся к настоящей функции.
EXPRESS-спеииФикаиия:
*)
FUNCTION acyclic_event_occurrence_relationship (relation :
event_occurrence_relationship; relatives : SET[1:?] OF
event_occurrence; specific_relation :STRING) :BOOLEAN;
62