Базы данных. Вводный курс

Предисловие

Введение
Устройства внешней памяти
Файловые системы
Структуры файлов
Логическая структура файловых систем и именование файлов

Авторизация доступа к файлам
Синхронизация многопользовательского доступа
Области разумного применения файлов
Потребности информационных систем
Структуры данных
Целостность данных
Языки запросов

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

Ограничения целостности
Иерархическая модель данных
Иерархические структуры данных
Сетевая модель данных
Сетевые структуры данных
Неформальное введение в реляционную модель данных

Реляционные структуры данных
Манипулирование реляционными данными
Целостность в реляционной модели данных
Современные модели данных
Объектно-ориентированная модель данных
Типы и структуры данных объектной модели

Манипулирование данными в объектной модели
Ограничения целостности в объектной модели
Модель данных SQL
Типы и структуры данных SQL
Манипулирование данными в SQL

Ограничения целостности в модели SQL
Истинная реляционная модель
Типы и структуры данных истинной реляционной модели
Манипулирование данными в истинной реляционной модели
Ограничения целостности в истинной реляционной модели
Основные понятия реляционных баз данных

Тип данных
Домен
Заголовок отношения, кортеж, тело отношения, значение отношения, переменная отношения
Первичный ключ и интуитивная интерпретация реляционных понятий
Фундаментальные свойства отношений
Отсутствие кортежей-дубликатов, первичный и возможные ключи отношений
Отсутствие упорядоченности кортежей

Отсутствие упорядоченности атрибутов
Атомарность значений атрибутов, первая нормальная форма отношения
Реляционная модель данных
Общая характеристика
Целостность сущности и ссылок

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

Операция расширенного декартова произведения и совместимость отношений относительно этой операции
Специальные реляционные операции
Операция ограничения
Операция взятия проекции
Операция соединения отношений
Операция деления отношений

Базовые операции Алгебры A
Операция реляционного дополнения
Операция удаления атрибута
Операция переименования
Операция реляционной конъюнкции
Операция реляционной дизъюнкции
Полнота Алгебры A
Выводимость операции взятия разности

Интерпретация операции ограничения
Соединения общего вида
Реляционное деление
Избыточность Алгебры A
Реляционные аналоги штриха Шеффера и стрелки Пирса
Избыточность операции переименования

Исчисление кортежей
Правильно построенные формулы
Простые условия
Кванторы, свободные и связанные переменные
Целевые списки и выражения реляционного исчисления

Исчисление доменов
Условия членства
Выражения исчисления доменов
Функциональные зависимости
Общие определения
Замыкание множества функциональных зависимостей. Аксиомы Армстронга. Замыкание множества атрибутов

Минимальное покрытие множества функциональных зависимостей
Декомпозиция без потерь и функциональные зависимости
Корректные и некорректные декомпозиции отношений. Теорема Хита
Диаграммы функциональных зависимостей

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

Версионный вариант алгоритма временных меток

Примеры запросов с использованием предиката match

Предикат match
Примеры запросов с использованием предиката match
Предикат is distinct
Внешние соединения
Агрегатные функции, группировка и условия раздела HAVING

Семантика агрегатных функций
Результаты запросов и агрегатные функции
Логические выражения раздела HAVING
Предикаты сравнения
Предикат null

Предикаты сравнения с квантором
Предикат distinct
Ссылки на порождаемые таблицы в разделе FROM
Еще один способ формулировки запросов
Случаи, в которых без порождаемых таблиц обойтись невозможно
Более сложные конструкции оператора выборки

Соединенные таблицы
Формальные определения
Примеры соединений разного вида
Примеры запросов с использованием соединенных таблиц
Порождаемые таблицы с горизонтальной связью (lateral_derived_table)

Возможности формулирования аналитических запросов
Раздел GROUP BY ROLLUP
Агрегатная функция GROUPING
Раздел GROUP BY CUBE

Рекурсивные запросы
Определения, относящиеся к рекурсии
Рекурсивные запросы с разделом WITH
Раздел SEARCH
Раздел CYRCLE
Рекурсивные представления

Базовые средства манипулирования данными
Оператор INSERT для вставки строк в существующие таблицы
Вставка всех строк указанной таблицы
Вставка явно заданного набора строк
Вставка строк результата запроса
Оператор UPDATE для модификации существующих строк в существующих таблицах
Оператор DELETE для удаления строк в существующих таблицах
Представления, над которыми возможны операции обновления

Представления, допускающие применение операций обновления, в стандарте SQL/92
Критерии применимости операций обновления
Правила функциональных зависимостей
Раздел WITH CHECK OPTION определения представления

Режимы проверки CASCADED и LOCAL
Исторический очерк
Операции обновления баз данных и механизм триггеров
Понятие триггера в SQL:1999
Синтаксис определения триггеров и типы триггеров
Триггеры BEFORE и AFTER

Триггеры INSERT, UPDATE и DELETE
Триггеры ROW и STATEMENT
Раздел WHEN
Тело триггера
Выполнение триггеров
Возможности использования старых и новых значений
Обработка нескольких триггеров, связанных с одной предметной таблицей

Триггеры и ссылочные действия
Поддержка авторизации доступа к данным в языке SQL
Пользователи и роли
Применение идентификаторов пользователей и имен ролей
Создание и ликвидация ролей
Передача привилегий и ролей

Передача привилегий
Привилегии и представления
Передача ролей
Изменение текущих идентификаторов пользователей и имен ролей
Оператор SET SESSION AUTHORIZATION
Оператор SET ROLE
Аннулирование привилегий и ролей
Аннулирование привилегий

Аннулирование ролей
Управление транзакциями в SQL
ACID-транзакция
Порождение транзакций в SQL:1999
Установка характеристик транзакции
Установка характеристик транзакции - 2
Явная инициация транзакции
Уровни изоляции SQL-транзакции
Феномен «грязного» чтения (dirty read)

Феномен неповторяемого чтения (unrepeatable read)
Феномен фантомов
Завершение транзакций
Транзакции и ограничения целостности
Точки сохранения
Подключения и сессии
Установление соединений

Операторы SQL для управления соединениями
Оператор CONNECT
Оператор SET CONNECTION
Оператор DISCONNECT
Истоки и краткая история объектно-реляционных баз данных
Первые ОРСУБД

Внедрение объектных расширений в основные РСУБД
Объектная модель SQL
Цели лекции
Определяемые пользователями типы
Индивидуальные типы

Определение структурных типов

Определение структурных типов
Определение атрибута структурного UDT
Раздел спецификации ссылочного типа
Разделы спецификации функций явного преобразования типов
Раздел объявления сигнатур методов

Типизированные таблицы
Определение типизированной таблицы
Подтаблицы и супертаблицы
Определение элементов типизированной таблицы
Ссылочные значения и REF-типы
Механизмы генерации ссылочных значений
Преобразование задаваемых пользователем ссылочных значений к ссылочному типу
Спецификация ссылочного типа при объявлении столбцов и атрибутов
Поддержка согласованности ссылок
Выборка данных из типизированных таблиц

Типизированные представления
Книги на русском языке:
Классические статьи в русских переводах.
Неклассические статьи и другие материалы, доступные в Internet

Лучшие (в основном, не переведенные
Статьи про System R, доступные в Internet

Классика баз данных перейти
Unigraphics. Справочник по черчению перейти