Основы проектирования реляционных баз данных
Понятие | Определение | ||
---|---|---|---|
1 | Полная ФЗ | A | Пусть X, Y, Z - атрибуты отношения R. При этом имеются ФЗ и , но отсутствуют ФЗ и |
2 | Частичная ФЗ | B | Неключевой атрибут зависит от части составного ключа |
3 | Транзитивная ФЗ | C | Пусть r ={r1, …, rp} - множество схем на U. При этом R разлагается без потерь на r как: |
4 | Многозначная ФЗ | D | Неключевой атрибут функционально зависит от ключа, но не находится в функциональной зависимости ни от какой части составного ключа |
5 | ФЗ по соединению | E | Пусть r - некоторая схема отношения, X и Y - подмножества атрибутов r. При этом при заданных значениях атрибутов из {X} существует некоторое множество, состоящее из нуля или более взаимосвязанных значений атрибутов из {Y}, никак не связанных со значениями других атрибутов этого отношения r-X-Y |
Аксиомы вывода | Определение | ||
---|---|---|---|
1 | Рефлексивность | A | Если и задана ФЗ , то имеет место ФЗ |
2 | Пополнение | B | Если и задана ФЗ из F, то имеет место ФЗ |
3 | Транзитивность | C | Если и задана ФЗ , то имеет место ФЗ |
4 | Расширение | D | Если и задана ФЗ из F , то имеет место ФЗ . |
5 | Продолжение | E | Если , то ФЗ следует из F. Иначе |
6 | Псевдотранзитивность | F | Если и и задана ФЗ , то имеет место ФЗ |
7 | Аддитивность | G | Если и заданы ФЗ и ФЗ , то имеет место ФЗ |
8 | Декомпозиция | H | Если и заданы ФЗ и ФЗ , то имеет место ФЗ |
Правила вывода | Определение | ||
---|---|---|---|
1 | Дополнение | A | Если и заданы МФЗ и МФЗ , то имеют место МФЗ , МФЗ и МФЗ |
2 | Пополнение | B | Если и заданы МФЗ и ФЗ , то имеет место ФЗ |
3 | Транзитивность | C | Если и заданы МФЗ и МФЗ , то имеет место МФЗ |
4 | Объединение | D | Если и заданы МФЗ и МФЗ , то имеет место МФЗ |
5 | Псевдотранзитивность | E | Если и заданы МФЗ и МФЗ , то имеет место МФЗ |
6 | Смешанная транзитивность | F | Если и задана МФЗ , то имеет место МФЗ |
7 | Декомпозиция | G | Если и задана МФЗ , то имеет место МФЗ |
Нормальная форма | Определение | ||
---|---|---|---|
1 | Первая нормальная форма (1НФ) | A | отношение должно удовлетворять зависимости по соединению относительно своих проекций. |
2 | Вторая нормальная форма (2НФ) | B | все неключевые атрибуты отношения функционально полно зависят от составного ключа отношения; отношение не должно содержать частичных ФЗ. |
3 | Третья нормальная форма (3НФ) | C | неключевые атрибуты отношения не зависят от ключей; отношение допускает наличия только таких нетривиальных ФЗ, в которых ключ определяет один или более других атрибутов: , где включает некоторый ключ. |
4 | Нормальная форма Бойса-Кодда (НФБК) | D | все неключевые атрибуты отношения зависят только от первичного ключа; отношение не должно содержать транзитивных ФЗ неключевых атрибутов от ключа |
5 | Четвертая нормальная форма (4НФ) | E | отношение не должно содержать независимых многозначных ФЗ. |
6 | Пятая нормальная форма (5НФ) | F | все атрибуты отношения являются простыми, т.е. не имеют компонентов. |
Преподаватель (Личный_#, Фамилия, Должность, Оклад, Кафедра, Телефон )
Результирующие отношения:
Преподаватель(Личный_#, Фамилия, Должность, Кафедра)
Должность (Должность, Оклад)
Кафедра (Кафедра, Телефон)
Комментарий к ответу: Отношение Преподаватель содержит транзитивные зависимости: и . Это может привести к следующим аномалиям:
Устранение аномалий заключается в выполнении трех проекций отношения.
Исходное отношение:
Преподаватель (Фамилия, Группа, Предмет )
Результирующие отношения:
Преподаватель_группа (Фамилия, Группа )
Преподаватель_предмет (Фамилия, Предмет )
Комментарий к ответу: Отношение Преподаватель содержит две многозначные ФЗ: и . Это приводит к аномалии включения: если у преподавателя появляется новая группа, в отношение приходится добавлять несколько кортежей (по числу читаемых им предметов). Устранение аномалии заключается в выделении МФЗ в отдельное отношение
Исходное отношение:
Курсовой_проект (Преподаватель, Проект, Студент)
Иванов Тема1 Петрова
Фролов Тема1 Исаев
Антонов Тема1 Сидоров
Иванов Тема2 Ивлева
Фролов Тема2 Степанов
Фролов Тема3 Мусин
Антонов Тема3 Сац
Результирующие отношения:
Руководство (Преподаватель, Предмет)
Выполнение (Студент, Предмет)
Комментарий к ответу: На роль ключа отношения Курсовой_проект претендует набор атрибутов {Преподаватель, Предмет}. Студент выполняет только один проект, один и тот же проект может выполняться несколькими студентами у разных преподавателей. Отношение содержит следующие ФЗ: и .
Отношение находится в 3НФ и не содержит частичных и транзитивных ФЗ. Однако наличие ФЗ части составного ключа от неключевого атрибута может привести к следующим аномалиям:
Устранение аномалий заключается в удалении ФЗ ключа от неключевого атрибута.