Разработка средств и методов анализа реляционных моделей баз данных

• Автор: Пасичник, Владимир Владимирович
• Шифр специальности: 01.01.09
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Киев
• Количество страниц: 139 c. : ил

ФУНКЦИОНАЛЬНЫЕ И МНОГОЗНАЧНЫЕ ЗАВИСИМОСТИ
ГИПОТЕЗА СТРУКТУРНОЙ НЕДООПРЕДЕЛЕННОСГИ
1.1. Информационное отношение. Гипотеза о конечности доменов
1.1.1.Определение состояния реляционной базы данных
1.2. Зависимости в схемах реляционных баз данных
1.2.1.Функциональная зависимост ь
1.2.2.Многозначная зависимость
1.2.3.Свойства и аксиоматизация многозначных зависимостей
1.2.4.Обобщенная многозначная зависимость
1.3. Декомпозиционное представление функциональных и многозначных зависимостей
1.3.1.Применение аппарата частично определенных булевых функций к анализу реляционных схем
ПРОЦЕССЫ АНАЛИЗА И ПРОЕКТИРОВАНИЯ СХЕМ РЕЛЯЦИОННЫХ БАЗ
ДАННЫХ
2.1. Этапы проектирования реляционных баз данных
2.1.1.Определение задачи, процесса и системы проектирования схем реляционных баз данных
2.1.2.Функциональные классы задач проектирования реляционных схем
2.2. Нормализация как этап проектирования схемы базы данных
2.2.1.Нормальные формы, базирующиеся на функциональных и многозначных зависимостях
2.2.2.Предпосылки определения новых типов нормальных форм
2.3. Моделирование процессов развития и реструктуризации в схемах реляционных баз данных

ЗАДАЧИ АНАЛИЗА СХЕМ РЕЛЯЦИОННЫХ БАЗ ДАННЫХ
3.1. Задача конструирования системы зависимостей в схеме реляционной базы данных
3.1.3.Конструирование системы функциональных и многозначных зависимостей
3.1.2.Задание и проверка существования функциональной зависимости
3.2. Задачи проектирования схем реляционных баз данных, связанные с анализом системы зависимостей
3.2.1.Задача проверки выводимости зависимости из системы
3.2.2.Задача проверки ключей схемы реляционной базы данных
3.2.3,Задача поиска замыкания системы зависимостей
3.2.4.Задача определения системы зависимостей в проекции реляционной схемы
3.3. Структурная недоопределенность и конструирование непротиворечивой системы функциональных зависимостей
3.4. Композиция систем зависимостей реляционных схем
УЧЕБНАЯ САПР РЕЛЯЦИОННЫХ БАЗ ДАННЫХ
ОСНОВНЫЕ КОНЦЕПЦИИ й АЛГОРИТМЫ
4.1. Цели разработки учебной САПР схем реляционных баз данных
4.2. Архитектура и основные принципы проектирования и функционирования учебной САПР
4.2.1.Комплексы задач САПР
4.2.2.Подсистемы учебной САПР схем реляционных баз данных
4.3.1.Алгоритм представления системы функциональных и многозначных зависимостей в виде булевых функций
4.3.2.Алгоритм проверки условий выводимости зависимости

из системы
4.3.3.Алгоритм поиска системы .зависимостей в проекции реляционной схемы
4.3.4.Алгоритм построения замыкания системы зависимостей
4.3.5.Алгоритм конструирования непротиворечивых систем функциональных зависимостей
4.4. Процедуры графического проектирования схем реляционных баз данных
4.4.1.Проверка проектных решений схем реляционных баз
данных при помощи реляционной СУЕЩ "РЙСС"
4.4.2.Требования, предъявляемые к промышленной САПР реляционных баз данных
ОСНОВНЫЕ РЕЗУЛЬТАТЫ
ЗАКЛЮЧЕНИЕ
СПИСОК ОСНОВНОЙ ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ
ПРИЛОЖЕНИЕ

Доменно-ключевая нормальная форма и процессы ее достижения Проанализированные в работе /17/ нормальные формы определялись в контексте заданного множества зависимостей и множества операций манипулирования данными. Предложенная Фейджином доменноключевая нормальная форма определяется только в контесте заданного множества зависимостей, допуская при этом выполнении произвольных операций модификации реляционной базы данных /56/• Основной целью определения БК/ЫГ является требование исключения аномалий модификации. Она определяется вне контекста конкретных операций на базе данных, что позволяет говорить об инвариантности по отношению к операциям реляционной алгебры,
ОПРЕДЕЛЕНИЕ X. Пусть Я - некоторая реляционная схема и 1^ -информационное отношение, представляющее Я в некоторый момент времени. Кортеж 1/ совместим с Г* /в контексте Р /, если:
I/ "Ь задается на тех же атрибутах, что и Р ;
2/ значение атрибута А в кортеже 1/ содержится в множестве 5 , для каждого атрибута Ае Л и каждой доменной зависимости
3/ выполняется условие "Ь [К]т£ "Ь "ь [ К] для каждой ключевой зависимости КЕН(К)в R,fЪi , содерзгащихся в Г* . Иначе говоря, совместимый с Г кортеж является кортежем, не нарушающим ни одной ВБ или КВ В
ОПРЕДЕЛЕНИЕ 2. Реляционная схема Р имеет аномалию вставки, если существует информационное отношение 1° , представляющее
некоторое приложение Р , и существует кортеж 1/ , совместимый с Г , такой, что отношение Г* и("Ь} , полученное в результате добавления кортежа 17 к отношению Г* , нарушает хотя бы
одну из зависимостей /одно из ограничений/ в реляционной схеме