Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
БД(4 курс).doc
Скачиваний:
12
Добавлен:
21.04.2019
Размер:
716.29 Кб
Скачать

50,3.8 Функциональные зависимости. Алгоритм проверки функциональной зависимости satisfies.

Определение. Функциональная зависимость имеет место, если значение кортежа на одном множестве атрибутов единственным образом определяет их на другом. Другими словами, множество атрибутов Y функционально зависит от X тогда и только тогда, когда в любой момент времени для каждого из различных значений Y существует только одно из различных значений X.

Встречается и эквивалентный термин: множество X определяет Y. Обозначение – X Y.

Пример

Рассмотрим отношение, заданное следующей схемой:

график (Пилот, Рейс, Дата, Время).

Ясно, что допустимо не любое сочетание значений атрибутов. Их зависимость задается следующими ограничениями:

  • для каждого рейса определено лишь одно время вылета;

  • для атрибутов (Пилот, Дата, Время) определен лишь один рейс;

  • для атрибутов (Рейс, Дата) определен единственный пилот.

Таким образом, задано множество функциональных зависимостей:

Рейс Время

( Пилот, Дата, Время)Рейс

( Рейс, Дата ) Пилот

Конец примера

Некоторые функциональные зависимости могут быть нежелательны в конкретной схеме. Для приведения схемы в корректный вид используется замена одного множества отношений другим, сохраняющим ее эквивалентность. Такое преобразование составляет суть процесса нормализации. В результате исходное небольшое число больших таблиц, обладающее непривлекательными свойствами, заменяется большим числом меньших таблиц, этими свойствами не обладающих.

Согласно определению отношения, все его атрибуты атомарны, то есть не могут быть разделены семантически на более мелкие элементы. Отношение, обладающее этим свойством, называется нормализованным или, что то же самое, находящимся в первой нормальной форме (1НФ). Нормальные формы, в которых находятся отношения, составляют иерархию, в которой формы с большими номерами не обладают некоторыми нежелательными свойствами, характерными для форм с меньшими номерами. В теории нормальных форм для реляционных БД рассматривается шесть уровней нормализации: 1НФ – 5НФ и форма Бойса-Кодда (промежуточная между 3НФ и 4НФ). Каждый из следующих уровней ограничивает типы допустимых функциональных зависимостей отношения. Функциональные зависимости отношения составляют его семантику. Уровень нормализации зависит от семантики отношения.

Отношения, не находящиеся в нормальных формах, не всегда удобны при модификации базы данных, то есть, у них существуют аномалии модификации. Различают аномалии добавления, изменения и удаления.

51,3.9 1-АЯ НОРМАЛЬНАЯ ФОРМА. ПРИМЕРЫ.

Говорят, что отношения находятся в первой нормальной форме, если она представлена в виде таблицы, в которой ни одно поле не содержит больше одного значения, и ниодно из ключевых полей не пусто.

Например:

автор

Название

год

Номер страниц

Ким

Дзюдо

2006

271

Сан

Карате

2003

122