- •Лекция № 1. Введение
- •1. Системы управления базами данных
- •2. Реляционные базы данных
- •Лекция № 2. Отсутствующие данные
- •1. Пустые значения (Empty-значения)
- •3. Null-значения и общее правило вычисления выражений
- •4. Null-значения и логические операции
- •5. Null-значения и проверка условий
- •Лекция № 3. Реляционные объекты данных
- •1. Требования к табличной форме представления отношений
- •2. Домены и атрибуты
- •3. Схемы отношений. Именованные значения кортежей
- •4. Кортежи. Типы кортежей
- •5. Отношения. Типы отношений
- •Лекция № 4. Реляционная алгебра. Унарные операции
- •1. Унарная операция выборки
- •2. Унарная операция проекции
- •3. Унарная операция переименования
- •4. Свойства унарных операций
- •Лекция № 5. Реляционная алгебра. Бинарные операции
- •1. Операции объединения, пересечения, разности
- •2. Операции декартового произведения и естественного соединения
- •3. Свойства бинарных операций
- •4. Варианты операций соединения
- •5. Производные операции
- •6. Выражения реляционной алгебры
- •Лекция № 6. Язык SQL
- •1. Оператор Select – базовый оператор языка структурированных запросов
- •2. Унарные операции на языке структурированных запросов
- •1. Операция выборки.
- •2. Операция проекции.
- •3. Операция переименования.
- •3. Бинарные операции на языке структурированных запросов
- •1. Операция объединения.
- •2. Операция пересечения.
- •3. Операция разности.
- •4. Операция декартова произведения.
- •5. Операции внутреннего соединения.
- •6. Операция естественного соединения.
- •7. Операция левого внешнего соединения.
- •8. Операция правого внешнего соединения.
- •9. Операция полного внешнего соединения.
- •4. Использование подзапросов
- •Лекция № 7. Базовые отношения
- •1. Базовые типы данных
- •2. Пользовательский тип данных
- •3. Значения по умолчанию
- •4. Виртуальные атрибуты
- •5. Понятие ключей
- •Лекция № 8. Создание базовых отношений
- •1. Металингвистические символы
- •2. Пример создания базового отношения в записи на псевдокоде
- •3. Ограничение целостности по состоянию
- •4. Ограничения ссылочной целостности
- •5. Понятие индексов
- •6. Модификация базовых отношений
- •Лекция № 9. Функциональные зависимости
- •1. Ограничение функциональной зависимости
- •2. Правила вывода Армстронга
- •3. Производные правила вывода
- •4. Полнота системы правил Армстронга
- •Лекция № 10. Нормальные формы
- •1. Смысл нормализации схем баз данных
- •2. Первая нормальная форма (1NF)
- •3. Вторая нормальная форма (2NF)
- •4. Третья нормальная форма (3NF)
- •5. Нормальная форма Бойса – Кодда (NFBC)
- •6. Вложенность нормальных форм
- •Лекция № 11. Проектирование схем баз данных
- •1. Различные типы и кратности связей
- •2. Диаграммы. Виды диаграмм
- •3. Связи и миграция ключей
- •Лекция № 12. Связи классов сущностей
- •1. Иерархическая рекурсивная связь
- •2. Сетевая рекурсивная связь
- •3. Ассоциация
- •4. Обобщения
- •5. Композиция
- •6. Агрегация
- •7. Унификация атрибутов
- •Лекция № 13. Экспертные системы и продукционная модель знаний
- •1. Назначение экспертных систем
- •2. Структура экспертных систем
- •3. Участники разработки экспертных систем
- •4. Режимы работы экспертных систем
- •5. Продукционная модель знаний
4. Обобщения
Очередным видом связи классов сущностей между собой, который мы рассмотрим, является связь вида обобщение. Это также нерекурсивный вид связи.
Итак, связь типа обобщение реализуется как взаимосвязь одного родительского класса сущностей с несколькими дочерними классами сущностей (в отличие от предыдущей рассмотренной связи Ассоциации, в которой речь шла о нескольких родительских классах сущностей и одним дочернем классе сущностей).
При формулировании правил представления данных при помощи связи Обобщения необходимо сразу сказать, что эта взаимосвязь одного родительского класса сущностей и нескольких дочерних классов сущностей, описывается полностью идентифицирующими связями, т. е. категориальными связями. Вспоминая определение полностью идентифицирующих связей, мы приходим к выводу, что при использовании Обобщения каждый атрибут первичного ключа родительского класса сущностей переносится в состав первичного ключа классов сущностей дочерних, т. е. атрибуты первичного мигрирующего ключа родительского класса сущностей полностью формируют первичные ключи всех дочерних классов сущностей, они их идентифицируют.
Любопытно отметить, что при Обобщении реализуется так называемая иерархия категорий или иерархия наследования.
При этом родительский класс сущностей определяет класс обобщенных сущностей, характеризующийся атрибутами, общими для сущностей всех дочерних классов или так называемых категориальных сущностей т. е. родительский класс сущностей представляет собой буквальное обобщение всех своих дочерних классов сущностей.
В качестве примера реализации обобщения в реляционной модели данных построим следующую модель. Эта модель будет основана на обобщенном понятии «Учащиеся» и будет описывать следующие категориальные понятия (т. е. будет обобщать следующие дочерние классы сущностей): «Школьники», «Студенты» и «Аспиранты».
Итак, построим ключевую диаграмму, отражающую суть взаимоотношений между родительским классом сущности и дочерними классами сущностей, описываемых связью типа Обобщение.
Итак, что же мы видим?
Во-первых, каждому из базовых отношений (или из классов сущностей, что одно и то же) «Школьники», «Студенты» и «Аспиранты» соответствуют свои собственные атрибуты, как то «Класс», «Курс» и «Год обучения». Каждый из этих атрибутов характеризует участников своего собственного класса сущностей. Еще мы видим, что первичный ключ родительского класса сущностей «Учащиеся» мигрирует в каждый дочерний класс сущностей и формирует там первичный внешний ключ. При помощи этих связей мы можем по коду любого учащегося определить его имя, фамилию и отчество, информацию о которых мы не найдем в самих соответствующих дочерних классах сущностей.
Во-вторых, так как мы говорим о полностью идентифицирующей (или категориальной) связи классов сущностей, то обратим внимание на кратности связей между родительским классом сущностей и его дочерними классами. На родительском конце каждой из этих связей стоит кратность «один», а на каждом дочернем конце связей стоит кратность «не более одного». Если вспомнить определение полностью идентифицирующей связи классов сущностей, то становится понятно, что действительно единственный в своем роде код учащегося, являющийся первичным ключом класса сущностей «Учащиеся», задает не более одного атрибута с таким кодом в каждом дочернем классе сущностей «Школьники», «Студенты» и «Аспиранты». Поэтому все связи имеют именно такие кратности.
Запишем фрагмент операторов создания базовых отношений «Школьники» и «Студенты» с определением правил поддержания ссылочной целостности типа cascade. Итак, имеем:
Create table Школьники
…
primary key (Код ученика)
foreign key (Код ученика) references Учащиеся (Код ученика) on update cascade
on delete cascade
Create table Студенты
…
primary key (Код студента)
foreign key (Код студента) references Учащиеся (Код студента) on update cascade
on delete cascade;
Таким образом, мы видим, что в дочернем классе сущностей (или отношений) «Школьники» задается первичный внешний ключ, ссылающийся на родительский класс сущностей (или отношение) «Учащиеся». Правило cascade поддержания ссылочной целостности определяет, что при удалении или при обновлении атрибутов родительского класса сущностей «Учащиеся» соответствующие им атрибуты дочернего отношения «Школьники» будут автоматически (каскадом) обновляться или удаляться. Аналогично при удалении или при обновлении атрибутов родительского класса сущностей «Учащиеся» соответствующие им атрибуты дочернего отношения «Студенты» также будут автоматически обновляться или удаляться.
Необходимо заметить, что здесь используется именно это правило поддержания ссылочной целостности, потому что в данном контексте (перечень учащихся) не рационально запрещать удаление и обновление информации, а также присваивать неопределенное значение вместо реальных сведений.
А теперь приведем пример классов сущностей, описанных в предыдущей диаграмме, только представленных в табличной форме. Итак, имеем следующие таблицы-отношения:
Учащиеся – родительское отношение, объединяющее в себе информацию об атрибутах всех остальных отношений:
Школьники – дочернее отношение:
Студенты – второе дочернее отношение:
Аспиранты – третье дочернее отношение:
Итак, действительно, мы видим, что в дочерних классах сущностей не прописана
информация о фамилии, имени и отчестве учащихся, т. е. школьников, студентов и аспирантов. Эту информацию можно получить только посредством ссылок на родительский класс сущностей.
Также мы видим, что различные коды учащихся в классе сущностей «Учащиеся» могут соответствовать различным дочерним классам сущностей. Так, про учащегося с кодом «1» Заботина Николая в родительском отношении неизвестно ничего, кроме его имени, а всю остальную информацию (кто он, школьник, студент или аспирант) можно узнать только обратившись к соответствующему дочернему классу сущностей (определяется по коду).
Аналогичным образом необходимо работать с остальными учащимися, чьи коды указаны в родительском классе сущностей «Учащиеся».