Изменения
→Достижимость
* Пока есть множественная зависимость, декомпозируем на два отношения.
* Количество атрибутов в каждом отношении всегда уменьшается.
* в конце останутся либо отношения из одного атрибута, которое которые находятся в 4НФ, либо отношения, в которых нет неудовлетворяющих зависимостей и которые находятся в 4НФ по определению
}}
