Описание слайда:
Замыкание множества атрибутов Замыканием (closure) {Ai}+ множества атрибутов {Ai} обусловленным множеством функциональных зависимостей S называется множество атрибутов {Bi}, такое что ФЗ A→В следует из ФЗ S. Алгоритм построения замыкания: Инициализировать переменную X множеством {Ai}. Если существует ФЗ B1,…,Bn → C из S, такая, что {B1,…,Bn}⊆X, но C∉X, то добавить C в X. Выполнять шаг 2, пока множество X не стабилизируется. Пример: Отношение имеет множество атрибутов A, B, C, D, E, F и удовлетворяет ФЗ A,В→C, В,C→A,D, D→E, C,F→B. Замыкание {A,B}+={A,B,C,D,E} Свойство: ФЗ A1,A2, …,An → В1,В2, …,Вm следует из ФЗ S, тогда и только тогда В1,В2, …,Вm ∉ {A1,A2, …,An} обусловленным ФЗ S.