ГОСТ Р 56271-2014
С(х)зЗу(/?(х.у)лО(/))(1)
С(х)з Vy(/?(x.y)^D(y))(2)
По формуле (1) каждому С поставлен в соответствие с помощью R, по крайней мере, один класс
D: (2) если С ставится в соответствие с помощью R, то оно ставится в соответствие D.
Экзистенциальные ограничения указывают, что экземпляры данного класса необходимы для
формирования некоторого минимального числа отношений. В соответствии с ИСО 15926 они выража
ются как ограничения кардинального числа для зависимостей. В приложении к примеру на рисунке 17
паттерн (pattern) представления ограничения (1) «один ко многим» (для направления зависимости сле ва-
направо) можот иметь вид как показано на рисунке 19. Ограничение на максимальное количество
поставленных в соответствие экземпляров может также быть выполнено с помощью кардинальных
чисел, как показано на рисунке 20, где ограничение кардинального числа составляет 1 :1 («ровно 1»).
Универсальные ограничения не могут быть выражены с помощью ограничений кардинального числа.
ИСО 15926-2 не предоставляет для указанных ограничений необходимых примитивов. В настоящем
стандарте используется общепринятое соглашение о дополнительных выразительных средствах для
элементов справочных данных EndlUniversalRestriction и End2UniversalRestriction. Они нужны для
классификации специализаций зависимостей, при этом один элемент нужен для каждого направления
отношения ClassOfRelationship (см. рисунок 21). Зависимости, к которым применяются универсаль
ные ограничения, обычно являются подзависимостями обобщенных зависимостей. Для представления
универсального ограничения специализация Specialization зависимости классифицируется сама как
ограничение End2UniversalRestriction. Конструкция интерпретируется в соответствии с нижеследую
щим соглашением (для EndlUniversalRestriction соответственно):
если специализация Specialization S. действующая из R в R’, где С — это область R\ классифи
цирована с помощью ограничения End2UniversalRostriction. то каждая пара величин (х. у) в R. для
которой выполняется С^х). является членом R’. (3)
Паттерн (pattern) представления классификации для специализации зависимости с помощью
ограничения End2UniversalRestriction представлена на рисунке 22. В соответствии с настоящим стан
дартом классификация показывает, что ограничение (4) выполняется.
C’(x)z>Vy{R(x,y)z>D’(y)),(4)
1
*
- Ш И .JS O O B L
( М п АCankuritty
С
Eftd2Car£mHjr
М иРп*
1р «м
Вииги*ог
Рисунок 19— Экзистенциальное ограничение: допустимая наружная температура
П р и м е р — Пример паттерна (формы представлении) приведен на рисунке 23, где подзависи
мость (без имени) между типом двигатели Туре N Engine и диапазоном Temperature представлена как
Specialization дли обобщенного отношении Permitted Ambient Temperature2. Классифицирование сущно
сти какуниверсальной означает, что каждое назначение допустимой наружной температуры Permitted
Ambient Temperature дли Type N Engine ограничивает свойства в диапазоне Temperature от 0 до 70 гра
дусов Цельсии.
2 См. ИСО 15926-2. 5.2.27.6. о представлении диапазона свойств как подкласса размерности свойств.
25