75
правок
Изменения
→Основное свойство замыкания множества атрибутов
|proof=
<tex>(=>)</tex><br>По определению замыкания атрибутов, т.к все атрибуты функционально зависят от X.<br/>
<tex>(<=)</tex><br> Если <tex>X^+</tex> - множество всех атрибутов, то по теореме <tex>\exists \; X \to X^+</tex>, а по определению функциональной зависимости <tex>X</tex> соответствует ровно один <tex>X^+</tex>.
}}
Данное следствие позволяет формально выделять ключи и надключи.
