ГОСТ Р ИСО 10303-11 — 2009
SCHEMA test;
USE FROM example (I);
REFERENCE FROM example (m, c);
END_SCHEMA;
Возможные сложные объектные типы данных определяются следующим образом:
ONEOF (m)
т
Аналогично получаем для а:
Пул объектов состоит из I, т, с. а, р: I, т ис импортированы вявной форме, аир импортированы в
неявной форме, поскольку они входят в цепочкусупертипов объекта /.
Сокращая выражение супертипадляр ипреобразовывая его всоответствии с шагом по перечисле
нию Ь). получаем:
ONEOF(m.f) AND ONEOF (с, а)
ONEOF(m, <>) AND ONEOF (с. а)
AND ONEOF (с .а)
AND ONEOF (с,а)
ONEOF (1,1)
ONEOF (/, о )
ONEOF (/)
/
В данном случае выражения супертипов уже сформированы в виде, необходимом для шага по пере
числению с).
Применяяалгоритм вычислениярезультирующегомножествана шаге по перечислению с), получа
ем результирующее множество: R = [с&т&р, a&ISun&p].
Сложный объектный тип данных a&J&mSip содержит объект I, явно импортированный посред
ством оператора USE, и поэтому он может быть реализован автономно. С другой стороны, сложный
объектный тип данных с&т&р не может быть реализован автономно в данной схеме.
2 Пусть имеются следующие схемы:
SCHEMA s1;
ENTITY е1 SUPERTYPE OF (e11 ANDOR e12); END_ENTITY;
ENTITY e11 SUBTYPE OF (e1); END_ENTITY;
ENTITY e12 SUBTYPE OF (e1): END_ENTITY;
END_SCHEMA:
SCHEMA s2;
USE FROM s1 (e11 AS f):
ENTITY e211 SUBTYPE OF (f); END_ENTITY;
ENTITY e212 SUBTYPE OF (f); END_ENTITY;
END_SCHEMA:
SCHEMA s3;
USE FROM s1 (e12 as g);
ENTITY e321 SUBTYPE OF (g); END_ENTITY;
ENTITY e322 SUBTYPE OF (g); END_ENTITY;
END_SCHEMA:
Результирующими множествами для данных схем являются:
s1 [el. e lfte ll. е1&е12. e1&e11&e12J;
s2 [e1&f. e1&f4e211. e1*fAe212. e1AfAe211Ae212];
s3 [e1&g. e1Agfte321. e1&g&e322. e1&g&e321&e322].
Если определена следующая схема test:
SCHEMA test;
USE FROM s2 (e211);
USE FROM s3 (e322);
END_SCHEMA:
то возможные сложные объектные типы данных для нее определяютсяследующим образом:
Пул объектов состоит из е211. ©322. f, g. е1: е211 и е322 импортированы в явной форме, a f, g и е1
импортированыв неявной форме, поскольку они входят в цепочку супертипов е211 ие322_ fug являются
переименованиями е11 и е12, соответственно, поэтому е11 и е12 являются фактическими членами
пула объектов.
139