Napredna pretraga

Pregled bibliografske jedinice broj: 375538

Modelling Functional Dependences in Databases using Mathematical Logic


Lovrenčić, Alen; Čubrilo, Mirko; Kišasondi, Tonimir
Modelling Functional Dependences in Databases using Mathematical Logic // 11th International Conference on Intelligent Engineering Sysms, Proceedings / Ridas, Imre J. (ur.).
Budapest: IEEE, 2007. str. 307-312 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


Naslov
Modelling Functional Dependences in Databases using Mathematical Logic

Autori
Lovrenčić, Alen ; Čubrilo, Mirko ; Kišasondi, Tonimir

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

Izvornik
11th International Conference on Intelligent Engineering Sysms, Proceedings / Ridas, Imre J. - 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

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

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.

Izvorni jezik
Engleski

Znanstvena područja
Informacijske i komunikacijske znanosti

Napomena
Cjeloviti tekst je zaštićen od strane IEEE organizacije.



POVEZANOST RADA


Projekt / tema
016-0000000-3327 - Automatizacija postupaka u projektiranju informacijskih sustava (Alen Lovrenčić, )
016-0161741-1739 - Razvoj informacijske infrastrukture i deduktivnih mehanizama Semantičkog Weba (Mirko Čubrilo, )
016-0361935-1728 - Semantičko modeliranje višeagentnih sustava (Mirko Maleković, )

Ustanove
Fakultet organizacije i informatike, Varaždin