МГТУ им. Н.Э.Баумана, 2012, 123 с.
Лекции читает преподаватель кафедры ФН-12 МГТУ им. Н.Э.Баумана
Виноградова М.С.
Содержание.
Основные концепции баз данных.
Система управления базами данных.
Системы управления файлами.
Иерархические базы данных.
Сетевые базы данных.
Реляционные базы данных.
Постреляционная модель.
Многомерная модель.
Объектно-ориентированная модель.
Объектно-реляционные базы данных.
Основные понятия реляционных баз данных.
Отношение.
Сущность.
Домен.
Атрибуты.
Кортеж.
Тело.
Значение.
Переменная отношения.
Первичный ключ.
Внешний ключ (foreign key).
Тип данных.
Фундаментальные свойства отношений.
Реляционная модель данных.
Общая характеристика.
Целостность сущности и ссылок.
Целостность сущности (entity integrity).
Целостность по ссылкам (referential integrity).
Пример нарушения ссылочной целостности.
Поддержание ссылочной целостности в БД.
Манипуляционная часть реляционной модели данных.
Реляционная алгебра Кодда.
Теоретико-множественные операции реляционной алгебры.
Специальные реляционные операции.
Замкнутость реляционной алгебры и операция переименования.
Вложенность операций.
Приоритеты операций.
Особенности теоретико-множественных операций реляционной алгебры.
Операция расширенного декартова произведения и совместимость отношений относительно этой операции.
Специальные реляционные операции.
Операция ограничения (RESTRICT).
Операция взятия проекции.
Операция соединения отношений.
Примеры соединения.
Операция деления отношений.
Зачем нужна реляционная алгебра.
Дополнительные операторы.
Полусоединение SEMIJOIN.
Полувычитание SEMIMINUS.
Операция расширения EXTEND.
Обобщающие функции.
Операция обобщения SUMMARIZE.
Транзитивное замыкание.
Группирование и разгруппирование.
Реляционное исчисление.
Исчисление кортежей.
Правильно построенные формулы.
Кванторы. Свободные и связанные переменные кортежей.
Квантор существования EXISTS.
Квантор всеобщности FORALL.
Результирующие списки и выражения реляционного исчисления.
Исчисление доменов.
Функциональные зависимости.
Тривиальные и нетривиальные зависимости.
Замыкание множества зависимостей.
Замыкание множества атрибутов.
Неприводимые множества зависимостей.
Нормальные формы. Декомпозиция без потерь.
Диаграммы функциональных зависимостей.
Нормальные формы.
Сохранение зависимостей. Независимые проекции отношений. Теорема Риссанена.
Перекрывающиеся возможные ключи и нормальная форма Бойса-Кодда.
Аномалии обновлений при наличии многозначных зависимостей и возможная декомпозиция.
Общая схема процедуры нормализации.
Денормализация.
Ортогональное проектирование.
Семантическое моделирование.
Модель сущность/связь.
Уникальные идентификаторы типов сущности.
Нормальные формы ER-диаграмм.
Проектирование базы данных с помощью метода ER-моделирования.
Алгоритм получения реляционной схемы из ER-диаграммы.
Представление в реляционной схеме супертипов и подтипов сущности.
Представление в реляционной схеме взаимно исключающих связей.
Основные концепции баз данных.
Система управления базами данных.
Системы управления файлами.
Иерархические базы данных.
Сетевые базы данных.
Реляционные базы данных.
Постреляционная модель.
Многомерная модель.
Объектно-ориентированная модель.
Объектно-реляционные базы данных.
Основные понятия реляционных баз данных.
Отношение.
Сущность.
Домен.
Атрибуты.
Кортеж.
Тело.
Значение.
Переменная отношения.
Первичный ключ.
Внешний ключ (foreign key).
Тип данных.
Фундаментальные свойства отношений.
Реляционная модель данных.
Общая характеристика.
Целостность сущности и ссылок.
Целостность сущности (entity integrity).
Целостность по ссылкам (referential integrity).
Пример нарушения ссылочной целостности.
Поддержание ссылочной целостности в БД.
Манипуляционная часть реляционной модели данных.
Реляционная алгебра Кодда.
Теоретико-множественные операции реляционной алгебры.
Специальные реляционные операции.
Замкнутость реляционной алгебры и операция переименования.
Вложенность операций.
Приоритеты операций.
Особенности теоретико-множественных операций реляционной алгебры.
Операция расширенного декартова произведения и совместимость отношений относительно этой операции.
Специальные реляционные операции.
Операция ограничения (RESTRICT).
Операция взятия проекции.
Операция соединения отношений.
Примеры соединения.
Операция деления отношений.
Зачем нужна реляционная алгебра.
Дополнительные операторы.
Полусоединение SEMIJOIN.
Полувычитание SEMIMINUS.
Операция расширения EXTEND.
Обобщающие функции.
Операция обобщения SUMMARIZE.
Транзитивное замыкание.
Группирование и разгруппирование.
Реляционное исчисление.
Исчисление кортежей.
Правильно построенные формулы.
Кванторы. Свободные и связанные переменные кортежей.
Квантор существования EXISTS.
Квантор всеобщности FORALL.
Результирующие списки и выражения реляционного исчисления.
Исчисление доменов.
Функциональные зависимости.
Тривиальные и нетривиальные зависимости.
Замыкание множества зависимостей.
Замыкание множества атрибутов.
Неприводимые множества зависимостей.
Нормальные формы. Декомпозиция без потерь.
Диаграммы функциональных зависимостей.
Нормальные формы.
Сохранение зависимостей. Независимые проекции отношений. Теорема Риссанена.
Перекрывающиеся возможные ключи и нормальная форма Бойса-Кодда.
Аномалии обновлений при наличии многозначных зависимостей и возможная декомпозиция.
Общая схема процедуры нормализации.
Денормализация.
Ортогональное проектирование.
Семантическое моделирование.
Модель сущность/связь.
Уникальные идентификаторы типов сущности.
Нормальные формы ER-диаграмм.
Проектирование базы данных с помощью метода ER-моделирования.
Алгоритм получения реляционной схемы из ER-диаграммы.
Представление в реляционной схеме супертипов и подтипов сущности.
Представление в реляционной схеме взаимно исключающих связей.