3.6.7. Группы исключающих связей.
Если участие экземпляра объекта в одной связи запрещает его участие в более других связях, то это означает наличие в схеме группы исключающих связи. Все связи, входящие в такую группу, должны иметь общий предметный объект и одинаковую характеристику мощности. На момент рассмотрения для любого экземпляра общего объекта может существовать только одна связь из группы ЛСД, группа исключающих связей изображается в виде исключающей дуги. Исключающие дуги рисуются возле соответствующего объекта и относятся к тем связям, линии которых пересечены этими дугами. Если необходимо, то связи можно переупорядочивать для того, чтобы вынести не участвующие и связи за ее пределы и таким образом избежать разрывов дуг и путаницы в схеме. Объект может участвовать в нескольких различных исключающих группах. В связи с этим на ЛСД различные исключающие дуги могут быть произвольным образом помечены. Однако, концы линий связи не должны участвовать более чем в одной исключающей группе, что гарантирует ясность и упорядоченность ЛСД. Полное документирование связей, входящих в исключающие группы, осуществляется при заполнении форм «Описание объекта».
На рис.3.5 изображен несколько видоизмененный фрагмент ЛСД, приведенной на рис. 3.1. Связи для этого фрагмента читаются следующим образом:
Рис.3.5. Пример необязательной группы исключающих связей
«Каждый район может быть или известен для включения в него одного или более населенных пунктов, или предложен для размещения в нем одной или более свободных площадок» (дуга пересекает пунктирную линию).
Исключающая группа, изображенная на рис. 3.6, является примером обязательной группы (дуга пересекает сплошную линию) и может быть прочитана следующим образом:
«Каждое предпочтение нанимателя жилья должно быть определено, как один и только один район или определено как один или только один населенный пункт».
«Каждое предпочтение нанимателя жилья должно быть выражено в одном и только одном заявлении».
Рис.3.6. Пример обязательной группы исключающих связей
Субтипы объектов.
Связи типа 1:1 могут использоваться в исключающих группах для того, чтобы дать базовое представление субтипов объектов. Например, для рис. 3.7, если читать от объекта «ЗАЯВЛЕНИЕ», получим утверждение:
«Каждое заявление должно быть или супертипом нового заявления или супертипом заявления на передачу, где «НОВОЕ ЗАЯВЛЕНИЕ» и «ЗАЯВЛЕНИЕ НА ПЕРЕДАЧУ» будут субтипами супертипа «ЗАЯВЛЕНИЕ»».
Супертип объекта имеет связи и атрибуты, которые являются общими для его субтипов, и в то же время, каждый субтип может иметь собственные связи и атрибуты. Обобщенное определение супертипов и субтипов лежит за пределами излагаемого в данной книге материала.
Рис. 3.7 Базовое представление супер- и субтипов
3.6.8. Рекурсивные связи.
Существует две основных ситуации, в которых удобно изображать объект связанным с самим собой, т.е. с рекурсивной связью.
Иерархия.
Первая ситуация представляет иерархические структуры, присущие организационному управлению на предприятиях. Такая структура изображена на рис. 3.8 и описывается следующими утверждениями:
"Каждый менеджер может быть ответственным за одного или более менеджеров";
"Каждый менеджер может быть ответственным перед одним и только одним
менеджером".
Заметим, что в этом упрощенном представлении оба конца линии связи должны быть необязательными. Это позволяет самому главному менеджеру не отчитываться перед другими менеджерами, а более младшим - быть подчиненными только одному менеджеру (см. рис.3.8а). Эта же структура может быть изображена в виде, показанном на рис. 3.86, где рекурсия представляет собой петлю, представляющую связь типа 1:m.
На рис. 3.9. показано уточненное представление иерархии, допускающее обязательный конец линии связи и описываемое с этого конца утверждением:
"Каждый менеджер должен быть или ответственным перед одним и только одним директором или ответственным перед одним и только одним менеджером".
Сеть.
Вторая ситуация характеризуется наличием связей типа m:n и наиболее часто возникает при описании технологии производственных процессов обработки материалов и сборки изделий. Здесь под действием некоторых процессов производятся сборочные единицы, из которых затем собираются другие более крупные сборочные единицы до тех пор, пока не будет получен окончательный продукт. Любое подмножество сборочных единиц здесь может входить в состав других подмножеств как их часть и может само состоять из других подмножеств.
Рис. 3.8 Представление иерархии организационного управления рекурсивной связью
Рис.3.9 Уточнение представления иерархии организационного управления
Рекурсивная связь, показанная на рис. З.10а, может быть прочитана следующим образом:
"Каждое подмножество может быть использовано в одном или более подмножеств";
Рис. 3.10. Раскрытие рекурсивной связи для технологии обработки материалов и сборки изделий
«Каждое подмножество может быть собрано из одного или более подмножеств».
Заметим, что в данном случае оба конца линии связи должны быть необязательными, так как имеются окончательные продукты, которые не являются сборочными единицами, и есть элементарные подмножества, не имеющие в своем составе сборочных единиц. Здесь базовое обозначение для рекурсии - петля, характеризуемая степенью связи m:n. Связи такого вида необходимо раскрывать путем замены ее на две связи типа 1:m, как это показано на рис. 3.106. Новые связи читаются следующим образом:
"Каждое подмножество может быть использовано как одна или более стандартных компонент";
"Каждое стандартная компонента должна быть использована в одном и только в одном подмножестве";
"Каждое подмножество может быть собрано из одной или более стандартных компонент";
"Каждая стандартная компонента должна быть в списке элементов одного и только одного подмножества".
Наименее общим, а потому редко встречающимся видом связи, является связь со степенью 1:1. Обычно этот вид связи используется для отображения возможности замены экземпляра объекта (например, один стандартный элемент может быть заменен другим, если первого нет на складе). В этом случае, если один из концов связи не входит в исключающую группу, оба конца связи должны быть необязательными.