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 существует два вида локальных правил: - правило уникальности; - правило области значения.
|
