- •Установочный модуль
- •Введение
- •Модуль 1
- •Реляционная алгебра
- •Отсутствующие данные
- •Пустые значения
- •Неопределенные значения
- •Интерпретации
- •Правила вычисления выражений
- •Следствия
- •Проверка условий
- •Реляционные объекты данных
- •Формальные определения
- •Домены и атрибуты
- •Схема отношения
- •Именованное значение атрибута
- •Кортеж
- •Отношение
- •Схема базы данных
- •База данных
- •Операции реляционной алгебры
- •Унарные операции
- •Бинарные операции
- •Варианты операции соединения
- •Производные операции
- •Пример построения выражения реляционной алгебры
- •Понятие базовых и виртуальных отношений
- •Понятие полноты реляционной алгебры
- •Формирование запросов на языке SQL
- •Металингвистические символы
- •Реализация операций реляционной алгебры
- •Пример использования подзапросов
- •Группирующие запросы
- •Упорядочение результатов
- •Вопросы для самоконтроля
- •Упражнения
- •Построение выражений реляционной алгебры
- •Модуль 2
- •Базовые и виртуальные отношения
- •Типы данных
- •Базовые типы данных
- •Типы данных, определяемые пользователем
- •Первичные и кандидатные ключи
- •Создание базовых отношений
- •Индексы
- •Модификация базовых отношений
- •Вставка строк
- •Обновление строк
- •Удаление строк
- •Целостность
- •Декларативная поддержка
- •Пример декларативной поддержки целостности
- •Транзакции и блокировки
- •Триггеры
- •Виртуальные отношения
- •Вопросы для самоконтроля
- •Упражнения
- •Декларативная поддержка целостности
- •Модуль 3
- •Нормальные формы
- •Функциональные зависимости (ФЗ)
- •Правила вывода Армстронга
- •Производные правила вывода
- •Независимость правил Армстронга
- •Полнота системы правил Армстронга
- •Нормальные формы
- •Первая нормальная форма (1NF)
- •Вторая нормальная форма (2NF)
- •Третья нормальная форма (3NF)
- •Нормальная форма Бойса-Кодда (Boyce, Codd; NFBC)
- •Пример построения нормализованных схем отношений
- •Вопросы для самоконтроля
- •Модуль 4
- •Проектирование схем баз данных
- •Уровни логической модели
- •Миграция ключей и виды связей
- •Классификация кластеров
- •Иерархическая рекурсия
- •Абстрактная схема
- •Обобщения
- •Пример реализации иерархической рекурсии
- •Сетевая рекурсия
- •Абстрактная схема
- •Сетевая реализация иерархической рекурсии
- •Обобщения
- •Пример реализации сетевой рекурсии
- •Ассоциация
- •Детализация связей многие-ко-многим
- •Обобщения
- •Пример реализации ассоциации
- •Обобщение
- •Абстрактная схема
- •Пример реализации обобщения
- •Композиция
- •Абстрактная схема
- •Пример реализации композиции
- •Агрегация
- •Абстрактная схема
- •Пример реализации агрегации
- •Унификация атрибутов
- •Вопросы для самоконтроля
- •Упражнения
- •Иерархическая рекурсия
- •Сетевая рекурсия
- •Ассоциация
- •Обобщение
- •Композиция
- •Агрегация
- •Дополнительные главы
- •Технологии баз данных
- •Информационные системы
- •Жизненный цикл ИС
- •СУБД и БД
- •Жизненный цикл БД и средства проектирования
- •Модели данных
- •Иерархическая модель данных
- •Сетевая модель данных
- •Реляционная модель данных
- •Постреляционная модель данных
- •Объектно-ориентированные модели данных
- •XML как модель данных
- •Многомерная модель данных (OLAP)
- •Основные функции СУБД
- •Управление данными во внешней памяти
- •Управление буферами оперативной памяти
- •Управление транзакциями
- •Журнализация и восстановление БД после сбоев
- •Поддержка языков баз данных
- •Типовая организация СУБД
- •Модели взаимодействия с БД
- •Модель с централизованной архитектурой
- •Модель с автономными персональными компьютерами
- •Архитектура «файл-сервер»
- •Архитектура «клиент-сервер»
- •Архитектура «клиент-сервер» трехзвенная
- •Распределенные базы данных
- •Технология тиражирования данных
- •Понятие «фрактал»
- •Геометрические фракталы
- •Алгебраические фракталы
- •Стохастические фракталы
- •Системы итерируемых функций
- •Вопросы для самоконтроля
- •Литература
- •Список иллюстраций
- •Список таблиц
Список таблиц
2.1.Интерпретации null-значения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2.Таблицы истинности . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.3. Примеры значений выражений при null-значении операнда x . . . . . . . . . . . . . . 21
2.4.Примеры значений предиката IsNull . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.5.Примеры значений функции IfNull . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.6.Пример сведения многоярусного заголовка к одноярусному . . . . . . . . . . . . . . . . 25
2.7. Пример выполнения операций [; \ и n . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.8.Пример выполнения операции декартова произведения . . . . . . . . . . . . . . . . . . 38
2.9.Пример выполнения операции естественного соединения . . . . . . . . . . . . . . . . . 39
2.10.Группа 2 свойств бинарных операций . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.11.Операнды операций соединения (табл. 2.12, 2.13) . . . . . . . . . . . . . . . . . . . . . 43
2.12.Внутреннее и левое соединения (табл. 2.11, P = (B1 = B2)) . . . . . . . . . . . . . . . 43
2.13.Правое и полное соединения (табл. 2.11, P = (B1 = B2)) . . . . . . . . . . . . . . . . . 44
3.1.Модификация таблицы при удалении и добавлении строк . . . . . . . . . . . . . . . . 78
3.2.Индексы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
4.1. Пример ненормализованного отношения . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
4.2.Примеры атрибутов различных видов . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
4.3.Пример допустимого состояния отношения R . . . . . . . . . . . . . . . . . . . . . . . . 137
4.4.Диаграмма вложенности нормальных форм . . . . . . . . . . . . . . . . . . . . . . . . . 138
5.1.Изображение класса сущностей с секцией ограничений . . . . . . . . . . . . . . . . . . 152
5.2.Ассоциация. Пример в табличной форме (см. 5.6.3, табл. 5.3) . . . . . . . . . . . . . . 181
5.3.Ассоциация. Пример в табличной форме (см. 5.6.3, табл. 5.2) . . . . . . . . . . . . . . 181
5.4. |
Обобщение. Пример в табличной форме (см. 5.7.2, табл. |
5.5) . . . . . . . . . . . . . . |
187 |
5.5. |
Обобщение. Пример в табличной форме (см. 5.7.2, табл. |
5.4) . . . . . . . . . . . . . . |
188 |
5.6. |
Композиция. Пример в табличной форме (см. 5.8.2) . . . . . . . . . . . . . . . . . . . . |
194 |
6.1.Отношения R< и R> . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 232
6.2.Отношение строгого порядка . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233