§2. Er-модель. Основные понятия
1. Основные понятия er-модели
Тип сущности, экземпляр типа сущности, ER-диаграмма представления типа сущности.
Тип связи, экземпляр типа связи, представление связи на ER-диаграмме. Семантическая сеть для представления экземпляров типа связи. Степень типа связи. Рекурсивность связи. Имена ролей.
Атрибуты. Домены. Свойства атрибутов: простой, составной, однозначный, многозначный, производный. Представление атрибутов на ER-диаграмме. Атрибуты связей. Потенциальные и первичные ключи.
Ограничения кратности связей: кардинальность и степень участия. Представление ограничений кратности на ER-диаграмме.
2. Тип сущности
Тип сущности. Группа объектов с одинаковыми свойствами, которая рассматривается в конкретной предметной области как имеющая независимое существование.
Физическое (реальное) существование. Концептуальное (абстрактное) существование.
Экземпляр типа сущности. Однозначно идентифицируемый объект, который относится к сущности определенного типа.
Представление типа сущности на ER-диаграмме. Правило определения имени сущности.
2. Тип связи
Тип связи. Набор осмысленных ассоциаций между сущностями разных типов.
Экземпляр связи. Однозначно идентифицируемая ассоциация, которая включает по одному экземпляру сущности из каждого участвующего в связи типа
Представление типа связи на ER-диаграмме. Правило определения имени связи. Направление действия связи.
Семантическая сеть для представления «наиболее характерных» экземпляров типа связи.
Обозначение экземпляров сущностей и экземпляров связей.
Каждый экземпляр сущностей Branch и Staff обозначен с использованием значений атрибутов первичного ключа для этих сущностей (branchNo и staffNo). Атрибуты первичного ключа позволяют однозначно идентифицировать каждый экземпляр сущности.
Степень типа связи. Количество типов сущностей, которые охвачены данной связью.
Бинарная связь. Сложная связь.
Пример двухсторонней связи POwns.
Представление сложной связи на ER-диаграмме.
Пример трехсторонней связи Registers.
Пример четырехсторонней связи Arranges с четырьмя участвующими типами сущностей, а именно Buyer (Покупатель), Solicitor (Доверенное лицо), Financiallnstitution (Финансовый -орган) и Bid (Сделка).
Рекурсивная связь. Связь, в которой одни и те же сущности участвуют несколько раз в разных ролях.
Пример рекурсивной связи Supervises с ролевыми именами Supervisor и Supervisee.
Связь Supervises представляет взаимосвязь персонала с инспектором, также входящим в состав персонала. Иначе говоря, сущность Staff участвует в связи Supervises дважды: первый раз — в качестве инспектора, а второй — в качестве сотрудника, которым управляют.
Ролевые имена используются для указания назначения каждой сущности, участвующей в связи.
Использование имен ролей, когда две сущности связаны несколькими связями.
Ролевые имена обычно не требуются, если функции сущностей, участвующих в связи, определены однозначно.
3. Атрибуты
Атрибут. Свойство типа сущности или типа связи.
Домен атрибута. Набор допустимых значений одного или нескольких атрибутов.
Каждый атрибут связан с набором значений, который называется доменом. Домен определяет все потенциальные значения, которые могут быть присвоены атрибуту; представленное здесь понятие домена аналогично понятию, рассматриваемому в реляционной модели.
Простой атрибут. Атрибут, состоящий из одного компонента с независимым существованием. Простые атрибуты не могут быть разделены на более мелкие компоненты.
Составной атрибут. Атрибут, состоящий из нескольких компонентов, каждый из которых характеризуется независимым существованием.
Когда следует определять атрибут как простой/составной.
Однозначный атрибут. Атрибут, который содержит одно значение для каждого экземпляра сущности определенного типа.
Многозначный атрибут. Атрибут, который содержит несколько значений для каждого экземпляра сущности определенного типа.
Производный (вычисляемый) атрибут. Атрибут, который представляет значение, производное от значения связанного с ним атрибута или некоторого множества атрибутов, принадлежащих некоторому (не обязательно данному) типу сущности.
Например, атрибут /totalStaff (Общее количество сотрудников) сущности типа Staff может быть вычислен на основе подсчета общего количества экземпляров сущности Staff.
Потенциальный ключ. Атрибут или минимальный набор атрибутов, который однозначно идентифицирует каждый экземпляр типа сущности.
Потенциальный ключ должен содержать значения, которые уникальны для каждого отдельного экземпляра сущности данного типа. Это означает, что потенциальный ключ не может содержать значения NULL.
Первичный ключ. Потенциальный ключ, который выбран для однозначной идентификации каждого экземпляра сущности определенного типа.
Выбор первичного ключа. Тип сущности может иметь несколько потенциальных ключей. Выбор первичного ключа сущности осуществляется с учетом суммарной длины атрибутов, минимального количества необходимых атрибутов в ключе, а также наличия гарантий уникальности его значений в текущий момент времени и в обозримом будущем.
Составной ключ. Потенциальный ключ, который состоит из двух или нескольких атрибутов.
Правила представления атрибутов на ER-диаграмме.
Порядок атрибутов. Первым атрибутом (атрибутами) в списке должен быть первичный ключ для сущности данного типа, если он известен. Имя (имена) атрибута (атрибутов) первичного ключа должно быть обозначено дескриптором {РК} (сокращение от primary key).
Имена атрибутов. Принято присваивать атрибуту имя, которое начинается со строчной буквы, а если оно состоит из нескольких слов, то первая буква каждого следующего слова пишется с прописной буквы (например, address и telNo).
Дополнительные дескрипторы. Кроме того, на схемах могут применяться дополнительные дескрипторы, в том числе дескриптор с обозначением компонента первичного ключа {РРК} (сокращение от partial primary key), если атрибут образует часть составного первичного ключа, и дескриптор с обозначением альтернативного ключа {АК} (сокращение от alternate key).
Составной атрибут. За сложным атрибутом следует список составляющих его простых атрибутов, обозначенный отступом вправо.
Многозначные атрибуты. Рядом с именами многозначных атрибутов ставится обозначение диапазона возможных значений этого атрибута. Например, если атрибут telNo обозначен диапазоном [1..*] , это означает, что атрибут telNo может принимать одно или несколько значений. А если точно известно максимальное количество значений, можно обозначить атрибут с указанием точного диапазона. Например, если атрибут telNo не может содержать более трех значений, то он обозначается с помощью диапазона [1..3].
Производные атрибуты отмечаются префиксом в виде косой черты (/).