Пояснения

Слайд 30. Агрегированный тип

Агрегированный тип представляет собой встроенный тип языка EXPRESS, элементами области значений которого являются наборы значений (а не единичные значения, как в случае с простым типом). В такой набор включаются только значения одного типа, называемого базовым типом данного агрегированного типа. Сам набор конкретных значений называется экземпляром агрегированного типа. Отдельные значения из набора значений являются элементами агрегированного типа. Всего в EXPRESS существует четыре агрегированных типа:

· Массив (ARRAY).

· Список (LIST).

· Множество (SET).

· Мультимножество (BAG).

На агрегированные типы языка EXPRESS могут накладываться дополнительные ограничения, требующие уникальности всех элементов в наборе значений (в таком случае в объявлении типа употребляется ключевое слово «UNIQUE») или разрешающие отсутствие отдельных элементов в наборе значений (в таком случае в объявлении типа употребляется ключевое слово «OPTIONAL»). Например, в объявленном на слайде массиве могут отсутствовать отдельные элементы, а в объявленном на слайде списке все элементы должны быть уникальны.

Слайд 31. Массив (ARRAY)