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

Тесты

Заключение

В этой лекции было введено понятие функциональной зависимости, и исследовались важные свойства функциональных зависимостей. Одна из целей состояла в том, чтобы на основе некоторого множества функциональных зависимостей суметь построить минимальное эквивалентное множество функциональных зависимостей. Мы начали обсуждение с понятия замыканий множества функциональных зависимостей и аксиом Амстронга, теоретически позволяющих построить такое замыкание. Замыкание множества функциональных зависимостей содержит все функциональные зависимости, выводимые из функциональных зависимостей заданного множества. Рассмотренный далее алгоритм построения замыкания множества атрибутов над заданным множеством функциональных зависимостей упрощает задачу, позволяя определить принадлежность заданной функциональной зависимостей к замыканию заданного множества функциональных зависимостей без потребности в реальном построении замыкания.

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

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

1 (1) Что называется детерминантом в функциональной зависимости X ® Y?

(а) +

X

(б) -

Y

(в) -

®

1 (2) Пусть X ® Y является тривиальной функциональной зависимостью. Какой факт тогда является верным?

(а) -

X является подмножеством Y?

(б) +

Y является подмножеством X?

(в) -

множества X и Y совпадают.

1 (3) Пусть S⁺ является замыканием множества функциональных зависимостей S. Какой факт тогда является верным?

(а) +

мощность множества S не больше мощности множества S⁺

(б) -

мощность множества S⁺ не больше мощности множества S

(в) -

мощности множеств S и S⁺ совпадают

2 (1) Из каких аксиом Армстронга следует правило вывода декомпозиции (если A ® BC, то A ® B и A ® C)?

(а) -

из аксиом пополнения и транзитивности

(б) +

из аксиом рефлексивности и транзитивности

(в) -

из аксиом рефлексивности и пополнения

2 (2) Из каких аксиом Армстронга следует правило вывода объединения (если A ® B и A ® C, то A ® BC)?

(а) +

из аксиом пополнения и транзитивности

(б) -

из аксиом рефлексивности и транзитивности

(в) -

из аксиом рефлексивности и пополнения

2 (3) Из каких аксиом Армстронга следует правило вывода накопления (если A ® BC и B ® D, то A ® BCD)?

(а) +

из аксиом пополнения и транзитивности

(б) -

из аксиом рефлексивности и транзитивности

(в) -

из аксиом рефлексивности и пополнения

3 (1) Пусть множество функциональных зависимостей S2 является покрытием множества функциональных зависимостей S1. Какое из следующих утверждения является верным?

(а) -

S1 Í S2

(б) -

S2 Í S1

(в) +

в общем случае ни одно из множеств не является подмножеством другого

3 (2) Пусть множества функциональных зависимостей S1 и S2 являются эквивалентными. Какое из следующих утверждений является верным?

(а) -

мощности множеств S1 и S2 совпадают

(б) -

мощность множества S1 не меньше мощности множества S2

(в) +

в общем случае про соотношение мощностей множеств S1 и S2 нельзя ничего сказать

3 (3) Пусть SI является минимальным покрытием множества функциональных зависимостей S. Какое из следующих утверждения является верным?

(а) -

S I Í S

(б) -

S Í S I

(в) +

в общем случае ни одно из множеств не является подмножеством другого

4 (1) Пусть имеется отношение r { A, B, C, D }, и задано множество функциональных зависимостей S = { A ® B, A ® BC, A ® CD, BC ® D }. Какое множество функциональных зависимостей является минимальным покрытием S?

(а) +

{ A ® B, A ® C, BC ® D }

(б) -

{ A ® B, A ® C, A ® СD, B ® D, C ® D }

(в) -

{ A ® B, A ® CD, BC ® D }

4 (2) Пусть имеется отношение r { A, B, C, D }, и задано множество функциональных зависимостей S = { A ® B, AC ® BD, B ® AD }. Какое множество функциональных зависимостей является минимальным покрытием S?

(а) +

{ A ® B, AC ® D, B ® A, B ® D }

(б) -

{ A ® B, A ® D, C ® D, B ® D }

(в) -

{ A ® B, AC ® D, BС ® A, BС ® D }

4 (3) Пусть имеется отношение r { A, B, C, D }, и задано множество функциональных зависимостей S = { A ® BCD, BC ® AD, B ® D }. Какое множество функциональных зависимостей является минимальным покрытием S?

(а) +

{ A ® B, A ® C, BC ® A, B ® D }

(б) -

{ A ® B, A ® C, BC ® A, BС ® D }

(в) -

{ A ® B, A ® C, A ® D, B ® A, B ® D }

Лекция 7. Проектирование реляционных баз данных на основе принципов нормализации: первые шаги нормализации

Эта лекция начинает серию из четырех лекций, посвященных проектированию реляционных баз данных. В данной лекции мы сосредотачиваемся на нормализации схем отношений с учетом только функциональных зависимостей между атрибутами отношений. Эти “первые шаги” нормализации позволяют получить схему базы данных, в которых все переменные отношений находятся в нормальной форме Бойса-Кодда, обычно расцениваемой как удовлетворительная для большей части приложений.

Первая нормальная форма, процесс нормализации, аномалии обновления, вторая нормальная форма, третья нормальная форма, независимые проекции отношений, теорема Риссанена, атомарное отношение, перекрывающиеся возможные ключи, нормальная форма Бойса-Кодда.

Дата добавления: 2014-01-03