Программа дисциплины Системы управления базами данных Семестры 6

Вид материалаПрограмма дисциплины
Подобный материал:
Направление 010100 математика

Профили Вычислительная математика и информатика

Степень бакалавр

Программа

дисциплины Системы управления базами данных


Семестры 6


Задачи курса:

Освоение реляционной модели данных и модели сущность-связь, знакомство с архитектурами систем управления реляционными базами данных. Использование языка запросов. Знания математических основ транзакций.


Содержание курса


Предмет теории баз данных

Роль систем управления базами данных (СУБД) в программной инженерии

Архитектура ANSI/SPARC

Модель данных систем управления реляционными базами данных (СУРДБ)

Основы Data Definition Language (DDL )

Идентификация в реляционной модели

Основы Data Manipulation Language (DML)

Работа с выражениями в SQL

Поиск в SQL

Соединение данных в SQL

Группировка и агрегирование данных в SQL

Ранжирование в SQL

Управление порядком выдачи SQL-запроса

Декомпозиция сложного SQL-запроса

Модель сущность-связь

Реляционная алгебра

Реляционной исчисление

Рекурсия в реляционном исчислении и языке SQL

Подсистема разбора и оптимизации запросов СУРБД

Хранимые процедуры

Нагрузочные тесты для хранимых процедур

Триггеры

Нагрузочные тесты для триггеров

Курсоры

Нагрузочные тесты для курсоров

Управление индексами

Организация физического уровня СУРДБ для целей надёжного (durable) хранения данных

Декомпозиция файла операционной системы

Декомпозиция файла базы данных

Индексы, основанные на деревьях

Индексы, основанные на хэш-массивах

Соответствие операций физического и логического уровней

Критерии сложности операций физического уровня

Сложность операций логического уровня

План выполнения запроса

Операторы физического уровня

Поиск бутылочного горлышка (bottleneck)

Страничная модель памяти

История выполнения транзакции

Семантика Эрбрана

Аномалии изоляции транзакций и упорядоченная история

Упорядочиваемость (serializability) историй по конечным состояниям (FSR)

Упорядочиваемость историй по промежуточным состояниям (VSR)

Особенности класса VSR

Упорядочиваемость историй по отношению конфликтования

Особенности класса CSR

Алгоритм Gen2PL

Семантика Эрбрана и многоверсионная модель памяти

Виды и гранулярность блокировок

Отношение конфликтования в реляционной модели

Уровни изоляции транзакций

Иерархическая и сетевая модели данных

Аномалии добавления, изменения и удаления

Атомарность данных и первая нормальная форма

Функциональные зависимости

Вторая и третья нормальные формы

Нормальная форма Бойса-Кодда

Многозначные зависимости

Четвёртая и пятая нормальные формы