crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Pregled bibliografske jedinice broj: 375538

Zbornik radova

Autori: Lovrenčić, Alen; Čubrilo, Mirko; Kišasondi, Tonimir
Naslov: Modelling Functional Dependences in Databases using Mathematical Logic
( Modelling Functional Dependences in Databases using Mathematical Logic )
Izvornik: 11th International Conference on Intelligent Engineering Sysms, Proceedings / Ridas, Imre J. (ur.). - Budapest : IEEE , 2007. 307-312 (ISBN: 1-4244-1147-5).
Skup: Conference on Intelligent Engineering Systems
Mjesto i datum: Budimpešta, Mađarska, 30.6-2.7.2007
Ključne riječi: Logičko programiranje; Funkcijske zavisnosti; Normalizacija
( Logic Programming; Functional Dependences; Normalization )
Sažetak:
For more than 20 years relational model is the most important database model. So, it is examined in the most various ways. A very important concept in the relational model is the concept of dependencies, especially functional dependencies. It is proven that functional dependencies can be represented by formulae of propositional or predicate calculus. There are several systems of transforming functional dependencies into a logic system, known from a literature, but all of them has one serious drawback: they do not have a formthat is appropriate for reasoning about normalization. This paper presents a new approach to the process of transforming functional dependencies into predicate calculus. The system presented in this aper is designed in the way to be appropriate for normalization, reasoning about it, as well as for the building a system for automated normalization of databases.
Vrsta sudjelovanja: Predavanje
Vrsta prezentacije u zborniku: Cjeloviti rad (više od 1500 riječi)
Vrsta recenzije: Međunarodna recenzija
Projekt / tema: 016-0361935-1728, 016-0000000-3327, 016-0161741-1739
Izvorni jezik: eng
Kategorija: Znanstveni
Znanstvena područja:
Informacijske i komunikacijske znanosti
Upisao u CROSBI: alovrencic@foi.hr (alovrencic@foi.hr), 12. Pro. 2008. u 19:35 sati
Napomene:
Cjeloviti tekst je zaštićen od strane IEEE organizacije.



Verzija za printanje   za tiskati


upomoc
foot_4