Введение в CALS-технологии



         

Введение в CALS-технологии - стр. 41


Поэтому структура атрибута может варьироваться по размерам в разных экземплярах сущности. Более того, при наличии в entity-обьявлении

необязательных (optional) атрибутов их структу­ры в некоторых экземплярах сущности могут отсут­ствовать вообще. По аналогии с использованием термина «популяция» в документации по EXPRESS для обозначения содержимого БД популяцией сущности называют совокупность

всех имеющихся в БД ее эк­земпляров. Если трактовать популяцию сущности как файл записей — экземпляров сущности, — то, как видим, придется уточнить, что запись может варьироваться в файле по размерам и составу атри­бутом (в пределах максимального состава).

         Ограниченность значений атрибута рамками до­мена соответствующего базового типа является необходимым, но не всегда достаточным условием со­ответствия БД информационной модели.  Для описания подобных ограничений в языке предусмотрены логические функции типа гло­бальных правил (rules).

         Для спецификации локальных и глобальных пра­вил язык EXPRESS  дополнен широким набором опера­ций с данными, тремя формами описания алгорит­мов (функция, процедура, правило), наконец, набо­ром стандартных функций и процедур оперирования данными,

короче — средствами функционального моделирования, присущими процедурным языкам программирования.

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




Содержание  Назад  Вперед