Учебное пособие. 178 стр.
Содержание:
Элементы теории множеств (Множества. Операции над множествами. Декартово произведение множеств. Отношение. Примеры отношений. Бинарные отношения. Отношение эквивалентности. Отношения порядка. Функциональное отношение. n-арные отношения. Транзитивное замыкание отношений).
Базовые понятия реляционной модели данных (Общая характеристика реляционной модели данных. Типы данных, используемые в реляционной модели. Домены. Отношения, атрибуты, кортежи отношения. Свойства отношений. Первая нормальная форма).
Целостность реляционных данных (Null-значения. Трехзначная логика (3VL). Потенциальные ключи. Целостность сущностей. Внешние ключи. Целостность внешних ключей. Операции, могущие нарушить ссылочную целостность. Стратегии поддержания ссылочной целостности, их применение).
Реляционная алгебра (Обзор реляционной алгебры. Замкнутость реляционной алгебры. Отношения, совместимые по типу. Теоретико-множественные операторы. Специальные реляционные операторы: выборка (ограничение, селекция), проекция, соединение, тэта-соединение, экви-соединение, естественное соединение, деление. Зависимые реляционные операторы. Запросы, невыразимые средствами реляционной алгебры. Плохая нормализация отношений. Невыразимость транзитивного замыкания реляционными операторами. Кросс-таблицы).
Элементы языка SQL (Операторы SQL. Операторы DDL. Операторы DML. Операторы защиты и управления данными. Примеры использования операторов манипулирования данными: INSERT, UPDATE, DELETE. Имена корреляции (алиасы, псевдонимы). Агрегатные функции. Группировки. Подзапросы. Синтаксис оператора выборки данных (SELECT). BNF-нотация. Порядок выполнения оператора SELECT. Реляционная полнота SQL).
Нормальные формы отношений (Этапы разработки базы данных. 1НФ (Первая Нормальная Форма). Аномалии обновления. Функциональные зависимости. 2НФ (Вторая Нормальная Форма). Анализ декомпозированных отношений. 3НФ (Третья Нормальная Форма). Алгоритм нормализации. OLTP и OLAP-системы. Корректность процедуры нормализации - декомпозиция без потерь. Теорема Хеза).
Нормальные формы более высоких порядков (НФБК (Нормальная Форма Бойса-Кодда). 4НФ (Четвертая Нормальная Форма). 5НФ (Пятая Нормальная Форма). Продолжение алгоритма нормализации).
Элементы модели "сущность-связь" (Основные понятия ER-диаграмм. Пример разработки простой ER-модели. Концептуальные и физические ER-модели).
Транзакции и целостность баз данных (Пример нарушения целостности базы. Понятие транзакции. Ограничения целостности. Классификация ограничений целостности. Реализация декларативных ограничений целостности средствами SQL. Общие принципы реализации ограничений средствами SQL. Синтаксис ограничений стандарта SQL. Синтаксис операторов SQL, использующих ограничения).
Транзакции и параллелизм (Работа транзакций в смеси. Потеря результатов обновления. Незафиксированная зависимость (чтение "грязных" данных, неаккуратное считывание). Неповторяемое считывание. Фиктивные элементы (фантомы). Собственно несовместимый анализ. Конфликты между транзакциями. Блокировки. Разрешение тупиковых ситуаций. Преднамеренные блокировки. Предикатные блокировки. Метод временных меток. Механизм выделения версий данных. Теорема Есварана о сериализуемости. Реализация изолированности транзакций средствами SQL. Уровни изоляции. Синтаксис операторов SQL, определяющих уровни изоляции).
Транзакции и восстановление данных (Виды восстановления данных. Индивидуальный откат транзакции. Восстановление после мягкого сбоя. Восстановление после жесткого сбоя. Восстановление данных и стандарт SQL).
Содержание:
Элементы теории множеств (Множества. Операции над множествами. Декартово произведение множеств. Отношение. Примеры отношений. Бинарные отношения. Отношение эквивалентности. Отношения порядка. Функциональное отношение. n-арные отношения. Транзитивное замыкание отношений).
Базовые понятия реляционной модели данных (Общая характеристика реляционной модели данных. Типы данных, используемые в реляционной модели. Домены. Отношения, атрибуты, кортежи отношения. Свойства отношений. Первая нормальная форма).
Целостность реляционных данных (Null-значения. Трехзначная логика (3VL). Потенциальные ключи. Целостность сущностей. Внешние ключи. Целостность внешних ключей. Операции, могущие нарушить ссылочную целостность. Стратегии поддержания ссылочной целостности, их применение).
Реляционная алгебра (Обзор реляционной алгебры. Замкнутость реляционной алгебры. Отношения, совместимые по типу. Теоретико-множественные операторы. Специальные реляционные операторы: выборка (ограничение, селекция), проекция, соединение, тэта-соединение, экви-соединение, естественное соединение, деление. Зависимые реляционные операторы. Запросы, невыразимые средствами реляционной алгебры. Плохая нормализация отношений. Невыразимость транзитивного замыкания реляционными операторами. Кросс-таблицы).
Элементы языка SQL (Операторы SQL. Операторы DDL. Операторы DML. Операторы защиты и управления данными. Примеры использования операторов манипулирования данными: INSERT, UPDATE, DELETE. Имена корреляции (алиасы, псевдонимы). Агрегатные функции. Группировки. Подзапросы. Синтаксис оператора выборки данных (SELECT). BNF-нотация. Порядок выполнения оператора SELECT. Реляционная полнота SQL).
Нормальные формы отношений (Этапы разработки базы данных. 1НФ (Первая Нормальная Форма). Аномалии обновления. Функциональные зависимости. 2НФ (Вторая Нормальная Форма). Анализ декомпозированных отношений. 3НФ (Третья Нормальная Форма). Алгоритм нормализации. OLTP и OLAP-системы. Корректность процедуры нормализации - декомпозиция без потерь. Теорема Хеза).
Нормальные формы более высоких порядков (НФБК (Нормальная Форма Бойса-Кодда). 4НФ (Четвертая Нормальная Форма). 5НФ (Пятая Нормальная Форма). Продолжение алгоритма нормализации).
Элементы модели "сущность-связь" (Основные понятия ER-диаграмм. Пример разработки простой ER-модели. Концептуальные и физические ER-модели).
Транзакции и целостность баз данных (Пример нарушения целостности базы. Понятие транзакции. Ограничения целостности. Классификация ограничений целостности. Реализация декларативных ограничений целостности средствами SQL. Общие принципы реализации ограничений средствами SQL. Синтаксис ограничений стандарта SQL. Синтаксис операторов SQL, использующих ограничения).
Транзакции и параллелизм (Работа транзакций в смеси. Потеря результатов обновления. Незафиксированная зависимость (чтение "грязных" данных, неаккуратное считывание). Неповторяемое считывание. Фиктивные элементы (фантомы). Собственно несовместимый анализ. Конфликты между транзакциями. Блокировки. Разрешение тупиковых ситуаций. Преднамеренные блокировки. Предикатные блокировки. Метод временных меток. Механизм выделения версий данных. Теорема Есварана о сериализуемости. Реализация изолированности транзакций средствами SQL. Уровни изоляции. Синтаксис операторов SQL, определяющих уровни изоляции).
Транзакции и восстановление данных (Виды восстановления данных. Индивидуальный откат транзакции. Восстановление после мягкого сбоя. Восстановление после жесткого сбоя. Восстановление данных и стандарт SQL).