Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases
Proceedings of the 33rd International Conference on Information Technology Interfaces / Lužar-Stiffler, Vesna ; Jarec, Iva ; Bekić, Zoran (ed). - Zagreb : University Computing Centre, University of Zagreb , 2011. 167-172 (ISBN: 978-953-7138-20-2).
Part of a CC journal:
33rd International Conference on Information Technology Interfaces
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.