ГОСТ Р ИСО 10303-22-2002
END ENTITY;
С
Определения атрибутов
domain - тип данных результата вычисления значения атрибута;
redcclaring —переопределяемый атрибут (при его наличии).
6.4.15 О б ъ е к т explicit_attrihute
Объект explicit_attribute является атрибутом, область значения которого явно определена. Мо
жет переопределять явный атрибут (см. 9.2.3.4 ГОСТ Р ИСО 10303-11).
EXPRESS-cnennd)HKauH4
*)
ENTITY explicit_attribute
SUBTYPE OF (attribute);
domain: base_type;
redeclaring: OPTIONAL explicit attribute:
optionalJlag: BOOLEAN;
END ENTITY;
C
Определения атрибутов
domain —тип данных, на который ссылается атрибут;
redeclaring — переопределяемый атрибут (при его наличии);
optional_flag - булевское значение, соответствующее TRUE, если атрибут объявлен необяза
тельным (OPTIONAL), и FALSE, если атрибут не объявлен как необязательный.
6.4.16 О б ъ е к т inverse_attribute
Объект inverse_attribute является атрибутом, охватывающим обратные связи отношений, уста
новленных объектом explicit_attribute. могущим накладывать на них ограничения и представляться
как инверсный (INVERSE) атрибут языка EXPRESS. Может переопределять инверсный атрибут (см.
9.2.3.4 ГОСТ Р ИСО 10303-11). Инверсный атрибут может представляться простым типом объекта
или типами SET или BAG. Тип объекта для inverse_attributc называется текущим типом объекта, а
тип объекта для e.\plicit_attribute - типом ссылочного объекта (см. 9.2.1.3 ГОСТ Р ИСО 10303-11).
EXPRESS-cnenmbHKauiia
*>
ENTITY inverse_attribute
SUBTYPE OF (attribute);
domain: entity_definition;
redeclaring: OPTIONAL inverse_attribute;
inverted_attr: explicit_attribute;
min_cardinality : OPTIONAL bound;
max.cardinality: OPTIONAL bound:
duplicates: BOOLEAN;
END_ENTITY;
C
Определения атрибутов
domain - тип ссылочного объекта, определяющий прямое отношение; источник отношения;
redcclaring — переопределяемый атрибут (при его наличии);
inverted_attr —атрибут в типе ссылочного объекта, связь которого инвертируется;
min_cardinality —минимальное число ссылок (при их наличии) из инвертируемого атрибута в
экземпляры типа ссылочного объекта, когда инверсный атрибут представлен операторами BAG
или SET. При отсутствии данного атрибута инверсный атрибут представляется единственным типом
данных объекта, а не операторами BAG или SET;
max_cardinality —максимальное число ссылок (при их наличии) из инвертируемого атрибута
в экземпляры типа ссылочного объекта. При отсутствии данного атрибута оператор BAG или SET,
представляющий инверсный атрибут, не определяет максимальное число ссылок или
инверсию, представленную типом данных простого объекта;
duplicates —булевское значение, соответствующее TRUE, если инверсный атрибут представ
лен оператором BAG. и FALSE, если инверсный атрибут представлен оператором SET или типом
простого объекта.
15