ГОСТ Р ИСО 10303-11— 2009
Сокращая выражение супертипа для е1 и преобразовывая его в соответствии с шагом по перечис
лению Ь), получаем:
еА-\ ANDOR ©12;
f ANDOR д;
для f получаем:
е211 ANDOR е212;
6211 ANDOR <>;
е211;
для g получаем:
е321 ANDOR е322;
о ANDOR 6322:
6322.
В данном случае выражения супертипов уже сформированы в виде, необходимом для шага по пере
числению с).
Применяя алгоритм вычисления результирующего множества на шаге по перечислению с),
получаем результирующее множество:
R = [е1, 61&/. e1Ag. е1 &f&g. e1AfAe211, eW A gA e211, e1AgAe322. е1ДГДдДе322.
в1А№дДе211Ае3227.
Сложные объектные типы данных б1Д№е211, е1Д/ДдДе211, e1AgAe322, e1AfAgAe322 и
е1А/АдАе211Ае322 содержат один из явно импортированных посредством оператора USE объектов
6211 или е322 и поэтомумогут бытьреализованы автономно. С другой стороны е1, в1Д/, е1Дд и e1A/Ад
не могут бытьреализованы автономно в данной схеме.
140