111
правок
Изменения
м
Доказательсто не опирается на наличие функциональной зависимости ⇒ справедливо следствие:
'''Следствие''' Исходное отношение <tex>R</tex> всегда является подмножеством соединения отношений, полученных при декомпозиции.
→Теорема Хита
Из этого следует, что <tex>r</tex> — подмножество соединения проекций <tex>⇒ ∀ r∈R: r ∈ \pi_{XY}(R)</tex>⋈<tex>\pi_{XZ}(R)</tex>.
2. Докажем, что любой кортеж полученного соединения является кортежем отношения <tex>R</tex>.
Поскольку <tex>X → Y</tex>, существует единственный <tex>y: (x, y) ∈ π_{XY}(R) ⇒ y = y' ⇒ (x, y, z) ∈ R</tex>
}}
Доказательсто первого пункта не опирается на наличие функциональной зависимости ⇒ справедливо следствие:
'''Следствие''' Исходное отношение <tex>R</tex> всегда является подмножеством соединения отношений, полученных при декомпозиции.
==См. также==
