Пояснения

Слайд 45. Локальное правило сущности

Объявление сущности определяет область экземпляров сущности. По умолчанию в эту область входят все экземпляры сущности, т.е. все возможные наборы значений атрибутов сущности. Иначе говоря, по умолчанию все экземпляры сущности являются корректными. Однако это не всегда соответствует нашим потребностям. Например, для сущности, выражающей самолет, не является корректным наличие в области экземпляров двух самолетов с одинаковыми бортовыми номерами. Точно так же, может потребоваться исключить из этой области все самолеты, имеющие год выпуска, раньше необходимого. Приведенные примеры устанавливают ограничения на область экземпляров сущности, делая некоторые наборы значений атрибутов сущности (т.е. экземпляры сущности) некорректными. Указанные ограничения на область экземпляров сущности определяются с помощью локальных правил сущности.

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