Abstract:
Здійснено спробу охарактеризувати сучасний стан теорії нормалізації в реляційних базах даних. Обговорено означення деяких класичних нормальних форм та основних некласичних нормальних форм. Показано нееквівалентність двох означень проективно-з’єднувальної
нормальної форми, запропонованих Р. Фейгіним (R. Fagin). На основі аналізу першоджерел та власних результатів встановлено логічні зв’язки між означеннями класичних та основних некласичних нормальних форм.