Modelling functional dependencies in databases using mathematical logic

For more than 20 years relational model is the most important database model. So, it is examined in the most various ways. A very important concept in the relational model is the concept of dependencies, especially functional dependencies. It is proven that functional dependencies can be represented by formulae of propositional or predicate calculus. There are several systems of transforming functional dependencies into a logic system, known from the literature, but all of them has one serious drawback: they do not have a form that is appropriate for reasoning about normalization. This paper presents a new approach to the process of transforming functional dependencies into predicate calculus. The system presented in this paper is designed in the way to be appropriate for normalization, reasoning about it, as well as for the building a system for automated normalization of databases.