crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Home
 About the project
 FAQ
 Contact
4 gif
Browsing
Basic search
Advanced search
Statistical data
Other bibliographies
Similar projects
 Catalogues and databases

Bibliographic record number: 508877

Journal

Authors: Orehovački, Tihomir; Schatten, Markus; Lovrenčić, Alen
Title: Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases
Source: 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: NE
ISSN: 1330-1012
Meeting: 33rd International Conference on Information Technology Interfaces
Location and date: Cavtat, Hrvatska, 27-30.06.2011.
Keywords: database normalization, BCNF, FINF, Flora-2, HiLog
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.
Type of meeting: Predavanje
Type of presentation in a journal: Full paper
Type of peer-review: International peer-review
Project / theme: 016-0161741-1739, 016-0000000-3327
Original language: ENG
Category: Znanstveni
Research fields:
Information science
Printed media: da
CD/DVD media: da
URL: http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5974015
Contrib. to CROSBI by: torehova@foi.hr (torehova@foi.hr), 4. Apr. 2011. u 01:21 sati
Remarks:
Abstracted/indexed in INSPEC and SCOPUS.



Print version   za tiskati


upomoc
foot_4