Деякі некласичні нормальні форми в реляційних базах даних

Abstract

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

(en) We discuss the definitions of some classical normal forms, in particular, Fagin’s Projection-Join Normal Form, and basic non-classical normal forms, such as: Zaniolo’s Elementary Key Normal Form, Date’s Fifth Normal Form, Maier’s preliminary Projection-Join Normal Form, Vinsent’s Reduced Fifth Normal Form, Normann’s Superkey Normal Form, Vinsent’s Key-Complete Normal Form, Vinsent’s Redundancy Free Normal Form, Essential Tuple Normal Form (authors: Darwen, Date and Fagin), Fagin’s Domain-Key Normal Form. It is shown that both definitions of Fagin’s Projection-Join Normal Form (so-called classical fifth normal form) are not equivalent. In particular, we discuss the features of the relation scheme which is in one of the definitions of Fagin’s Projection-Join Normal Form. On the basis of analysis of the sources and own results are established logical connections between the definitions of classical and basic non-classical normal forms.