ГОСТ Р ИСО 10303-41—2022
description :OPTIONAL text;
relating_qualification_type :qualification_type;
related_qualification_type :qualification_type;
END_ENTITY;
(*
Определения атрибутов:
id — представленное строковым типом данных identifier обозначение, позволяющее отличить
представленное объектом qualification_type_relationship отношение между типами квалификаций;
name — представленное строковым типом данных label наименование представленного объек
том qualification_type_relationship отношения между типами квалификаций;
description — представленный строковым типом данных text текст, характеризующий представ
ленное объектом qualification_type_relationship отношение между типами квалификаций. Присваи
вать этому атрибуту значение не обязательно;
relating_qualification_type — один из участвующих в отношении объектов qualification_type,
представляющих тип квалификации.
Примечание — Определение смысла настоящего атрибута может содержаться или в EXPRESS-схемах
с примечаниями, в которых используется настоящий объект или его подтипы, или на основе соглашения об общем
понимании между партнерами, совместно использующими эту информацию;
related_qualification_type — другой участвующий в отношении экземпляр представляющего тип
квалификации объекта qualification_type. Если один из типов квалификации зависит от другого, роль
настоящего атрибута должен играть объект, представляющий зависимый тип квалификации.
Примечание — Определение смысла настоящего атрибута может содержаться или в EXPRESS-схемах
с примечаниями, в которых используется настоящий объект или его подтипы, или на основе соглашения об общем
понимании между партнерами, совместно использующими эту информацию.
24.4Определения функций схемы qualifications_schema
24.4.1 Функция acyclic_qualification_relationship
Функция acyclic_qualification_relationship определяет, содержит ли образованный экземпля
рами представляющих квалификации объектов qualification граф, содержащий в качестве одного из
ребер объект qualification_relationship, играющий роль параметра relation, цепочку ссылок, образую
щую цикл. Настоящая функция может использоваться для обработки графа, ребра которого образова
ны объектами qualification_relationship или любыми подтипами этого объекта.
Функция возвращает значение TRUE (истина), если не было обнаружено циклов, в противном
случае функция возвращает значение FALSE (ложь).
Примечания
1 Алгоритм функции приведен в Е.2 (приложение Е).
2 Данная функция не используется в настоящей схеме. Определение функции приведено потому, что в дру
гих объединенных ресурсах стандартов серии ИСО 10303 и в прикладных протоколах, в которых используется
представляющий отношение между квалификациями объектов объект qualification_relationship, используется
правило, обращающееся к настоящей функции.
EXPRESS-специФикация:
*)
FUNCTION acyclic_qualification_relationship (relation :
qualification_relationship; relatives : SET[0:?] OF qualification;
specific_relation : STRING) :BOOLEAN;
LOCAL
x :SET OF qualification_relationship;
END_LOCAL;
IF relation.relating_qualification IN relatives THEN
RETURN (FALSE);
END_IF;
x := QUERY(qual <*
bag_to_set(USEDIN(relation.relating_qualification,
265