Семантические интерпретации высоких нормальных форм отношений реляционной базы данных

Приведены результаты семантического моделирования процессов устранения избыточности и защиты отношения реляционной базы данных (БД) от аномалий обновления за счет совершенствования процесса его нормализации. Установлены семантические эквиваленты требований нормальных форм реляционного отношения, повышающие результативность алгоритма нормализации. Сформулирована и доказана теорема, гарантирующая однозначную детерминацию функциональной зависимости (ФЗ) атрибута от потенциального ключа. Сформулированы уточнения алгоритма нормализации реляционного отношения. Приведены способы применения предложенных интерпретаций. Показаны практически применимые процедуры, снимающие противоречия проектирования рациональной структуры БД. Основные выводы сформулированы в отношении фактографических БД. Предложенные механизмы не зависят от используемой системы управления БД.