Modelling Functional Dependences in Databases using Mathematical Logic (CROSBI ID 544313)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
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