Основы инфологического моделирования

 

Пример 2.4. Наконец, рассмотрим случай, когда какой-либо организации потребовались данные о наличии в ней семейных пар, а для хранения сведений о сотрудниках уже имеется сущность

 

Сотрудники (Табельный_номер, Фамилия, Имя, ...).

 

Использование, рассмотренной  в примере 2.2, сущности "Брак" нецелесообразно: в "Сотрудники" уже есть фамилии, имена, отчества супругов. Поэтому создадим ассоциацию

 

Брак [Сотрудник 1, Сотрудник 1]    

(Табельный_номер_мужа, Табельный_номер_жены, ...),

 

связывающую между собой определенные экземпляры сущности "Сотрудники" (рис. 2.1,г).

 

В заключение отметим, что ER-диаграмма  рис. 2.1,а описывает структуру  размещения данных о браках в отделах  ЗАГС стран, допускающих групповые браки, а ER-диаграммы примера 2.1, описания любых видов браков в организациях, где есть сущности "мужчины" и "женщины", включающие холостых и незамужних.

Что же такое "связь"? В ER-диаграммах это линия, соединяющая  геометрические фигуры, изображающие сущности, атрибуты, ассоциации и другие информационные объекты. В тексте же этот термин используется для указания на взаимозависимость сущностей. Если эта взаимозависимость имеет  атрибуты, то она называется ассоциацией.

 

1.3 Классификация сущностей

 

Настал момент разобраться  в терминологии. К.Дейт [3] определяет три основные класса сущностей: стержневые, ассоциативные и характеристические, а также подкласс ассоциативных сущностей – обозначения.

Стержневая сущность (стержень) – это независимая сущность (несколько подробнее она будет определена ниже).

В рассмотренных ранее  примерах стержни – это "Студент", "Квартира", "Мужчины", "Врач", "Брак" (из примера 2.2) и другие, названия которых помещены в прямоугольники.

Ассоциативная сущность (ассоциация) – это связь вида "многие-ко-многим" ("-ко-многим" и т.д.) между двумя или более сущностями или экземплярами сущности (как в примере 2.4). Ассоциации рассматриваются как полноправные сущности:

они могут участвовать  в других ассоциациях и обозначениях точно так же, как стержневые сущности;

могут обладать свойствами, т.е. иметь не только набор ключевых атрибутов, необходимых для указания связей, но и любое число других атрибутов, характеризующих связь. Например, ассоциации "Брак" из примеров 2.1 и2.4 содержат ключевые атрибуты "Код_М", "Код_Ж" и "Табельный номер мужа", "Табельный номер жены", а также уточняющие атрибуты "Номер свидетельства", "Дата регистрации", "Место_регистрации", "Номер записи в книгу ЗАГС" и т.д.

Характеристическая  сущность (характеристика) – это связь вида "многие-к-одной" или "одна-к-одной" между двумя сущностями (частный случай ассоциации). Единственная цель характеристики в рамках рассматриваемой предметной области состоит в описании или уточнении некоторой другой сущности. Необходимость в них возникает в связи с тем, что сущности реального мира имеют иногда многозначные свойства. Муж может иметь несколько жен (пример 2.3), книга – несколько характеристик переиздания (исправленное, дополненное, переработанное, ...) и т.д.

Существование характеристики полностью зависит от характеризуемой  сущности: женщины лишаются статуса  жен, если умирает их муж.

Для описания характеристики используется новое предложение  ЯИМ, имеющее в общем случае вид:

ХАРАКТЕРИСТИКА (атрибут 1, атрибут 2, ...)              

{СПИСОК ХАРАКТЕРИЗУЕМЫХ  СУЩНОСТЕЙ}.

 

Расширим также язык ER-диаграмм, введя для изображения характеристики трапецию (рис. 2.2).

 

 

Рис. 2.2. Элементы расширенного языка ER-диаграмм

 

Обозначающая  сущность или обозначение – это связь вида "многие-к-одной" или "одна-к-одной" между двумя сущностями и отличается от характеристики тем, что не зависит от обозначаемой сущности.

Рассмотрим пример, связанный  с зачислением сотрудников в  различные отделы организации.

При отсутствии жестких правил (сотрудник может одновременно зачисляться  в несколько отделов или не зачисляться ни в один отдел) необходимо создать описание с ассоциацией  Зачисление:

 

Отделы (Номер отдела, Название отдела, ...)

Служащие (Табельный номер, Фамилия, ...)

Зачисление [Отделы M, Служащие N]          

(Номер отдела, Табельный  номер, Дата зачисления).

 

Однако, при условии, что  каждый из сотрудников должен быть обязательно зачислен в один из отделов, можно создать описание с обозначением Служащие:

 

Отделы (Номер отдела, Название отдела, ...)

Служащие (Табельный номер, Фамилия, ... , Номер отдела,         

 Дата зачисления)[Отделы]

 

В данном примере служащие имеют независимое существование (если удаляется отдел, то из этого  не следует, что также должны быть удалены служащие такого отдела). Поэтому  они не могут быть характеристиками отделов и названы обозначениями.

Обозначения используют для  хранения повторяющихся значений больших  текстовых атрибутов: "кодификаторы" изучаемых студентами дисциплин, наименований организаций и их отделов, перечней товаров и т.п.

Описание обозначения  внешне отличается от описания характеристики только тем, что обозначаемые сущности заключается не в фигурные скобки, а в квадратные:

ОБОЗНАЧЕНИЕ (атрибут 1, атрибут 2, ...)[СПИСОК            

 ОБОЗНАЧАЕМЫХ СУЩНОСТЕЙ].

 

Как правило, обозначения  не рассматриваются как полноправные сущности, хотя это не привело бы к какой-либо ошибке.

Обозначения и характеристики не являются полностью независимыми сущностями, поскольку они предполагают наличие некоторой другой сущности, которая будет "обозначаться" или "характеризоваться". Однако они все же представляют собой  частные случаи сущности и могут, конечно, иметь свойства, могут участвовать  в ассоциациях, обозначениях и иметь  свои собственные (более низкого  уровня) характеристики. Подчеркнем также, что все экземпляры характеристики должны быть обязательно связаны  с каким-либо экземпляром характеризуемой  сущности. Однако допускается, чтобы  некоторые экземпляры характеризуемой  сущности не имели связей. Правда, если это касается браков, то сущность "Мужья" должна быть заменена на сущность "Мужчины" (нет мужа без жены).

Переопределим теперь стержневую сущность как сущность, которая не является ни ассоциацией, ни обозначением, ни характеристикой. Такие сущности имеют независимое существование, хотя они и могут обозначать другие сущности, как, например, сотрудники обозначают отделы.

В заключение рассмотрим пример построения инфологической модели базы данных "Питание", где должна храниться  информация о блюдах (рис. 2.3), их ежедневном потреблении, продуктах, из которых  приготавливаются эти блюда, и поставщиках  этих продуктов. Информация будет использоваться поваром и руководителем небольшого предприятия общественного питания, а также его посетителями.

 

Рис. 2.3. Пример кулинарного рецепта

Лобио по-грузински  - Ломаную очищенную фасоль, нашинкованный лук посолить, посыпать перцем и припустить в масле с небольшим количеством бульона; добавить кинзу, зелень петрушки, рейган (базилик) и довести до готовности. Затем запечь в духовке.  - Фасоль стручковая (свежая или консервированная) 200,  - Лук зеленый 40, Масло сливочное 30, Зелень 10.  - Выход 210. - Калорий 725.

 

 

С помощью указанных пользователей  выделены следующие объекты и  характеристики проектируемой базы:

1. Блюда, для описания которых нужны данные, входящие в их кулинарные рецепты: номер блюда (например, из книги кулинарных рецептов), название блюда, вид блюда (закуска, суп, горячее и т.п.), рецепт (технология приготовления блюда), выход (вес порции), название, калорийность и вес каждого продукта, входящего в блюдо.
2. Для каждого поставщика продуктов: наименование, адрес, название поставляемого продукта, дата поставки и цена на момент поставки.
3. Ежедневное потребление блюд (расход): блюдо, количество порций, дата.

Анализ объектов позволяет  выделить:

• стержни Блюда, Продукты и Города;
• ассоциации Состав (связывает Блюда с Продуктами) и

Поставки (связывает Поставщиков  с Продуктами);

• обозначение Поставщики;
• характеристики Рецепты и Расход.

 

ER-диаграмма модели показана  на рис. 2.4. а модель на языке  ЯИМ имеет следующий вид:

 

Блюда (БЛ, Блюдо, Вид)

Продукты (ПР, Продукт, Калорийность)

Поставщики (ПОС, Город, Поставщик) [Город]

Состав [Блюда M, Продукты N] (БЛ, ПР, Вес (г))

Поставки [Поставщики M, Продукты N] (ПОС, ПР, Дата_П, Цена, Вес (кг))

Города (Город, Страна)

Рецепты (БЛ, Рецепт) {Блюда}

Расход (БЛ, Дата_Р, Порций) {Блюда}

 

В этих моделях Блюдо, Продукт  и Поставщик – наименования, а  БЛ, ПР и ПОС – цифровые коды блюд, продуктов и организаций, поставляющих эти продукты.

 

 

Рис. 2.4. Инфологическая модель базы данных "Питание"

4. О первичных и внешних ключах

 

Напомним, что ключ или возможный ключ – это минимальный набор атрибутов, по значениям которых можно однозначно найти требуемый экземпляр сущности. Минимальность означает, что исключение из набора любого атрибута не позволяет идентифицировать сущность по оставшимся. Каждая сущность обладает хотя бы одним возможным ключом. Один из них принимается за первичный ключ. При выборе первичного ключа следует отдавать предпочтение несоставным ключам или ключам, составленным из минимального числа атрибутов. Нецелесообразно также использовать ключи с длинными текстовыми значениями (предпочтительнее использовать целочисленные атрибуты). Так, для идентификации студента можно использовать либо уникальный номер зачетной книжки, либо набор из фамилии, имени, отчества, номера группы и может быть дополнительных атрибутов, так как не исключено появление в группе двух студентов (а чаще студенток) с одинаковыми фамилиями, именами и отчествами. Плохо также использовать в качестве ключа не номер блюда, а его название, например, " Закуска из плавленых сырков "Дружба" с ветчиной и соленым огурцом" или "Заяц в сметане с картофельными крокетами и салатом из красной капусты".

Не допускается, чтобы  первичный ключ стержневой сущности (любой атрибут, участвующий в  первичном ключе) принимал неопределенное значение. Иначе возникнет противоречивая ситуация: появится не обладающий индивидуальностью, и, следовательно не существующий экземпляр стержневой сущности. По тем же причинам необходимо обеспечить уникальность первичного ключа.

Теперь о внешних ключах:

• Если сущность С связывает сущности А и В, то она должна включать внешние ключи, соответствующие первичным ключам сущностей А и В.
• Если сущность В обозначает сущность А, то она должна включать внешний ключ, соответствующий первичному ключу сущности А.

В п. 2.3 рассматривался пример, где "Служащие" обозначали "Отделы" и включали внешний ключ "Номер отдела", соответствующий первичному ключу сущности "Отделы".

Связь между первичными и  внешними ключами сущностей иллюстрируется рис. 2.5.

 

Рис. 2.5. Структуры: а - ассоциации; б - обозначения (характеристики)

Здесь для обозначения  любой из ассоциируемых сущностей (стержней, характеристик, обозначений  или даже ассоциаций) используется новый обобщающий термин "Цель" или "Целевая сущность".

Таким образом, при рассмотрении проблемы выбора способа представления ассоциаций и обозначений в базе данных основной вопрос, на который следует получить ответ: "Каковы внешние ключи?". И далее, для каждого внешнего ключа необходимо решить три вопроса:

1. Может ли данный внешний  ключ принимать неопределенные  значения (NULL-значения)? Иначе говоря, может ли существовать некоторый  экземпляр сущности данного типа, для которого неизвестна целевая  сущность, указываемая внешним ключом? В случае поставок это, вероятно, невозможно – поставка, осуществляемая  неизвестным поставщиком, или  поставка неизвестного продукта  не имеют смысла. Но в случае  с сотрудниками такая ситуация  однако могла бы иметь смысл  – вполне возможно, что какой-либо  сотрудник в данный момент  не зачислен вообще ни в  какой отдел. Заметим, что ответ  на данный вопрос не зависит  от прихоти проектировщика базы  данных, а определяется фактическим  образом действий, принятым в  той части реального мира, которая  должна быть представлена в  рассматриваемой базе данных. Подобные  замечания имеют отношение и  к вопросам, обсуждаемым ниже.

2. Что должно случиться  при попытке УДАЛЕНИЯ целевой  сущности, на которую ссылается  внешний ключ? Например, при удалении  поставщика, который осуществил по крайней мере одну поставку. Существует три возможности:

 

КАСКАДИРУЕТСЯ	Операция удаления "каскадируется" с тем, чтобы удалить также поставки этого поставщика.
ОГРАНИЧИВАЕТСЯ	Удаляются лишь те поставщики, которые еще не     осуществляли поставок. Иначе операция удаления отвергается.
УСТАНАВЛИВАЕТСЯ	Для всех поставок удаляемого поставщика NULL-значение внешний ключ устанавливается  в неопределенное значение, а затем  этот поставщик удаляется. Такая  возможность, конечно, неприменима, если данный внешний ключ не должен содержать NULL-значений.