Супертипы и подтипы.

1. Общая таблица для всех подтипов

A

T

a1

a2

…

…

…

aM

b11

…

…

…

b1k1

…

…

…

bnkn

‘B1’

X

X

X

X

X

X

X

X

X

X

X

NULL

NULL

NULL

NULL

T-признак подтипа, X-некоторое значние.

Для супертипа верно что (см след билет):

1. для любого b Є Bi => b Є А
2. для любого a Є A => a Є Bi
3. для любого b Є Bi => b!Є Bj

Извлечь объекты супертипа: PROJECT A{a₁…a_m, b_i1…b_ik}WHERE t =’Bi’

1. Отдельная таблица для каждого подтипа

Собрать супертип: PROJECT B₁{a₁…a_m}UNION…UNION B_n{a₁…a_m}

Достоинства а.

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

Недостатки а.

• усложнение программного кода приложений
• общая таблица потенциально может стать узким местом при многопользовательском режиме
• расход внешней памяти (много NULL)

Достоинства б.

• действуют более понятные правила работы с подтипами (каждому подтипу соответствует одноименная таблица);
• упрощается логика приложений; каждая программа работает только с нужной таблицей.

Недостатки б.

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

 

 

Взаимно исключающие связи в ER-модели. Примеры. Отображение диаграммы со взаимно исключающими связями в реляционную схему.

Для заданной сущности можно определить такой набор связей с другой сущностью, что для каждого экземпляра сущности может/должен существовать только одной связи из данного набора.

Диаграмма со взаимно исключающими связями может быть преобразована к диаграмме с наследованием 2 способами:

1. Специализация (внедрение подтипов). Пример, см рис Б.
2. Введение общего супертипа (обобщение).

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

1. Представление взаимоисключающих связей.

Преобразовать взаимоисключающие связи по пункту 6.

Если связь 1-мн (причем конец много подсоединен к сущности), то следующие выходы:

1. общее хранение внешних ключей;

Если внешние ключи всех потенциально связанных таблиц имеют общий формат, то можно применить способ (a), т. е. создать два столбца: идентификатор связи и идентификатор сущности (возможно, составной).

1. раздельное хранение внешних ключей.

В таблице как минимум n столбцов (любой может быть составным – внешний ключ связи)

Достоинства а.

• минимальное число столбцов

Недостатки а.

• усложнение выполнения операции соединения

Достоинства б.

• Упрощение операции соединение (A NATURAL JOIN B)

Недостатки б.

• Требуется большое число столбцов (в любом может быть NULL) => расход памяти.

 

Диаграммы классов языка UML. Основные понятия. Отображение классов, стереотипов, комментариев и ограничений на диаграммах. Примеры.

UML позволяет моделировать разные виды систем: чисто программные, чисто аппаратные, программно-аппаратные, смешанные, явно включающие деятельность людей и т. д.

Стандарт: 12 диаграмм классов, позволяющих описать статические (структурные) и динамические (поведенческие) свойства систем.

Основные понятия:

Диаграмма классов может включать комментарии (соединяются пунктиром с той сущностью, которую поясняют) и ограничения (заключают в { }). Ограничения могут неформально задаваться на естественном языке или же могут формулироваться на языке объектных ограничений OCL (Object Constraints Language).

Классом называется именованное описание совокупности объектов с общими атрибутами, операциями, связями и семантикой (изображается прямоугольником).

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

Операцией класса называется именованная услуга, которую можно запросить у любого объекта этого класса. Операция – это абстракция поведения объекта.

Стереотип – механизм расширения семантики UML, позволяющий создать новые элементы UML на основе существующих, с учетом особенности решения задачи.

В стандарте предусмотрен набор стереотипов.

Класс

Стереотип

<<enumeration>> Sex

М

Ж

 

 

 

//Определение перечисляемого типа