Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Modelling Functional Dependences in Databases using Mathematical Logic (CROSBI ID 544313)

Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija

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.). Budimpešta: Institute of Electrical and Electronics Engineers (IEEE), 2007. str. 307-312

Podaci o odgovornosti

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

engleski

Modelling Functional Dependences in Databases using Mathematical Logic

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.

Logic Programming; Functional Dependences; Normalization

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

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o prilogu

307-312.

2007.

objavljeno

Podaci o matičnoj publikaciji

11th International Conference on Intelligent Engineering Sysms, Proceedings

Ridas, Imre J.

Budimpešta: Institute of Electrical and Electronics Engineers (IEEE)

1-4244-1147-5

Podaci o skupu

Conference on Intelligent Engineering Systems

predavanje

30.06.2007-02.07.2007

Budimpešta, Mađarska

Povezanost rada

Informacijske i komunikacijske znanosti