Изменения

Доказательсто не опирается на наличие функциональной зависимости ⇒ мы доказали следствие:

'''Следствие''' исходное отношение <tex>R</tex> всегда является подмножеством соединения отношений, полученных при декомпозиции.

2. Докажем, что любой кортеж полученного соединения является кортежем отношения <tex>R</tex>.