ГОСТ Р ИСО 10303-22-2002; Страница 18

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ Р 52584-2006 Одежда меховая. Общие технические условия Fur clothes. General specifications (Настоящий стандарт распространяется на меховую, комбинированную, в том числе двустороннюю, мужскую, женскую и детскую одежду, изготовленную из меховых шкурок и их частей, лоскута или в комбинации с другими материалами. Стандарт не распространяется на одежду, изготовляемую по индивидуальным заказам, специальную одежду) ГОСТ 33624-2015 Уголь древесный. Метод определения гранулометрического состава (Настоящий стандарт устанавливает метод определения гранулометрического состава древесного угля и древесного угля с частицами катализатора путем его рассева на стандартном наборе сит) ГОСТ 33625-2015 Уголь древесный. Стандартный метод технического анализа (Настоящий стандарт устанавливает метод определения влажности, выхода летучих веществ и зольности древесного угля. Метод применим для испытания кусков и брикетов. Настоящий стандарт включает описание типового оборудования, предназначенного для рутинного анализа)

Страница 18

Страница 1

Untitled document

ГОСТ Р ИСО 10303-22-2002

Определения атрибутов

extemaljypejd —имя типа во внешней схеме, который объявлен эквивалентным по области

значений с типом в собственной схеме:

nativejype —определение типа в собственной схеме, для которого объявлен тип. эквивален

тный по области значений;

owner —внешняя схема, содержащая определение текущего типа, эквивалентного по области

значений.

Неформальные утверждения

1Р1 — экземпляр объекта domain_equivalent_type должен существовать для каждого типа во

внешней схеме, эквивалентного по области значений с собственным типом.

IP2 —в случае, когда собственный или внешний тип. или оба одновременно являются типом

defined_type. основной тип (underlyingjype) типа defined_type должен выражаться типом выбора

(sclect_type), содержащим как минимум один тип объекта в качестве элемента выбора.

6.4.10 О б ъ е к г named_type

Объект named_type является типом данных языка EXPRESS, которому присвоено имя и кото

рый может иметь соответствующие области значения правил.

EXPRESS-cneinubHKauHB

ENTITY named tvре

ABSTRACT SUPERTYPE OF (ONEOF (entityjlefinition, defined jype));

name: expressjd;

where_rules: LIST |0:?| OF wherejule;

parent schema : schema definition;

ENDENTITY;

Определения атрибутов

name - имя типа данных;

where_rules - области значения правил, определенные вобъявлении типаданных в порядке их

появления в данном объявлении;

parent_schema - объект schemadefinition, с которым в словаре данных свя зан named_type.

6.4.11 О б ъ е к т deflned_type

Объект defined_type является объектом named_type, устанавливающим тип вследствие его объяв

ления в операторе TYPE языка EXPRESS, имеет имя и область значения.

EXPRESS-cneuiidHiKaiJHB

ENTITY defined type

SUBTYPE OF (namedjype);

domain : underlyingjype;

END ENTITY;

Определение атрибута

domain - основной тип определяемого типа.

6.4.12 О б ъ е к т entity_definition

Объект entity_definition является объектом named_type, определяющим объект в соответствии с

объявлением ENTITY языка EXPRESS или отображением, применяемым к комбинации объявле

ний ENTITY языка EXPRESS, ограничивающей использование ключевых слов AN DOR или AND

языка EXPRESS (см. А.1.3). Объекты, установленные таким отображением, рассматриваются как

подтипы составных типов объектов.

EXPRESS-cneund)HKamiB

ENTITY entity_definition

SUBTYPE OF (namedjype);

supertvpes: LIST|0:?| OF UNIQUE entity definition;

complex; BOOLEAN:

instantiate : BOOLEAN;

independent ; BOOLEAN;