Academic
Publications
Implementing a Logic System for testing functional independent normal form in relational databases

Implementing a Logic System for testing functional independent normal form in relational databases,Tihomir Orehovacki,Markus Schatten,Alen Lovrencic

Implementing a Logic System for testing functional independent normal form in relational databases  
BibTex | RIS | RefWorks Download
A deductive system for database normalization is implemented by using a Flora-2 reasoning engine. The system allows for checking a relational schema up to Boyce-Codd normal form (BCNF) and functional independent normal form (FINF). Examples of system usage are presented and discussed.
Published in 2011.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.