ГОСТ Р ИСО 10303-11— 2009
[эдьде&с].
Таким образом, получаем:
R = [аДЬ. аДс, а].
Выражения супертипов, использующие оператор AND, отсутствуют, поэтому выполнение шага
по перечислению к) не требуется.
После выполнения шага по перечислению I) получаемрезультат:
R = [аДЬ. аДс, а].
3Данный пример демонстрирует влияние применения ограниченийк сложной структуре, содержа
щей, по крайнеймере, одно ограничение каждого возможноготипа. Назначением данного примераявляет
сяне моделирование конкретной ситуации, а просто демонстрация алгоритма.
SCHEMA complex;
ENTITY а;
END_ENTITY;
ENTITY b SUBTYPE OF (a);
END_ENTITY:
ENTITY c SUBTYPE OF (a);
END_ENTITY;
ENTITY d SUBTYPE OF (a);
END_ENTITY;
ENTITY f SUBTYPE OF (a. z);
END_ENTITY;
ENTITY к SUBTYPE OF (d);
END_ENTITY;
ENTITY I SUBTYPE OF (d. y);
END_ENTITY;
ENTITY x SUBTYPE OF (z);
END_ENTITY;
ENTITY у SUBTYPE OF (z);
END_ENTITY;
ENTITY z;
END_ENTITY;
SUBTYPE_CONSTRAINT a_subs FOR a;
ONEOF(b. c) AND d ANDOR f;
END_SUBTYPE_CONSTRAINT;
SUBTYPE_CONSTRAINT d_subs FOR d;
ABSTRACT;
ONEOF(k, I);
END_SUBTYPE_CONSTRAINT;
END_SCHEMA:
Данная схема в формате EXPRESS-G представлена на рисунке В.З.
Рисунок В.З — EXPRESS-G диаграмма схемы из примера 3
134