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