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

Abstract

(uk) Здійснено спробу охарактеризувати сучасний стан теорії нормалізації в реляційних базах даних. Обговорено означення деяких класичних нормальних форм та основних некласичних нормальних форм. Показано нееквівалентність двох означень проективно-з’єднувальної нормальної форми, запропонованих Р. Фейгіним (R. Fagin). На основі аналізу першоджерел та власних результатів встановлено логічні зв’язки між означеннями класичних та основних некласичних нормальних форм.(en) Given paper contains some attempt to characterize the current state of the theory of normalization in relational databases. We discuss the definitions of some classical normal forms and basic non-classical normal forms. It is shown that both definitions of Fagin’s Projection-Join Normal Form are not equivalent. On the basis of analysis of the sources and own results logical connections between the definitions of classical and basic non-classical normal forms are established.