4.20. Еквівалентність нормальних форм та критерій якості реляційної схеми.

Еквівалентність нормальних форм та критеріїв якості реляційної схеми.Процедура нормалізації здійснює перетворення одних НФ у інші.Виникає питання щодо еквівалентності нормальних форм під час таких перетворень. Теоретично доведено наступні результати, які є підставою для порівння нормальних форм: Твердження1.Будь-яка схема реляційного відношення може бути зведена до НФБК (нормальна форма Байса-Кодда)так,щоб декомпозиція мала властивості з’єднання без втрат. Твердження2. Будь-яка схема реляційного відношення може бути зведена до 3НФ зі збереженням еквівалентності за залежностями і даними. Твердження 3.При зведенні 3НФ до НФБК еквівалентність за функціональними залежностями може втрачатися.Для додаткового порівняння реляційних схем, які представлені у НФ, використовують такі критерії як мінімізація обсягу інформації в БД, відсутність аномалій, мінімальний час доступу.Зазвичай названі показники є критеріями відповідних оптимізаційних моделей.