ГОСТ Р ИСО/МЭК 8824-3-2002
Пример
В примере раздела 10 первая продукция «AtNotation» в компоненте errorlnfo («@errorCategory») иллюстрирует случай а), тогда как вторая («@.errorCategory») — случай б).
10.11 Компонент, в котором используется эта нотация, является указывающим компонентом, а компоненты, идентифицированные «AtNotation», являются указываемыми компонентами.
10.12 Множество объектов «ObjectSet» (см. 10.3) или «DefinedObjectSet» (см. 10.7) является ограничивающим множеством, а ассоциированная таблица, полученная из него (как определено в ГОСТ Р ИСО/МЭК 8824-2, раздел 13), является ограничивающей таблицей.
10.13 Ограничение связи компонента может быть применено только к типу АСН. 1, которое текстуально содержится в типе «Type» (ограниченный тип), содержащем текстуально все указываемые компоненты. Ограниченный тип, по определению, должен быть самым внутренним «Type», который удовлетворяет приведенному выше условию.
Пример
В примере раздела 10 ограниченный тип есть ErrorReturn.
Примечание — В некоторых отношениях можно рассматривать применение этого ограничения как использование значений указываемых компонентов для идентификации строки в ограничивающей таблице, а затем — использование значения соответствующего столбца для ограничения указывающего компонента. С этой точки зрения сами указываемые компоненты не могут рассматриваться как ограниченные.
Однако описанный ниже подход несколько иной. В нем ограничение рассматривается как действие над всеми возможными значениями ограниченного типа (которые, как объяснено выше, не являются значениями указывающего компонента) и выбор некоторых из этих значений в качестве удовлетворяющих ограничению. Этот подход позволяет рассматривать значения ограниченного типа, которые не содержат значения ни указывающего компонента, ни одного или нескольких указываемых компонентов (так как они являются факультативными или находятся внутри выборочных), и значения ограниченного типа, в которых один из указываемых компонентов имеет значение, не соответствующее ни одной строке в ограничивающей таблице.
10.14 Указывающий и все указываемые компоненты должны быть типов «ObjectClass-FieldType», относящимися к одному и тому же классу. Множество ограничений должно быть множеством информационных объектов этого класса. Указываемые компоненты должны быть полями значения или полями множества значений, ограниченные тем же самым множеством объектов, что и указывающий компонент.
Пример
В примере раздела 10 тип «ObjectClassFieldType» — это весь класс ERROR-CLASS, так как он является ограничивающим множеством, которое есть множество ErrorSet.
10.15 В следующих разделах определяется множество значений ограниченного типа, которое удовлетворяет этому ограничению.
10.16 Если указывающий компонент отсутствует в значении ограниченного типа, то значение всегда удовлетворяет ограничению.
Пример
В примере раздела 10, если отсутствует компонент «errors», то ограничения на ошибки удовлетворяются.
10.17 Если любой указываемый компонент отсутствует в значении ограниченного типа, то значение удовлетворяет ограничению только в том случае, если указывающий компонент также отсутствует, и в этом случае ограничение всегда удовлетворяется.
10.18 Если указывающий и все указываемые компоненты присутствуют, то ограничение удовлетворяется только в том случае, если в ограничивающей таблице существует одна или несколько выборочных строк, таких, что для каждой выборочной строки:
а) каждый указываемый компонент, который является полем значения, имеет значение, являющееся таковым для соответствующего столбца выборочной строки;
б) каждый указываемый компонент, который является полем множества значений, имеет значение, которое является одним из таковых в множестве значений соответствующего столбца выборочной строки.
10.19 Ограничение удовлетворяется тогда и только тогда, когда указывающий компонент удовлетворяет простому табличному ограничению (как определено выше), полученному применением таблицы, содержащей только выборочные строки для указывающего компонента.
6