- •Пушников а.Ю. Введение в системы управления базами данных Учебное пособие
- •Глава 1. Элементы теории множеств
- •Глава 2. Базовые понятия реляционной модели данных
- •Глава 3. Целостность реляционных данных
- •Глава 4. Реляционная алгебра.
- •Глава 5. Элементы языка sql.
- •Глава 6. Нормальные формы отношений
- •Глава 7. Нормальные формы более высоких порядков
- •Глава 8. Элементы модели "сущность-связь"
- •Глава 9. Транзакции и целостность баз данных
- •Глава 10. Транзакции и параллелизм
- •Глава 11. Транзакции и восстановление данных
- •Введение
- •Глава 1. Элементы теории множеств
- •Глава 2. Базовые понятия реляционной модели данных
- •Глава 3. Целостность реляционных данных
- •Глава 4. Реляционная алгебра
- •Глава 5. Элементы языка sql
- •Insert - вставка строк в таблицу
- •Глава 6. Нормальные формы отношений
- •1Нф (Первая Нормальная Форма)
- •2Нф (Вторая Нормальная Форма)
- •3Нф (Третья Нормальная Форма)
- •Глава 7. Нормальные формы более высоких порядков
- •4Нф (Четвертая Нормальная Форма)
- •5Нф (Пятая Нормальная Форма)
- •Глава 8. Элементы модели "сущность-связь"
- •Глава 9. Транзакции и целостность баз данных
- •Глава 10. Транзакции и параллелизм
- •Глава 11. Транзакции и восстановление данных
- •Список литературы
Глава 6. Нормальные формы отношений
Этапы разработки базы данных Критерии оценки качества логической модели данных Адекватность базы данных предметной области Легкость разработки и сопровождения базы данных Скорость операций обновления данных (вставка, обновление, удаление) Скорость операций выборки данных Основной пример 1НФ (Первая Нормальная Форма) Аномалии обновления Аномалии вставки (INSERT) Аномалии обновления (UPDATE) Аномалии удаления (DELETE) Функциональные зависимости Определение функциональной зависимости Функциональные зависимости отношений и математическое понятие функциональной зависимости 2НФ (Вторая Нормальная Форма) Анализ декомпозированных отношений Оставшиеся аномалии вставки (INSERT) Оставшиеся аномалии обновления (UPDATE) Оставшиеся аномалии удаления (DELETE) 3НФ (Третья Нормальная Форма) Алгоритм нормализации (приведение к 3НФ) Анализ критериев для нормализованных и ненормализованных моделей данных Сравнение нормализованных и ненормализованных моделей OLTP и OLAP-системы Корректность процедуры нормализации - декомпозиция без потерь. Теорема Хеза Выводы
Глава 7. Нормальные формы более высоких порядков
НФБК (Нормальная Форма Бойса-Кодда) 4НФ (Четвертая Нормальная Форма) 5НФ (Пятая Нормальная Форма) Продолжение алгоритма нормализации (приведение к 5НФ) Выводы
Глава 8. Элементы модели "сущность-связь"
Основные понятия ER-диаграмм Пример разработки простой ER-модели Концептуальные и физические ER-модели Выводы
Глава 9. Транзакции и целостность баз данных
Пример нарушения целостности базы Понятие транзакции Ограничения целостности Классификация ограничений целостности Классификация ограничений целостности по способам реализации Классификация ограничений целостности по времени проверки Классификация ограничений целостности по области действия Ограничения домена Ограничения атрибута Ограничения кортежа Ограничения отношения Ограничения базы данных Реализация декларативных ограничений целостности средствами SQL Общие принципы реализации ограничений средствами SQL Синтаксис ограничений стандарта SQL Синтаксис операторов SQL, использующих ограничения Выводы
Глава 10. Транзакции и параллелизм
Работа транзакций в смеси Проблемы параллельной работы транзакций Проблема потери результатов обновления Проблема незафиксированной зависимости (чтение "грязных" данных, неаккуратное считывание) Проблема несовместимого анализа Неповторяемое считывание Фиктивные элементы (фантомы) Собственно несовместимый анализ Конфликты между транзакциями Блокировки Решение проблем параллелизма при помощи блокировок Проблема потери результатов обновления Проблема незафиксированной зависимости (чтение "грязных" данных, неаккуратное считывание) Проблема несовместимого анализа Неповторяемое считывание Фиктивные элементы (фантомы) Собственно несовместимый анализ Разрешение тупиковых ситуаций Преднамеренные блокировки Предикатные блокировки Метод временных меток Механизм выделения версий данных Теорема Есварана о сериализуемости Реализация изолированности транзакций средствами SQL Уровни изоляции Синтаксис операторов SQL, определяющих уровни изоляции Выводы