ГОСТ Р ИСО 10303-11— 2009
Послеудаления 02из R в соответствии с шагом по пункту 3) перечисленияj) R остается неизмен
ным. Следовательно, мы имеем следующее множество:
R = [рДтДс, рДтДаД/.
p&m &a&i, P&f&c, p& f& a& l. P&f&a&i, р&т ,
рД/J.
ONEOF(f.i):ОJ-2 = [Ш ];
0 3 =[/Д|].
Послеудаления 03из R в соответствии с шагом по пункту 3) перечисленияj) R остается неизмен
ным. Следовательно, мы имеем следующее множество:
R = [рД/пДс, p&m&a&I, рДтДаД/. рД/Дс, p&f&a&l, p&f&a&i. рД т. рД/];
- выполняя шаг по перечислению к) для каждого ограниченияAND получаем:
ONEOF(m, f) AND ONEOF(c. a):Q, = [ тДс. шДа. fAc, /Да ];
Dj" = [ P&™ ];
d
\ = [p & f);
Of = [];
о* =11;
О, = [рД/п, pA/].
ПослеудаленияD, uaRe соответствии с шагом по пункту4) перечисления k) R остается неизмен
ным. Следовательно, имеем следующее множество:
R = [р&т&с, p&m&a&J, p&m&a&j. p&f&c, p&f&a&l. p&f&a&i ];
после выполнения шага по перечислению I)получаем результат:
R = [р&т&с. p&m&a&l, p&mSca&i. p&f&c, p&f&a&l. p&f&a&J].
Данный пример, хотя иявляющийся произвольным, мог бы быть сделан болеереалистичным, если
объектам дать более содержательные имена. Например, если вместо р. т, f, с, а, 4 / объекты были бы
названы person (личность), male (мужчина), female (женщина), citizen (гражданин), alien (иностранец),
legal alien (легальный иностранец) и illegal_alien (нелегальный иностранец), соответственно.
Данная трактовка дает следующий смыслнекоторым элементам из окончательногорезультиру
ющего множества:
-личность (person), которая является мужчиной (male) и гражданином (citizen);
- личность (person), которая является мужчиной иностранцем (male alien) и нелегальным иност
ранцем (illegal_alien);
-личность (person), которая ...
Крометого, ограничениеTOTAL_OVER обеспечивает то. чторезультирующие множества, опреде
ленные для какой-либо другой схемы, расширяющейданный граф подтипов/супертипов, также должны
включать объекты male или female в число допустимых экземпляров объекта person.
2Данный пример демонстрирует, что ONEOF являетсяглобальным ограничением, которое не мо
жет быть аннулированомножественным наследованием.
SCHEMA diamond;
ENTITY а;
END_ENTITY;
SUBTYPE_CONSTRAINT a_subs FOR a;
ONEOF(b, c);
END_SUBTYPE_CONSTRAINT;
ENTITY b SUBTYPE OF (a);
END_ENTITY;
ENTITY c SUBTYPE OF (a);
END_ENTITY;
ENTITY d SUBTYPE OF (b. c);
END_ENTITY;
END_SCHEMA;
Данная схема в формате EXPRESS-G представлена на рисунке В.2.
В представленной выше EXPRESS-схемеуже заданы всеобъявления объектов и полные выражения
супертипов, которые требуются для алгоритма на шагах по перечислениям а) и Ь).
В результате выполнения шага по перечислению с) получаем:
SUBTYPE_CONSTRAINTb_othersubtypes FOR b;
d;
END_SUBTYPE_CONSTRAINT;
SUBTYPE_CONSTRAINT c_othersubtypes FOR c;
d;
END_SUBTYPE_CONSTRAINT:
132