INFORMATICA Informatica 1822-8844 0868-4952 0868-4952 Vilnius University Institute of Mathematics and Informatics Akademijos 4, LT-08663 Vilnius, Lithuania INFO582 10.15388/Informatica.2005.083 Research Article Fuzzy Functional Dependency and the Resolution Principle Dukić Nedzad ndukic@pmf.unsa.ba a Avdagić Zikrija ndukic@pmf.unsa.ba b Faculty of Science, Department of Mathematic, University of Sarajevo, Bosnia and Herzegovina Faculty of Electrical Engineering, University of Sarajevo, Bosnia and Herzegovina 2005 16 1 45 60 1 1 2004 © 2005 Institute of Mathematics and Informatics, Vilnius 2005 Open access article under the CC BY license.

In this paper we establish equivalence between a theory of fuzzy functional dependences and a fragment of fuzzy logic. We give away to interpret fuzzy functional dependences as formulas in fuzzy logic. This goal is realized in four steps. Truth assignment of attributes is defined in terms of closeness between two tuples in a fuzzy relation. A corresponding fuzzy formula is associated to a fuzzy functional dependence. It is proved that if a relation satisfies a fuzzy functional dependence, then the corresponding fuzzy formula is satisfied and vice verse. Finally, equivalence of a fuzzy formulas and a set fuzzy functional dependence is demonstrated. Thus we are in position to apply the rule of resolution from fuzzy logic, while calculating fuzzy functional dependences.

 fuzzy relation database fuzzy functional dependency fuzzy logic resolution