DocumentCode
548676
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
fYear
2011
fDate
27-30 June 2011
Firstpage
167
Lastpage
172
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology Interfaces (ITI), Proceedings of the ITI 2011 33rd International Conference on
Conference_Location
Dubrovnik
ISSN
1330-1012
Print_ISBN
978-1-61284-897-6
Electronic_ISBN
1330-1012
Type
conf
Filename
5974015
Link To Document