Title :
Implementing a Logic System for testing functional independent normal form in relational databases
Author :
Orehovacki, Tihomir ; Schatten, Markus ; Lovrencic, Alen
Author_Institution :
Fac. of Organ. & Inf., Univ. of Zagreb, Varazdin, Croatia
Abstract :
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.
Keywords :
deductive databases; inference mechanisms; relational databases; Boyce-Codd normal form; Flora-2 reasoning engine; database normalization; deductive system; functional independent normal form testing; logic system; relational database; relational schema; Algorithm design and analysis; Data models; Erbium; Relational databases; Testing; Unified modeling language; BCNF; FINF; Flora-2; HiLog; database normalization;
Conference_Titel :
Information Technology Interfaces (ITI), Proceedings of the ITI 2011 33rd International Conference on
Conference_Location :
Dubrovnik
Print_ISBN :
978-1-61284-897-6
Electronic_ISBN :
1330-1012
