Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 508877

Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases

Orehovački, Tihomir; Schatten, Markus; Lovrenčić, Alen
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 (ur.).
Zagreb: Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2011. str. 167-172 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

CROSBI ID: 508877 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases

Autori
Orehovački, Tihomir ; Schatten, Markus ; Lovrenčić, Alen

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
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), 2011, 167-172

ISBN
978-953-7138-20-2

Skup
33rd International Conference on Information Technology Interfaces

Mjesto i datum
Cavtat, Hrvatska, 27.06.2011. - 30.06.2011

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
database normalization ; BCNF ; FINF ; Flora-2 ; HiLog

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Informacijske i komunikacijske znanosti

Napomena
Abstracted/indexed in INSPEC and SCOPUS.



POVEZANOST RADA

Projekti:
016-0000000-3327 - Automatizacija postupaka u projektiranju informacijskih sustava (Lovrenčić, Alen, MZOS ) ( CroRIS)
016-0161741-1739 - Razvoj informacijske infrastrukture i deduktivnih mehanizama Semantičkog Weba (Čubrilo, Mirko, MZOS ) ( CroRIS)

Ustanove:
Fakultet organizacije i informatike, Varaždin

Profili:

Avatar Url Alen Lovrenčić (autor)

Avatar Url Tihomir Orehovački (autor)

Avatar Url Markus Schatten (autor)

ieeexplore.ieee.org

Citiraj ovu publikaciju:

Orehovački, Tihomir; Schatten, Markus; Lovrenčić, Alen
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 (ur.).
Zagreb: Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2011. str. 167-172 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Orehovački, T., Schatten, M. & Lovrenčić, A. (2011) Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases. U: Lužar-Stiffler, V., Jarec, I. & Bekić, Z. (ur.)Proceedings of the 33rd International Conference on Information Technology Interfaces.
@article{article, author = {Orehova\v{c}ki, Tihomir and Schatten, Markus and Lovren\v{c}i\'{c}, Alen}, year = {2011}, pages = {167-172}, keywords = {database normalization, BCNF, FINF, Flora-2, HiLog}, isbn = {978-953-7138-20-2}, title = {Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases}, keyword = {database normalization, BCNF, FINF, Flora-2, HiLog}, publisher = {Sveu\v{c}ili\v{s}ni ra\v{c}unski centar Sveu\v{c}ili\v{s}ta u Zagrebu (Srce)}, publisherplace = {Cavtat, Hrvatska} }
@article{article, author = {Orehova\v{c}ki, Tihomir and Schatten, Markus and Lovren\v{c}i\'{c}, Alen}, year = {2011}, pages = {167-172}, keywords = {database normalization, BCNF, FINF, Flora-2, HiLog}, isbn = {978-953-7138-20-2}, title = {Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases}, keyword = {database normalization, BCNF, FINF, Flora-2, HiLog}, publisher = {Sveu\v{c}ili\v{s}ni ra\v{c}unski centar Sveu\v{c}ili\v{s}ta u Zagrebu (Srce)}, publisherplace = {Cavtat, Hrvatska} }

Časopis indeksira:


  • Web of Science Core Collection (WoSCC)
    • Conference Proceedings Citation Index - Science (CPCI-S)
  • Scopus

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.