ГОСТ Р МЭК 61360-2-2013 Стандартные типы элементов данных с ассоциированной схемой классификации электрических компонентов. Часть 2. Словарная схема EXPRESS

     7.6 Определение правил стандартной схемы ограничений класса ISO13584_IEC61360_class_constraint_schema

7.6.1 Общие положения

Данный подраздел определяет правила стандартной схемы ограничений класса ISO13584_IEC61360_class_constraint_schema.

7.6.2 Уникальный идентификатор ограничения (Unique_constraint_id)

Правило unique_constraint_id подтверждает, что два идентификатора ограничения constraint_identifier, ассоциированные с двумя различными ограничениями, имеют различные значения.

Пример представления на языке EXPRESS:

*)

RULE unique_constraint_id FOR (constraint);

WHERE

QUERY (c1 <* constraint |

SIZEOF (QUERY (c2 <* constraint |

cl.constraint id=c2.constraint id))>1)= [];

END_RULE; -- unique_constraint_id

(*

*)

END SCHEMA; -- ISO13584_IEC61360_class_constraint_schema

(*