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

Abstract

Tato bakalářská práce je zaměřena na návrh a implementaci nástroje pro formální analýzu relační databáze, který uživateli umožní jednoduše provést analýzu daného relačního schématu. První část práce se zabývá normalizací databáze a především problematikou normálních forem, které s tímto tématem úzce souvisí. Ve druhé části se práce soustředí především na použité technologie a testování vytvořené aplikace.

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.