Автоматизированное проектирование. Норенков И.П. - 161 стр.

 5@!"! 6                              %*#$A&,&    +($*,#&($"!)&P !"#$%!#&'&($"!))KH :&:#*%

фицирующее отношение изображают на диаграмме сплошной линией между прямоугольниками свя-
занных сущностей, неидентифицирующее отношение показывают пунктирной линией. На дочернем
конце линии должно быть утолщение (жирная точка). Мощность k связи – число экземпляров зависи-
мой сущности, соответствующее одному экземпляру родительской сущности. Известное значение
мощности может быть указано около утолщенного конца линии связи. При этом символ " означает k
≥ 1, а символу z соответствует k = 0 или 1. Отсутствие символа интерпретируется k ≥ 0.
      Различают также специфические и неспецифические отношения. G$+0$='E'1$+%'$ отношения —
это связи типа “многие ко многим” и обозначаются сплошной линией с утолщениями на обоих концах.
      В отношениях родитель-потомок возможно наличие у потомка единственного родителя (харак-
теристическая связь) или нескольких родителей (ассоциативная связь). Выделяют также отношения
категоризации (наследования), отражающие связи между некоторой общей сущностью и вариантами
ее реализации (категориями). Примером категориальной связи является отношение тип прибора —
альтернативные варианты этого прибора.
      Среди атрибутов различают ключевые и неключевые. Значение %4<1$(#8# )&"'27&) (%4<1)) од-
нозначно идентифицирует экземпляр сущности. I*$>*'; %4<1 – это атрибут (или атрибуты), входя-
щий в ключ родителя и наследуемый потомком. На IDEF1X-диаграммах ключи записывают в верхней
части прямоугольника сущности, причем внешние ключи помечают меткой FK (Foreign Key), неклю-
чевые атрибуты помещают в нижнюю часть прямоугольников. В идентифицирующих отношениях все
ключи родителя входят и в ключи потомка, в неидентифицирующих ключи родителя относятся к не-
ключевым атрибутам потомка.
      Нормальные формы отношений позволяют выявить атрибуты, которые целесообразно (с целью
устранения избыточности) считать сущностями. Известно несколько нормальных форм, обычно ис-
пользуют первые три из них.
      Первая нормальная форма требует, чтобы шапка таблицы (отношения) была одноэтажная (т.е.
все атрибуты характеризуются атомарными значениями), строки-дубли должны быть устранены.
      Вторая нормальная форма устанавливается для сущностей, удовлетворяющих условиям первой
нормальной формы и имеющих составные ключи. Она определяется отсутствием атрибутов, зависящих
только от части составного ключа. Подобные атрибуты должны быть выделены в отдельные сущности.
      Третья нормальная форма дополнительно характеризуется отсутствием транзитивных связей
(взаимозависимости) атрибутов.
      Разработка информационной модели по IDEF1X выполняется за несколько стадий.
      Стадия 0. Выяснение цели проекта, составление плана сбора информации. Обычно отправным
пунктом для разработки информационной модели является IDEF0-модель.
      Стадия 1. Выявление и определение сущностей. Это неформальная процедура.
      Стадия 2. Выявление и определение основных отношений. Результат представляется или графи-
чески в виде ER-диаграмм или в виде матрицы отношений, элемент которой Aij=1, если имеется связь
между сущностями i и j, иначе Aij=0. Транзитивные связи не указываются.
      Стадия 3. Детализация неспецифических отношений, определение ключевых атрибутов, уста-




                                  %+,. 6.7. Элементы языка IDEF1X

 &.+.)$(*),$" . !"#$%!#&'&($"!))$*        +($*,#&($"!)&*                                 161