In this paper we establish equivalence between a theory of fuzzy functional dependences and a fragment of fuzzy logic. We give a way to interpret fuzzy functional dependences as formulas in fuzzy logic. This goal is realized in a few 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 viceverse. 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 functiorial dependences.
@article{urn:eudml:doc:39258,
title = {Formalization of Provenes fuzzy functional dependency in fuzzy databases.},
journal = {Mathware and Soft Computing},
volume = {11},
year = {2004},
pages = {31-44},
zbl = {1088.68565},
mrnumber = {MR2116810},
language = {en},
url = {http://dml.mathdoc.fr/item/urn:eudml:doc:39258}
}
Dukic, Nedzad; Avdagic, Zikrija. Formalization of Provenes fuzzy functional dependency in fuzzy databases.. Mathware and Soft Computing, Tome 11 (2004) pp. 31-44. http://gdmltest.u-ga.fr/item/urn:eudml:doc:39258/