Semantic interpretations of high normal forms of relations in a relational database

The results of semantic modeling of the processes of eliminating redundancy and protecting the relation of a relational database from update anomalies by improving the process of its normalization are presented. The semantic equivalents of the requirements of the normal forms of the relational database relations were established which increase the efficiency of the normalization algorithm. A theorem was formulated and proved that guarantees an unambiguous determination of the functional dependence of an attribute on a potential key. Refinements of the relational relation normalization algorithm were formulated. The ways of applying the proposed interpretations are given. Practically applicable procedures are shown that remove the contradictions of designing a rational database structure. The main findings are formulated in relation to factual databases. The proposed mechanisms are independent of the database management system used.