ENTITY name;

Рис. 10. Описание сущности

Атрибут сущности. Каждый атрибут имеет имя, которое должно быть уникальным. Имя атрибута раскрывает его значение в контексте сущности. Область его возможных значений задается путем спецификации типа данных атрибута [5]. Атрибуты бывают явные и вычисляемые. Явный атрибут выражает свойство сущности, которое обязательно должно получить некоторое заданное в явном виде значение. Применение ключевого слова OPTIONAL указывает на необязательность значения атрибута.

В отличие от явного атрибута, значение вычисляемого определяется не в явном виде, а путем вычисления некоторого выражения. Все вычисляемые атрибуты объявляются в единой конструкции DERIVE, которая идет сразу за описанием явных атрибутов.

ENTITY square;

color: OPTIONAL STRING;

side: REAL;

DERIVE

Perimeter: REAL:= 4*side;

area: REAL:= side**2;

END_ENTITY.

Локальное правило сущности. Объявление сущности определяет область ее экземпляров. По умолчанию они являются корректными, что не всегда соответствует потребностям проектировщиков. Ограничение на область экземпляров определяют с помощью локальных правил сущности.

В EXPRESS существует два вида локальных правил:

- правило уникальности;

- правило области значения.