Билет 29.

Минимальное покрытие множества функциональных зависимостей

• Множество FD S2 называется покрытием множества FD S1, если любая FD, выводимая из S1, выводится также из S2.

• S2 является покрытием S1 тогда и только тогда, когда S1+ÎS2+ (т.е., каждый элемент множества S1+ входит во множество S2+).

• Два множества FD S1 и S2 называются эквивалентными, если каждое из них является покрытием другого, т. е. S1+ = S2+.

Неприводимые слева FD

FD называется неприводимой слева, если ни один атрибут Di из детерминанта D {D1, D2, …, Dn} не может быть опущен без изменения замыкания множества полученного из этой FD.

Минимальное множество S функциональных зависимостей

Множество FD S называется минимальным в том и только в том случае, когда удовлетворяет следующим свойствам:

1. правая часть любой FD из S является множеством из одного атрибута (простым атрибутом);

2. детерминант каждой FD из S обладает свойством минимальности; это означает, что удаление любого атрибута из детерминанта приводит к изменению замыкания S+, т. е. порождению множества FD, не эквивалентного S;

3. удаление любой FD из S приводит к изменению S+, т.е. порождению множества FD, не эквивалентного S.

Минимальное (неприводимое) множество S функциональных зависимостей

Множество FD S называется минимальным (неприводимым) если:

1. Правая часть всех FD содержит только один атрибут.

2. Каждый детерминант является неприводимым слева.

3. Ни одна FD не может быть удалена из S без изменения S+.

Примеры множеств

Отношение СЛУЖАЩИЕ_ПРОЕКТЫ {СЛУ_НОМ, СЛУ_ИМЯ, СЛУ_ЗАРП, ПРО_НОМ, ПРОЕКТ_РУК}:

• множество FD {СЛУ_НОМ®СЛУ_ИМЯ, СЛУ_НОМ ® СЛУ_ЗАРП, СЛУ_НОМ ® ПРО_НОМ, ПРО_НОМ ® ПРОЕКТ_РУК} минимальное.

• Не минимальные множества:

  • {СЛУ_НОМ ®{СЛУ_ИМЯ, СЛУ_ЗАРП}, СЛУ_НОМ ® ПРО_НОМ, СЛУ_НОМ ® ПРОЕКТ_РУК, ПРО_НОМ ® ПРОЕКТ_РУК},

  • {СЛУ_НОМ ® СЛУ_ИМЯ, {СЛУ_НОМ, СЛУ_ИМЯ} ® СЛУ_ЗАРП, СЛУ_НОМ ® ПРО_НОМ, СЛУ_НОМ ® ПРОЕКТ_РУК, ПРО_НОМ ® ПРОЕКТ_РУК}

Билет 30.

Теория нормализации

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

Нормализация данных – это разложение отношений на большее количество более простых таблиц.

Цели нормализации

1. Основной целью теории нормальных форм первоначально была экономия места на диске.

2. Данные должны быть устроены так, чтобы при их редактировании или удалении, необходимо было исправлять данные только в одном месте БД.

3. Группировка данных по содержанию (каждая таблица - определенная тематика).

4. Принцип модульности (несколько унифицированных независимых блоков).

Аномалии модификации

Избыточность данных приводит к следующим аномалиям:

• аномалия удаления

• аномалия вставки

• аномалия модификации

Необходимость нормализации прямо следует из необходимости устранения аномалий