ГОСТ Р И С 0 10303-11 — 2009
ничение. В сложном ограничении ANDOR представляет множество экземпляров объектов, являющееся
объединением совокупностей выражений, определяющих операнды.
П р и м е ч а н и е — ANDOR используется только при построении совокупностей для более сложного
ограничения. На естественном языке фраза «Ь ANDOR си означает «все экземпляры типа Ь и все экземпляры
типа с. включая те. которые являются экземплярами обоих типов».
Пример — Человек (объект person) может быть служащим, посещающим вечерние занятия,
и поэтому являться одновременно и служащим (объект employee), и студентом (объект student).
ENTITY person
SUPERTYPE OF (employee ANDOR student);
END_ENTTTY;
ENTITY employee
SUBTYPE OF (person);
END ENTITY;
ENTITY student
SUBTYPE OF (person);
END ENTITY;
92.5.4 AND
Ключевое слово AND определяет ограничение, что совокупности, заданные двумя операндами, дол
жны быть идентичными. То естьлюбой экземпляр совокупности левого операнда должен также быть экзем
пляром совокупности правого операнда, а любой экземпляр совокупности правого операнда должен также
бытьэкземпляром совокупности левого операнда.
Когда выражение с ключевым словом AND присутствует в качестве операнда в сложном ограниче
нии, оно представляет любую из совокупностей своих операндов, поскольку они идентичны.
П р и м е ч а н и е — На естественном языке фраза «Ь AND с» означает, что «экземпляр должен
одноврехгенно состоять из типов Ь и с».
Пример - Человек (объект person) может быть классифицирован как лицо мужского (объект
male) или женского (объект female) пола, либо как гражданин (объект citizen) или иностранец (объект
alien).
ENTITY person
SUPERTYPE OF (ONEOF (male, female) AND
ONEOF (citizen, alien));
END_ENTTTY:
ENTITY male
SUBTYPE OF (person);
END_ENTTTY:
ENTITYfemale
SUBTYPE OF (person);
END_ENTTTY;
ENTITY citizen
SUBTYPE OF (person);
END_ENTTTY:
ENTITY alien
SUBTYPE OF (person);
END.ENTITY:
Э.2.5.5 Приоритеты операторов супвртипов
Оценка выражений супертипов проводится слева направо, при этом сначала определяются значе
ния операторов с наивысшим приоритетом. Правила приоритетовдля операторов выражений супвртипов
43