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