- •Содержание
- •Список сокращений
- •Введение
- •Основные понятия теории баз данных
- •Понятие системы баз данных
- •Базы данных и их назначение
- •Данные и модели данных
- •Типы систем баз данных
- •Архитектура системы баз данных
- •Уровни архитектуры
- •Система управления базами данных
- •Система управления передачей данных
- •Архитектура «клиент-сервер»
- •Утилиты
- •Распределенная обработка
- •Семантическое моделирование
- •Общий подход
- •Модель «сущность/связь»
- •Введение в реляционные базы данных
- •Реляционная модель
- •Отношения и переменные-отношения
- •Оптимизация
- •Каталог
- •Базовые переменные отношения и представления
- •Транзакции
- •Введение в язык sql
- •Обзор языка sql
- •Каталог в sql
- •Представления
- •Транзакции в sql
- •Взаимодействие приложений и субд
- •Домены, отношения и базовые переменные-отношения
- •Значения отношений
- •Средства sql
- •Реляционная алгебра
- •Введение в реляционную алгебру
- •Реляционная замкнутость
- •Синтаксис
- •Семантика
- •Примеры
- •Назначение реляционной алгебры
- •Реляционное исчисление
- •Введение в реляционное исчисление
- •Исчисление кортежей
- •Примеры для исчисления кортежей
- •Средства языка sql
- •Целостность данных
- •Введение в целостность данных
- •Ограничения типа
- •Ограничения атрибута
- •Ограничения переменной-отношения
- •Ограничения баз данных
- •«Золотое правило»
- •Ограничения состояния и ограничения перехода
- •Средства языка sql
- •Функциональные зависимости
- •Введение
- •Основные определения
- •Тривиальные и нетривиальные зависимости
- •Замыкание множества зависимостей
- •Замыкание множества атрибутов
- •Неприводимые множества зависимостей
- •Нормализация: формы 1нф, 2нф, 3нф и нфбк
- •Введение
- •Декомпозиция без потерь и функциональные зависимости
- •Первая, вторая и третья нормальные формы
- •Нормальная форма Бойса-Кодда
- •Нормализация: более высокие нормальные формы
- •Многозначные зависимости и четвертая нормальная форма
- •Зависимости соединения и пятая нормальная форма
- •Общая схема процедуры нормализации
- •Вопросы для самопроверки
- •Дополнительная литература
Вопросы для самопроверки
Понятие системы базы данных (СБД). Схема СБД. Характеристики данных. Типы пользователей СБД и их характеристики.
Понятие базы данных (БД). Преимущества использования СБД для реализации БД.
Модели данных и их реализация. Основные типы СБД.
Архитектура ANSI/SPARC организации СБД. Понятие СУБД, ее основные функции и компоненты.
Система управления передачей данных. Архитектура «клиент/сервер» и ее адаптация для систем распределенной обработки данных.
Семантическое моделирование: назначение и суть. Модель «сущность/связь». ER-диаграммы: назначение и правила построения. Примеры.
Понятие реляционной модели данных. Основные черты. Строгое определение.
Отношения и переменные-отношения. Определение и смысл отношений. Примеры.
Оптимизация: цели основы для ее выполнения. Каталог: понятие и назначение. Транзакции: определение, назначение и способ организации.
Базовые переменные-отношения и представления. Производные отношения. Примеры.
Язык SQL: история, возможности, соотношение с реляционной моделью. Каталог в SQL: структура и состав. Представления и транзакции в SQL. Взаимодействие приложений с реляционными БД, динамический SQL.
Язык SQL: средства описания/изменения структуры данных и типов данных. Встроенные типы данных и домены. Примеры.
Реляционная алгебра. Операторы. Реляционная замкнутость. Примеры.
Реляционная алгебра. Семантика операторов. Назначение реляционной алгебры. Примеры.
Реляционное исчисление. Исчисление кортежей. Переменные кортежей. Свободные и связанные переменные. Кванторы. Примеры.
Средства языка SQL манипулирования данными: Запросы SQL. Структура запроса. Вложенные подзапросы. Обобщающие функции. Примеры.
Средства языка SQL манипулирования данными: Запросы SQL. Структура запроса. IN-условия. Кванторы. Примеры.
Ограничения целостности данных. Типы ограничений целостности. Ограничения целостности типа и атрибута. «Золотое правило». Триггеры.
Ограничения целостности данных. Типы ограничений целостности. Ограничения целостности переменной-отношения и БД. Ключи.
Средства языка SQL поддержания ограничений целостности данных: Ограничения домена, базовой таблицы и утверждения. Операторы языка SQL. Примеры.
Функциональные зависимости. Замыкание множества зависимостей (правила вывода). Примеры.
Функциональные зависимости. Замыкание множества атрибутов. Неприводимые множества зависимостей. Примеры.
Концепция нормальных форм. Декомпозиция без потерь (теорема Хита). Диаграммы ФЗ. Примеры.
Нормализация. Первая, вторая и третья нормальные формы. Аномалии обновления. 1-ый и 2-ой этапы нормализации. Пример. Нормальная форма Бойса-Кодда.
Нормализация. Четвертая и пятая нормальные формы. Общая процедура нормализации БД.
Дополнительная литература
К. Дж. Дейт. - Введение в системы баз данных, 7-е издание.: Пер. с англ. – М.: Издательский дом «Вильямс», 2001. – 1072 с., ил.
Дж. Грофф, П. Вайнберг.- SQL: Полное руководство.- Пер. с англ.-2-е изд., перераб. и доп.-К.: Издательская группа BHV, 2001.- 816 с., ил.
SQL в примерах и задачах; учеб. пособие / И.Ф.Астахова, А.П.Толстобров, В.М.Мельников.— Мн.: Новое знание, 2002. — 176 с.
Теория и практика построения баз данных/Д.Кренке.- 8-е изд.- СПб.: Питер, 2003.- 800 с., ил.- (Серия «Классика computer science»).
1 Хранимые, или триггерные, процедуры – это заранее скомпилированные процедуры, которые могут вызываться из прикладных программ. Такие процедуры можно логически рассматривать как расширение СУБД (в системах клиент/сервер они чаще всего хранятся и выполняются на сервере).