Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases (CROSBI ID 571891)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Orehovački, Tihomir ; Schatten, Markus ; Lovrenčić, Alen
engleski
Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases
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.
database normalization ; BCNF ; FINF ; Flora-2 ; HiLog
Abstracted/indexed in INSPEC and SCOPUS.
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
167-172.
2011.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the 33rd International Conference on Information Technology Interfaces
Lužar-Stiffler, Vesna ; Jarec, Iva ; Bekić, Zoran
Zagreb: Sveučilišni računski centar Sveučilišta u Zagrebu (Srce)
978-953-7138-20-2
1330-1012
Podaci o skupu
33rd International Conference on Information Technology Interfaces
predavanje
27.06.2011-30.06.2011
Dubrovnik, Hrvatska; Cavtat, Hrvatska
Povezanost rada
Informacijske i komunikacijske znanosti