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