3.5.Диаграммы отношений компонентов данных
Диаграммы отношений компонентов данных в отличие от функциональных диаграмм предназначены для определения спецификаций структур данных программы.
Структурой данных называют совокупность правил и ограничений, которые отражают связи, существующие между отдельными частями (элементами) данных. Различают абстрактные структуры данных, используемые для уточнения связей между элементами, и конкретные структуры, применяемые для представления данных в программах.
Абстрактные структуры можно разделить на три группы: структуры, элементы которых не связаны между собой (множества, кортежи), структуры с неявными связями элементов (таблицы, структуры) и структуры, связь элементов которых указывается явно (графы). Очень существенно, что в реальности возможно вложение структур данных, в том числе и разных типов, поэтому для их описания могут потребоваться специальные модели. В зависимости от описываемых типов отношений, модели структур данных принято делить на иерархические и сетевые.
Иерархические модели позволяют описывать упорядоченные или неупорядоченные отношение вхождения элементов данных в компонент более высокого уровня, т.е. множества, таблицы и их комбинации. К иерархическим моделям относят модель Джексона-Орра, для графического представления которой могут использоваться:
диаграммы Джексона, предложенные в составе методики проектирования ПО того же автора в 1975 г.;
скобочные диаграммы Орра, предложенные в составе методики проектирования ПО Варнье-Орра (1974 г.).
Сетевые модели основаны на графах, а потому позволяют описывать связность взаимодействующих компонентов независимо от вида отношения, в том числе комбинации множеств, таблиц и графов. Примером сетевой модели является модель «сущность-связь» (ER – Entity-Relationship), обычно используемую при разработке баз данных.
Диаграммы Джексона и Орра. В основе диаграмм Джексона и диаграмм Орра лежит предположение о том, что структуры данных, так же как и программ, можно строить из элементов с использованием всего трех основных конструкций: последовательности, выбора и повторения.
В нотации Джексона каждая конструкция представляется в виде двухуровневой иерархии, на верхнем уровне которой расположен блок конструкции, а на нижнем – блоки элементов. Нотации конструкций различаются специальными символами в правом верхнем углу блоков элементов. В изображении последовательности символ отсутствует. В изображении выбора ставится символ «о» (латинское) – сокращение английского «или» (or). Конструкции последовательности и выбора должны содержать по два или более элементов второго уровня. В изображении повторения в блоке единственного (повторяющегося) элемента ставится символ «*».
Так схема, показанная на рис. 3.12, а, означает, что конструкция А состоит из элементов В, С и D, следующих в указанном порядке. Схема на рис. 3.12, б означает, что конструкция S состоит либо из элемента P, либо из элемента Q, либо из элемента R. Схема, изображенная на рис. 3.12, в, показывает, что конструкция I состоит из 0 или более элементов X.
В том случае, если необходимо показать, что конструкция повторения должна включать 1 или более элементов, используют комбинацию из двух структур последовательности и повторения (рис. 3.13).
Отличие диаграмм Орра – в нотации. Автор предлагает для представления основных конструкций данных использовать фигурные скобки (рис. 3.14).
Пример 3.4. Рассмотрим описание структуры данных файла «Электронная ведомость», содержащего сведения о сдаче экзаменов студентами. Файл состоит из записей о результатах сдачи сессии студентами одной группы. Он имеет следующую структуру: номер группы, затем записи об успеваемости студентов (ФИО студента, затем название предмета и оценка, полученная студентом, в завершении записи специальный символ «конец записи») и специальный символ «конец файла».
На рис. 3.15 показано, как выглядит описание данной структуры с использованием диаграммы Джексона.
Сетевая модель данных. Сетевые модели данных используют в тех случаях, если отношение между компонентами данных не исчерпываются включением. Для графического представления разновидностей этой модели используют несколько нотаций. Наиболее известными являются: нотация П. Чена, нотация Р. Баркера и нотация IDEF1 (более современный вариант этой нотации – IDEFIX используется в CASE-системах, например, ERWin).
Нотация Баркера является наиболее распространенной. Далее в настоящем разделе будем придерживаться именно этой нотации.
Базовыми понятиями сетевой модели данных являются: сущность, атрибут и связь.
Сущность – реальный или воображаемый объект, имеющий существенное значение для рассматриваемой предметной области. Каждая сущность должна:
иметь уникальное имя,
обладать одним или несколькими атрибутами, которые либо принадлежат сущности, либо наследуются через связь;
обладать одним или несколькими атрибутами, которые однозначно идентифицируют каждый экземпляр сущности.
Сущность представляет собой множество экземпляров реальных или абстрактных объектов (людей, событий, состояний, предметов и т.п.). Имя сущности должно отражать тип или класс объекта, а не его конкретный экземпляр (Аэропорт, а не Внуково).
На диаграмме в нотации Баркера сущность изображается прямоугольником, иногда, с закругленными углами (рис. 3.16, а).
Каждая сущность обладает одним или несколькими атрибутами. Атрибут – любая характеристика сущности, значимая для рассматриваемой предметной области и предназначенная для квалификации, идентификации, классификации, количественной характеристики или выражения состояния сущности (рис. 3.16, б).
В сетевой модели атрибуты ассоциируются с конкретными сущностями, и, соответственно, экземпляр сущности должен обладать единственным определенным значением для ассоциированного атрибута. Атрибут, таким образом, представляет собой некоторый тип характеристик или свойств, ассоциированных с множеством реальных или абстрактных объектов. Экземпляр атрибута – определенная характеристика конкретного экземпляра сущности. Он определяется типом характеристики и ее значением, называемым значением атрибута.
Атрибуты делятся на ключевые, т.е. входящие в состав уникального идентификатора, который называют первичным ключом, и описательные – прочие.
Первичный ключ – это атрибут или совокупность атрибутов и/или связей, предназначенная для уникальной идентификации каждого экземпляра сущности (совокупность признаков, позволяющих идентифицировать объект). Ключевые атрибуты помещают в начало списка и помечают символом «#» (рис. 3.16, в).
Описательные атрибуты могут быть обязательными или необязательными. Обязательные атрибуты для каждой сущности всегда имеют конкретное значение, необязательные – могут быть не определены. Обязательные и необязательные описательные атрибуты помечают символами «*» и «о» соответственно.
Для сущностей определено понятие супертип и подтип. Супертип – сущность, обобщающая некую группу сущностей (подтипов). Он характеризуется общими для подтипов атрибутами и отношениями. Например, супертип «учащийся» обобщает подтипы «школьник» и «студент» (рис. 3.17).
Связь – поименованная ассоциация между двумя или более сущностями, значимая для рассматриваемой предметной области. Связь, таким образом, означает, что каждый экземпляр одной сущности ассоциирован с произвольным (в том числе и нулевым) количеством экземпляров второй сущности и наоборот. Если любой экземпляр одной сущности связан хотя бы с одним экземпляром другой сущности, то связь является обязательной (рис. 3.18, а). Необязательная связь представляет собой условное отношение между сущностями (рис. 3.18, б).
Каждая сущность может обладать любым количеством связей с другими сущностями модели. Связь предполагает некоторое отношение сущностей, которое характеризуется количеством экземпляров сущности, участвующих в связи с каждой стороны. Различают три типа отношений: 1*1 – «один-к-одному»; 1*n – «один-ко-многим»; n*m – «многие-ко-многим» (рис. 3.19).
Кроме того сущности бывают независимые, зависимые и ассоциированные сущности.
Независимая сущность представляет независимые данные, которые всегда присутствуют в системе. Они могут быть, как связаны с другими сущностями, так и нет.
Зависимая сущность представляет данные, зависящие от других сущностей системы, поэтому она всегда должна быть связана с другими сущностями.
Ассоциированная сущность представляет данные, которые ассоциируются с отношениями между двумя и более сущностями. Обычно данный вид сущностей появляется в модели для разрешения отношения «многие-ко-многим» (рис. 3.20).
Если экземпляр сущности полностью идентифицируется своими ключевыми атрибутами, то говорят о полной идентификации сущности. В противном случае идентификация сущности осуществляется с использованием атрибутов связанной сущности, что указывается черточкой на линии связи (рис. 3.21).
Пример 3.5. Рассмотрим структуру базы данных для системы учета успеваемости студентов. Основными сущностями для решения указанной задачи являются:
«Студент»;
«Предмет» (изучаемый учебный курс).
Отношение между ними относится к типу «многие-ко-многим». Для разрешения этого отношения введем ассоциированную сущность «Экзамен/Зачет», которая отражает текущее выполнение предметов учебного плана студентом.
Предметы, которые изучает и по которым отчитывается студент, запланированы кафедрой в учебном плане. Учебный план включает список предметов каждого семестра (сущность «Семестр»).
Для получения справок различного рода потребуются сущности, определяющие структуру организации:
«Факультет»;
«Курс» (как совокупность студентов, поступивших в институт в одном году);
«Кафедра»;
«Группа».
Для определения момента времени, начиная с которого отсутствие положительных результатов сдачи экзамена следует считать задолженностью, необходимо хранить даты экзаменов для каждой группы (сущность «Дата экзамена»).
На рис. 3.22 показаны основные отношения между указанными сущностями.
На следующем шаге определяем атрибуты каждой сущности и уточняем их типы (атрибуты, используемые для дополнительной идентификации сущности другой сущностью, не указаны, так как они описаны в соответствующей сущности).
Факультет:
DepID – уникальное имя факультета (ключевое поле);
DepName – название факультета.
Курс:
CursID – уникальное имя кафедры (ключевое поле);
EnterYear – год начала обучения для большинства студентов курса.
Кафедра:
SpecID – уникальное имя кафедры (ключевое поле);
SpecName – название кафедры.
Семестр:
SemestrID – уникальное имя семестра обучения на конкретной кафедре (ключевое поле);
SemName – название семестра обучения на кафедре.
Группа:
GroupID – уникальное имя группы (ключевое поле);
GroupName – название группы.
Предмет:
SubjectID – уникальное имя предмета (ключевой атрибут);
SubjectName – название предмета;
ExamKind – вид оценки знаний (необязательный атрибут): экзамен/зачет/экзамен+зачет.
Дата экзамена:
Date – дата экзамена;
AudNumber – номер аудитории.
Студент:
StudentID – уникальное имя студента (ключевое поле);
SerName – фамилия;
FirstName – имя;
SecondName – отчество;
StEnterYear – год поступления в институт.
Экзамен/Зачет:
Date – дата сдачи экзамена или зачета;
ExemType – тип (экзамен или зачет);
Mark – оценка.
Полученная диаграмма «сущность-связь» приведена на рис. 3.23.
Данная диаграмма должна быть проверена с точки зрения возможности получения всех справок, указанных в техническом задании или показанных на диаграмме потоков данных разрабатываемой системы (рис. 3.10).
|
