Править]Замыкание множества атрибутов. Пусть — некоторое множество атрибутов отношения , а — множество функциональных зависимостей этого отношения

Пусть — некоторое множество атрибутов отношения , а — множество функциональных зависимостей этого отношения. Замыканием множества атрибутов в пределах называется такое множество всех атрибутов отношения , что функциональная зависимость является членом замыкания .