ГОСТ Р ИСО 13584-42—2012
Пример представления на языке EXPRESS:
*)
ENTITY string_pattem_constrainl
SUBTYPE OF (domain_constraint);
pattern: STRING;
END_ENTITY: — string_pattem_conslraint
(’
Определения атрибутов:
pattern; шаблон значений строки, допустимых в качестве значений свойства, идентифицированного атрибу
том constrained_property.
Дополнительное пояснение к тексту программы:
IP1: синтаксисшаблона pattern должен удовлетворять требованиям синтаксиса регулярных выражений язы
ка XML и ассоциированных алгоритмов сравнения, определенных Схемой XML Часть 2; «Рекомендованные типы
данных».
Пример — Шаблон Схемы XML «[0—9]{4}\-[0—9]{2}\-[0—9]{2}» соответствует выражению языка
структурированных запросов SQL *[0—9][0—9][0—9)[0—9]-[0—9][0—9]-[0—9][0—9]». Он допускает срав
нение строк типа *2009-05-31».
F.5.2.15 Cardinality_constraint
Сущность cardinality_constraint ограничивает кардинальное число комплексного типа данных.
П р и м е ч а н и е 1 — Результирующий диапазон значений кардинального числа — это пересечение уже
существующих диапазонов значений кардинального числа и диапазона, определенного атрибутом cardinality_
constraint.
П р и м е ч а н и е 2 — Ограничения cardinality_constraint недопустимы для типа данных array_type.
Пример представления на языке EXPRESS:
*)
ENTITY cardir>ality_constraint
SUBTYPE OF (domain_constraint);
bound_1: OPTIONAL INTEGER;
bound_2: OPTIONAL INTEGER:
WHERE
VYR1: (bound_1 >= 0) AND (bound_2 >= bound_1);
END_ENTITY; — cardinality_constrainl
C
Определения атрибутов:
bound_1: нижняя граница кардинального числа.
bound_2: верхняя граница кардинального числа.
П р и м е ч а н и е 3 — Если граница bound_1 не задана, то минимальное кардинальное число равно 0.
Если граница bound_2 не задана, то максимальное кардинальное число не ограничено.
Пояснения к тексту программы:
WR1: атрибуты bound_1 и bound_2 задают корректные границы.
F.5.3Определения типа стандартной схемы ограничений класса ISO13584_IEC61360_class_constraint_
schema
Данный подраздел определяет типы стандартной схемы ограничений класса ISO13584_IEC61360_class_
constraint_schema.
F.5.3.1Ограничение и идентификатор ограничения (Constraint_or_constraint_id)
Сущность constraint_or_constraint_id задает либо само ограничение constraint, либо идентификатор огра
ничения constraintjdentifier.
Пример представления на языке EXPRESS:
*)
TYPE constraint_or_constraintJd =
SELECT (constraint, constraintjdentifier);
END_TYPE: — constraint_or_const/aint_id
(*
F.5.4 Определения функций стандартной схемы ограничений класса ISO13584JEC61360_class_
constraint_schema
Данный подразделопределяет функции стандартнойсхемы ограничений класса ISO13584_IEC61360_class_
constraint_schema.
F.5.4.1Функция определения целого значения вдиапазоне (lnteger_valuejn_range)
Функция integer_valuejn_range вычисляет целое значение, принадлежащее диапазону целых значений,
определенному своей нижней границей и своей верхней границей. Если границыдиапазона не определены, то зна
чение функции также не определено.
137