В работе изучены существующие методы автоматизации проверки корректного проектирования базы данных. Предложен алгоритм автоматической проверки корректности нормализации табличных отношений. Изложен алгоритм проверки, описаны программные средства. Представлены результаты проверки. Приведены общие выводы по проделанной работе.

The work has a logical structure consisting of a list of technical terms, the introductory section, the four major chapters and the final part. The relevance and practical importance of the work are described in the introductory section.