ГОСТ 1»ИСО/МЭК 8824-2-2001
Value Optional)tySpec?
ValueOptionalitySpec : : = OPTIONAL | DEFAULT Value
Имя патя есть «valuefieldreference*. Конструкция «Туре» спеиифиинрует тип значения, содер
жащегося в поле. Продукция «ValueOptionalitySpec*, если присутствует, специфицирует, что значе
ние может быть опущено и определении информационного объекта или, в случае «DEFAULT», это
опускание порождает последующее значение «Value», которое должно быть того же самого типа.
Присутствие ключевого слова «UNIQUE* специфицирует, что это поле является полем идентифи
катора. Если присутствует ключевое слово, то продукция «ValueOptionalitySpec* не должна быть
альтернативой «DEFAULT Value».
9.7 Когда полю идентификатора присваивается значение, то требуется, чтобы это значение
было недвусмысленным в определенном множестве информационных объектов.
9.8 Продукция «VariableTypcValueFieldSpec* определяет, что поле является полем значения
переменного-типа (см. 3.4.18).
VariableTypeValueFieldSpec : : =
valuefieldreference
FieldName
ValueOptionalitySpec?
Имя поля есть «valuefieldreference*. Продукиия «FieldName* (см. 9.14). которая относится к
определяемому классу, должна быть полем типа; поле типа, которое либо находится в том же
информационном объекте как поле значения, либо связывается цепочкой полей объектов, ссылки на
которые появляются в «FieldName», должно содержать тип значения. (Все поля связи, ссылки на
которые появляются в «FieldName», должны быть палями объектов). Продукция «ValueOptiona
litySpec», если присутствует, специфицирует, что значение может быть опущено в определении
информационного объекта или, в случае «DEFAULT*, это опускание порождает последующее
значение «Value*. Продукция «ValueOptionalitySpec* должна быть такой, что:
а) если поле типа, обозначенное «FieldName», имеет продукцию *TypeOptionalit\Spec» «OP
TIONAL*, то «ValueOptionalitySpec* должна также быть «OPTIONAL», и
б) если продукция «ValueOptionalitySpec» есть «DEFAULT Value», то поле типа, обозначенное
«FieldName*, должно иметь продукцию «TvpeOptionalitySpec* «DEFAULT Туре», и значение «Value*
должно быть значением этого типа.
9.9 Продукция «FixedTypeValueSetFieldSpec* определяет, что поле является палем множества
значений фиксированного-типа (см. 3.4.19);
FixedTypeValueSetFieldSpec :: =
val uesetfield referenee
Type
ValueSetOptionalitySpec?
ValueSetOptionalitySpec : : = OPTIONAL | DEFAULT ValueSet
Примечание —Продукиия «ValueSet* определяется в ГОСТ Р ИСО/МЭК 8824-1. 15.4. 15.5 и позво
ляет явно перечислить (в фигурных скобках) множество значений или использовать ссылку «typereference» для
подтипа «Туре».
Имя патя есть «valuesetfieldreference*. Конструкция «Туре* специфицирует тип значений,
содержащихся в пале. Продукция «ValueSetOptionalitySpec*. если присутствует, указывает, что поле
в определении информационного объекта может быть неспецифииированным или, в случае «DE
FAULT», это опускание порождает последующее множество значений «ValueSet*. которое датжно
быть подтипом этого типа.
9.10 Продукиия «VariableTypeValueSetFieldSpec* определяет, что поле является полем множе
ства значений переменного-типа (см. 3.4.19).
VariableTypeValueSet FieldSpec :: =
valuesetfieldreference
FieldName
ValueSetOptionalitySpec?
Имя поля есть «valuesetfieldreference*. Продукция «FieldName* (см. 9.14), которая относится к
определяемому классу, должна быть полем типа; поле типа, которое либо находится в том же
информационном объекте как пате множества значений, либо связывается цепочкой полей объек тов.
ссылки на которые появляются в «FeidlName», должно содержать тип значений. (Все поля связи,
ссылки на которые появляются в «FieldName», должны быть полями объектов). Продукция «Value
SetOptionalitySpec», если присутствует, специфицирует, что множество значений может быть опу-
7