– Томск: Томский государственный университет систем управления и
радиоэлектроники, 2007. – 201 с.
Содержание:
Жизненный цикл системы баз данных.
Структура жизненного цикла.
Планирование разработки.
Определение требований к системе.
Анализ требований пользователей.
Проектирование БД.
Проектирование приложений.
Реализация.
Первоначальная загрузка.
Тестирование.
Эксплуатация и сопровождение.
Обзор процеса проектирования БД.
Цели проектирования.
Фазы проектирования БД.
Концептуальное моделирование.
Логическое моделирование.
Физическое проектирование.
Языковые средства моделирования.
Модель «сущность-связь».
Общее представление.
Понятийная основа.
Сущность.
Связь.
Атрибут.
Типы атрибутов.
Идентификаторы.
Обозначения для сущностей и связей.
Свойства связей.
Степень связи.
Мощность связи.
Степень участия сущности в связи.
Типы бинарных связей.
Дополнительные элементы модели.
Слабые сущности.
Изображение атрибутов на ER-диаграммах.
Подтипы и супертипы сущностей.
Математическая модель сущностей и связей.
Атрибут.
Сущность.
Связь.
Связь как сущность.
Редукция связей.
Композитные и многозначные атрибуты.
Реляционная модель данных.
Общая характеристика модели.
Структуры.
Основные понятия.
Свойства отношений.
Интуитивная основа РМД.
Семантика конструкций РМД.
Реляционная целостность.
Возможные ключи отношения.
Первичный и альтернативные ключи.
Связи отношений и внешние ключи.
Внутренние ограничения целостности РМД.
Правила внешних ключей.
Неопределённые значения в БД и ограничения целостности данных.
Проблема представления незнания.
NULL-значения и целостность атрибута.
Идентификация кортежей и NULL-значения.
Ссылочная целостность и NULL-значения.
Реляционный язык определения данных.
Объявление домена.
Объявление отношения.
Нормальные формы отношений.
Пример. База данных куратора.
Проблемы куратора.
Техническое задание на разработку БД куратора.
Варианты «структуры» БД.
Проблемы обновления универсального отношения.
Бизнес-правила и функциональные зависимости атрибутов.
Нормальные формы отношений и проблема аномалий обновления.
Первая нормальная форма.
Вторая нормальная форма.
Третья нормальная форма.
Нормальная форма Бойса-Кодда.
Теорема Хеза.
Независимость проекций.
Многозначные зависимости и НФ.
Нормализация.
Синтез отношений.
Выбор начальной схемы.
Расширение схемы.
Критерий окончания синтеза отношения.
Сокращение множества атрибутов.
Пример синтеза.
Реляционная модель данных IDEFX.
Компоненты языка IDEFX.
Модель данных.
Уровни представления диаграмм.
Сущности, атрибуты, домены.
Обозначения.
Правила именования и определения.
Правила для атрибутов.
Соединения.
Типы соединений.
Синтаксис соединений.
Правила именования соединений.
Связи категоризации.
Синтаксис категорий.
Правила для категоризационных связей.
Имя роли.
Требования к диаграммам.
ER-уровень.
КВ-уровень.
Правила для первичных и альтернативных ключей.
Правила для внешних ключей.
FA-уровень.
Дополнения к модели.
Лексические соглашения.
Имена.
Идентификаторы.
Метки атрибутов.
Методология проектирования баз данных.
Понятие методологии проектирования.
Фазы проектирования базы данных.
Факторы успешного завершения проекта.
Общий обзор методологии.
Фаза концептуального моделирования.
Фаза логического моделирования.
Фаза физического проектирования.
Методология концептуального моделирования.
Создание локальной концептуальной модели.
Определение типов сущностей.
Определение типов связей.
Определение атрибутов сущностей и связей.
Определение доменов атрибутов.
Определение потенциальных и выбор первичных ключей.
Специализация/генерализация типов сущностей.
Создание ER-диаграммы.
Обсуждение локальной концептуальной модели с конечным пользователем.
Методология логического моделирования реляционных баз данных.
Построение и проверка локальной логической модели.
Очистка локальной концептуальной модели от нежелательных элементов.
Определение набора отношений на основе очищенной концептуальной модели.
Проверка нормализованности логической модели.
Проверка исполнимости транзакций.
Создание окончательной диаграммы локального представления.
Определение ограничений целостности данных.
Обсуждение локальной логической модели с конечным пользователем.
Построение и проверка глобальной логической модели.
Слияние локальных моделей в глобальную логическую модель.
Проверка глобальной логической модели.
Проверка возможности расширения модели.
Создание окончательной диаграммы глобальной модели.
Обсуждение глобальной модели с пользователями.
Жизненный цикл системы баз данных.
Структура жизненного цикла.
Планирование разработки.
Определение требований к системе.
Анализ требований пользователей.
Проектирование БД.
Проектирование приложений.
Реализация.
Первоначальная загрузка.
Тестирование.
Эксплуатация и сопровождение.
Обзор процеса проектирования БД.
Цели проектирования.
Фазы проектирования БД.
Концептуальное моделирование.
Логическое моделирование.
Физическое проектирование.
Языковые средства моделирования.
Модель «сущность-связь».
Общее представление.
Понятийная основа.
Сущность.
Связь.
Атрибут.
Типы атрибутов.
Идентификаторы.
Обозначения для сущностей и связей.
Свойства связей.
Степень связи.
Мощность связи.
Степень участия сущности в связи.
Типы бинарных связей.
Дополнительные элементы модели.
Слабые сущности.
Изображение атрибутов на ER-диаграммах.
Подтипы и супертипы сущностей.
Математическая модель сущностей и связей.
Атрибут.
Сущность.
Связь.
Связь как сущность.
Редукция связей.
Композитные и многозначные атрибуты.
Реляционная модель данных.
Общая характеристика модели.
Структуры.
Основные понятия.
Свойства отношений.
Интуитивная основа РМД.
Семантика конструкций РМД.
Реляционная целостность.
Возможные ключи отношения.
Первичный и альтернативные ключи.
Связи отношений и внешние ключи.
Внутренние ограничения целостности РМД.
Правила внешних ключей.
Неопределённые значения в БД и ограничения целостности данных.
Проблема представления незнания.
NULL-значения и целостность атрибута.
Идентификация кортежей и NULL-значения.
Ссылочная целостность и NULL-значения.
Реляционный язык определения данных.
Объявление домена.
Объявление отношения.
Нормальные формы отношений.
Пример. База данных куратора.
Проблемы куратора.
Техническое задание на разработку БД куратора.
Варианты «структуры» БД.
Проблемы обновления универсального отношения.
Бизнес-правила и функциональные зависимости атрибутов.
Нормальные формы отношений и проблема аномалий обновления.
Первая нормальная форма.
Вторая нормальная форма.
Третья нормальная форма.
Нормальная форма Бойса-Кодда.
Теорема Хеза.
Независимость проекций.
Многозначные зависимости и НФ.
Нормализация.
Синтез отношений.
Выбор начальной схемы.
Расширение схемы.
Критерий окончания синтеза отношения.
Сокращение множества атрибутов.
Пример синтеза.
Реляционная модель данных IDEFX.
Компоненты языка IDEFX.
Модель данных.
Уровни представления диаграмм.
Сущности, атрибуты, домены.
Обозначения.
Правила именования и определения.
Правила для атрибутов.
Соединения.
Типы соединений.
Синтаксис соединений.
Правила именования соединений.
Связи категоризации.
Синтаксис категорий.
Правила для категоризационных связей.
Имя роли.
Требования к диаграммам.
ER-уровень.
КВ-уровень.
Правила для первичных и альтернативных ключей.
Правила для внешних ключей.
FA-уровень.
Дополнения к модели.
Лексические соглашения.
Имена.
Идентификаторы.
Метки атрибутов.
Методология проектирования баз данных.
Понятие методологии проектирования.
Фазы проектирования базы данных.
Факторы успешного завершения проекта.
Общий обзор методологии.
Фаза концептуального моделирования.
Фаза логического моделирования.
Фаза физического проектирования.
Методология концептуального моделирования.
Создание локальной концептуальной модели.
Определение типов сущностей.
Определение типов связей.
Определение атрибутов сущностей и связей.
Определение доменов атрибутов.
Определение потенциальных и выбор первичных ключей.
Специализация/генерализация типов сущностей.
Создание ER-диаграммы.
Обсуждение локальной концептуальной модели с конечным пользователем.
Методология логического моделирования реляционных баз данных.
Построение и проверка локальной логической модели.
Очистка локальной концептуальной модели от нежелательных элементов.
Определение набора отношений на основе очищенной концептуальной модели.
Проверка нормализованности логической модели.
Проверка исполнимости транзакций.
Создание окончательной диаграммы локального представления.
Определение ограничений целостности данных.
Обсуждение локальной логической модели с конечным пользователем.
Построение и проверка глобальной логической модели.
Слияние локальных моделей в глобальную логическую модель.
Проверка глобальной логической модели.
Проверка возможности расширения модели.
Создание окончательной диаграммы глобальной модели.
Обсуждение глобальной модели с пользователями.