Свойство нормализации схем отношений

Определение ключа

Пусть – некоторая схема отношения, F – множество функциональных зависимостей на этой схеме.

Тогда множество атрибутов называется ключом схемы отношения R, если выполняются следующие условия:

1) .

2) .

Т.е. ключ содержит в себе минимальное число атрибутов, обладающих свойством 1.

Из определения следует, что ключ в таблице всегда уникален (иначе это привело бы к тому, что таблица содержала бы крайней мере две одинаковых записи).

Лекция 10

Алгоритм построения ключа (основывается на определении ключа)

1. , – ключ на 0 шаге.

2. ДЛЯ по числу атрибутов в ,

ЕСЛИ , то , , , выйти из цикла

КОНЕЦ ДЛЯ

3. ЕСЛИ – возросло, то перейти к п. 2 алгоритма

ИНАЧЕ – ключ схемы отношения .

Примечание: Алгоритм позволяет простроить один ключ. В общем случае ключей в схеме отношения может быть несколько.