ГОСТ Р 56271-2014
П р и м е р — Утверждение CardinalityMin(2:*, 2, *Cardinality), с нижней границей кардинального чис
ла равной 2 и неограниченной верхней границей иллюстрируется нижеследующей диаграммой.
*
* Cardinality
tfTEOER
hftalllntman
Cardmalty
hw iicK irrm
CanflrmIKy
CardlnaJKy
INTEGER
Рисунок 36 — Пример шаблона CardinalityMinMax
7.5.15 Шаблоны назначения кардинального числа
Шаблоны CardinalityEndIMin. CardinalityEndIMax. CardinalityEndIMinMax. CardinalityEndIMin. Car-
dinalityEndlMax и CardinalityEndlMinMax указывают ограничения кардинальных чисел для зависимо
стей.
CardinalityEnd1MinMax{a, Ь) означает, что а — это зависимость. Ъ и с — целые, первая роль а
имеет Ь как минимальное кардинальное число, с — как максимальное кардинальное число. Другие
шаблоны настоящей группы имеют тот же паттерн.
CardinalityEnd1Min
Тип роли
№
Название роли
1Отношение
ClassOfRelationship
2
Минимальное кардинальное числоINTEGER
CardinalityEnd1Max
№
Название роли
1 Отношение
Тип роли
ClassOfRelationship
2
Максимальное кардинальное числоINTEGER
CardinalityEnd1MinMax
№
Название роли
1 Отношение
Тип роли
ClassOfRelationship
2
Минимальное кардинальное число
3
Максимальное кардинальное число
INTEGER
INTEGER
CardinalityEnd2Min
Тип роли
№
Название роли
1Отношение
ClassOfRelationship
2
Минимальное кардинальное числоINTEGER
CardinalityEnd1Max
Из
Название роли
1Отношение
2
Максимальное кардинальное число
Тип роли
ClassOfRelationship
INTEGER
CardinalityEnd1MinMax
№
Название роли
1 Отношение
Тип роли
ClassOfRelationship
2
Минимальное кардинальное число
3
Максимальное кардинальное число
INTEGER
INTEGER
CardinalityEnd)Min(xv x2)-*
ClassOfRelationshipfx^A
INTEGER(
x
2)
a
3u(CardinalityMin(u. x2)AhasEnd1Cardinality(x,, u))
CardinalityEnd)Max(x^, x2)-+
ClassOfRclationshipfx^A
INTEGER(
x
,)
a
3u{CardinalityMax(u. x2)AhasEnd1 C ardinality^, и))
CardinalityEnd1MinMax(xv x2, x3)«->
ClassOfRclationship(x,)A
37