Automated normalization tool

Abstract In our contribution the Automated Normalization Tool named ANT and some experience with its development are described. The base of this tool is the normalization theory which is built on the concept of normal forms. ANT has an active guidance through the four main possibilities and is intended for good design of relational database. In this paper the Theoretical Backgrounds and Fundamental Aspects of ANT with a Short Description of Possibilities are described. For the implementation of ANT a nonprocedural language PROLOG is used. The ANT is also possible as an optional part of a Computer Automated Software Engineering Tool named ASET (Automated Software Engineering Tool), which is intended for the development of the program systems.