Объявление объекта ENTITY создает объектный тип данных и задает идентификатор для ссылок на него.
Каждый атрибут представляет свойство объекта и может быть ассоциирован со значением в каждом экземпляре объекта. Тип данных атрибута устанавливает область определения его возможных значений.
Каждое ограничение представляет одно из следующих свойств объекта:
a) Ограничения на число, вид и структуру значений атрибутов, задаваемые в объявлениях атрибутов.
b) Необходимые взаимосвязи между значениями атрибута или ограничения на допустимые значения атрибута для данного экземпляра, задаваемые условием WHERE и рассматриваемые как правила области определения.
c) Необходимые взаимосвязи между значениями атрибута для всех экземпляров объектного типа данных, задаваемые в следующих конструкциях:
1) в условии уникальности, где они рассматриваются как ограничения на уникальность;
2) в условии инверсии, где они рассматриваются как ограничения на мощность множества;
3) в глобальных правилах (см. 9.6).
d) Необходимые взаимосвязи между экземплярами нескольких объектных типов, задаваемые не в самом объявлении объекта, а в форме глобальных правил (см. 9.6).
Экземпляр объекта в языке EXPRESS может быть создан только посредством конструктора объекта (см. 9.2.6) или оператора построения сложного объекта (см. 12.10).
Синтаксис: |
Правила и ограничения:
a) Каждый идентификатор атрибута и метка, указанная в объявлении объекта, должны быть уникальными в рамках объявления.
b) Подтип не должен объявлять атрибут, имеющий такой же идентификатор, что и атрибут одного из супертипов, за исключением случая, когда подтип повторно объявляет атрибут, унаследованный от одного из его супертипов (см. 9.2.3.4).