2.5 Композиция связей
Некоторые связи образуются как неизбежное следствие существования других связей. Это будет показано на примере.
Рассмотрим случай Университета А. В этом заведении каждому студенту необходимо определить одну основную тему исследований, представляемую некоторым факультетом, специализирующемся на этой теме. Каждый факультет имеет в своем штате профессоров.
В Университете А студент выбирает профессора, который в ходе обучения будет его руководителем. Профессор может быть с любого факультета, так что студент, специализирующийся на математике, может иметь руководителем профессора физики. Информационная модель для Университета А показана на рис. 2.5.1.
Теперь рассмотрим Университет В. Правила здесь такие же, как в случае с Университетом А, за исключением того, что студент должен выбирать профессора на факультете специализации. Информационная модель в Университете В (рис. 2.5.2) немного отличается, поскольку связь R3 - логическое следствие связей R1 и R2: если студентом руководит профессор, студент должен обязательно специализироваться в обучении на факультете профессора.
Говорят, что такая связь образована композицией (как композиция функций в математике). Связь, образованная композицией, не может быть формализована во вспомогательных атрибутах, потому что отношение между экземплярами (в этом случае студенты и факультеты) уже задано связями между студентами и профессорами и далее между профессорами и их факультетами.
Связь, образованная композицией, обозначается на модели как R3= R1+R2, что означает, что R3 является логическим следствием R1 и R2.
2.6 Подтипы и супертипы
Во многих задачах Вы будете находить отчетливые специализированные объекты, которые имеют определенные общие атрибуты (рис.2.6.1). В этом случае мы можем абстрагировать более общий объект для представления характеристик, совместно используемых специализированными объектами. Эти объекты связаны через связь супертип-подтип, как показано на рис. 2.6.2. Черта поперек линии связи помещается вблизи более общего объекта - супертипа.
Атрибуты, которые являются общими для всех объектов подтипов, находятся в объекте супертипа. Объекты подтипа будут также иметь дополнительные атрибуты, чтобы обеспечивать более специализированные абстракции, представляемые каждым подтипом.
В конструкции подтип-супертип один реальный экземпляр представляется комбинацией экземпляра супертипа и экземпляра только одного подтипа. В отличие от некоторых объектно-ориентированных языков программирования, ООА не
разрешает создание экземпляра супертипа без создания экземпляра одного подтипа и наоборот3. Конструкция супертип-подтип может успешно изображаться в самой задаче, как показано на рис. 2.6.3.
2.7 Рабочие продукты
Для информационной модели подсистемы разрабатываются три рабочих продукта.
Диаграмма информационной структуры. Диаграмма информационной структуры - это графическое представление информационной модели. На этот рисунок иногда ссылаются как на диаграмму "сущность-связь" или просто как на информационную модель.
Описания объектов и атрибутов. Описание объектов и атрибутов документирует списки всех объектов и атрибутов в модели и обеспечивает организованную совокупность описаний объектов, атрибутов и доменов.
Описания связей. Описание связей документирует перечни каждой связи модели вместе с описанием связи.