75
представляет собой описательную (неформальную) модель предметной области, семантически
определяющую в ней сущности и связи [44].
Относительная простота и наглядность описания предметной области позволяет использовать ее в
процессе диалога с потенциальными пользователями с самого начала инфологического проектирования.
Построение инфологической модели П.Чена, как и любой другой модели, является творческим
процессом, поэтому единой методики ее создания нет. Однако при любом подходе к построению
модели используют три основных конструктивных элемента: сущность, атрибут, связь.
Сущность — это собирательное понятие некоторого повторяющегося объекта, процесса или явления
окружающего мира, о котором необходимо хранить информацию в системе. Сущность может
определять как материальные (например, «студент», «грузовой автомобиль» и т.п.), так и
нематериальные объекты (например, «экзамен», «проверка» и т.п.). Главной особенностью сущности
является то, что вокруг нее сосредоточен сбор информации в конкретной предметной области. Тип
сущности определяет набор однородных объектов, а экземпляр сущности — конкретный объект в
наборе. Каждая сущность в модели П.Чена именуется. Для идентификации конкретного экземпляра
сущности и его описания используется один или несколько атрибутов.
Атрибут — это поименованная характеристика сущности, которая принимает значения из
некоторого множества значений [46]. Например, у сущности «студент» могут быть атрибуты
«фамилия», «имя», «отчество», «дата рождения», «средний балл за время обучения» и т. п.
Связи в инфологической модели выступают в качестве средства, с помощью которого
представляются отношения между сущностями, имеющими место в предметной области. При анализе
связей между сущностями могут встречаться бинарные (между двумя сущностями) и в общем случае n-
арные (между п сущностями) связи. Например, сущности «отец», «мать» и «ребенок» могут находиться
в 3-арном отношении «семья» («является членом семьи»).
Связи должны быть поименованы; между двумя типами сущностей могут существовать несколько
связей.
Наиболее распространены бинарные связи. Учитывая, что любую n-арную связь можно представить
в виде нескольких бинарных, подробнее остановимся именно на таких связях между двумя типами
сущностей, устанавливающими соответствие между множествами экземпляров сущностей.
Различают четыре типа связей:
• один к одному (1: 1);
• один ко многим (1: М);
• многие к одному (М: 1);
• многие ко многим (М: N).
Связь один к одному определяет такой тип связи между типами сущностей А и Б, при котором
каждому экземпляру сущности А соответствует один и только один экземпляр сущности В, и наоборот.
Таким образом, имея некоторый экземпляр сущности А, можно однозначно идентифицировать
соответствующий ему экземпляр сущности В, а по экземпляру сущности В — экземпляр сущности А.
Например, связь типа 1: 1 «имеет» может быть определена между сущностями «автомобиль» и
«двигатель», так как на конкретном автомобиле может быть установлен только один двигатель и один
двигатель, естественно, нельзя установить сразу на несколько автомобилей.
Связь один ко многим определяет такой тип связи между типами сущностей А и В, для которой
одному экземпляру сущности А может соответствовать 0, 1 или несколько экземпляров сущности В, но
каждому экземпляру сущности В соответствует один экземпляр сущности А. При этом однозначно
идентифицировать можно только экземпляр сущности А по экземпляру сущности В. Примером связи
типа 1 : М является связь «учится» между сущностями «учебная группа» и «студент». Для такой связи,
зная конкретного студента, можно однозначно идентифицировать учебную группу, в которой он учится,
или, зная учебную группу, можно определить всех обучающихся в ней студентов.
Связь многие к одному по сути эквивалентна связи один ко многим. Различие заключается лишь в
том, с точки зрения какой сущности (А или В) данная связь рассматривается.
Связь многие ко многим определяет такой тип связи между типами сущностей А и В, при котором
каждому экземпляру сущности А может соответствовать 0, 1 или несколько экземпляров сущности В, и
наоборот. При такой связи, зная экземпляр одной сущности, можно указать все экземпляры другой
сущности, относящиеся к исходному, т. е. идентификация сущностей неуникальна в обоих
направлениях. В качестве примера такой связи можно рассмотреть связь «изучает» между сущностями
«учебная дисциплина» и «учебная группа».