Изменения
→Четвертая нормальная форма
|statement=Любое отношение можно декомпозировать на отношения, находящиеся в 4НФ
|proof=
* Пока есть множественная зависимость, декомпозируем на два отношения(По теореме Фейгина).
* Количество атрибутов в каждом отношении всегда уменьшается.
* в В конце останутся либо отношения из одного атрибута, которые находятся в 4НФ, либо отношения, в которых нет неудовлетворяющих зависимостей и которые находятся в 4НФ по определению.
}}
| Мат.Ан. || Фихтенгольц
|}
Теорема Фейгина гарантирует, что соответствующая декомпозиция будет корректной.
[[Категория: Базы данных]]
