Править]Замыкание множества атрибутов

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

1. Пусть — множество атрибутов, которое в конечном счете станет замыканием.

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

3. Повторяем пункт 2, пока ко множеству будет невозможно добавить атрибуты.

4. Множество , к которому невозможно добавить атрибуты и будет замыканием.