Изменения

Перейти к: навигация, поиск

Цели и средства нормализации

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

Навигация