Nástroj pro formální analýzu relační databáze

Abstract

This bachelor thesis is focusing on proposal and an implementation of formal analysis tool for relational database that allows user to easily analyze the relational schema. The first part deals with database normalization, and especially the issue of normal forms that this topic is closely related. In the second part thesis focuses mainly on applied technology and testing of created application.