Теорія нормалізації в табличних базах даних

Математично доведені повнота та коректність трьох основних аксіоматик залежностей в реляційних БД: по-перше, аксіоматики ФЗ Армстронга, по-друге, аксіоматики БЗЗ, та по-третє, аксіоматики ФЗ і БЗЗ через збіжність відношень синтаксичного та семантичного слідувань.
Встановлено критерії повноти аксіоматики ФЗ та аксіоматик ФЗ і БЗЗ в термінах потужностей множини атрибутів та універсального домена.
Доведена незалежність складових аксіоматики ФЗ Армстронга (видалення кожної складової зменшує породжуючу силу аксіоматики).
Побудована алгебра ФЗ, сигнатура якої складена відповідно до складових аксіоматики ФЗ Армстронга. Розглянута підалгебра тривіальних ФЗ та множина, яка її породжує. Це дозволяє формулювати результати щодо властивостей аксіоматики Армстронга на алгебраїчній мові.
Побудовано цілісний та несцперечливий фрагмент математичної теорії нормалізації щодо нормальних форм 2-4 порядків. Для спеціальних випадків встановлені значення потенційних ключів, а також, достатні умови для знаходження таблиці у НФ 2-4 порядків.
Сформульовані означення 2-4 НФ задовольняють принципу «включення» НФ вищих порядків в НФ нижчих порядків.

Ключові слова : таблична база даних, теорія нормалізації, функціональна залежність, багатозначна залежність, нормальна форма.

Пузікова А.В. Теорія нормалізації в табличних базах даних : дис. ... канд. фіз.-мат. наук : 01.05.03 математичне та програмне забезпечення обчислювальних машин і систем / Пузікова Анна Валентинівна. - Київ, 2016. - 132 с.