Pregled bibliografske jedinice broj: 375538
Modelling Functional Dependences in Databases using Mathematical Logic
Modelling Functional Dependences in Databases using Mathematical Logic // 11th International Conference on Intelligent Engineering Sysms, Proceedings / Ridas, Imre J. (ur.).
Budimpešta: Institute of Electrical and Electronics Engineers (IEEE), 2007. str. 307-312 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 375538 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
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. - Budimpešta : Institute of Electrical and Electronics Engineers (IEEE), 2007, 307-312
ISBN
1-4244-1147-5
Skup
Conference on Intelligent Engineering Systems
Mjesto i datum
Budimpešta, Mađarska, 30.06.2007. - 02.07.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
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)
016-0361935-1728 - Semantičko modeliranje višeagentnih sustava (Maleković, Mirko, MZOS ) ( CroRIS)
Ustanove:
Fakultet organizacije i informatike, Varaždin
