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