WSEAS Transactions on Mathematics
Print ISSN: 1109-2769, E-ISSN: 2224-2880
Volume 18, 2019
(This paper belongs to the Special Issue "Pure Mathematics") Vague Functional Dependencies and Resolution Principle
Author:
Abstract: "The goal of this paper is to show that the process of deriving of new vague functional dependencies from given ones may be automated. To achieve this, we join fuzzy formulas to vague functional dependencies. Thus, to prove that a vague functional dependency follows from a set of vague functional dependencies, becomes the same as to prove that the corresponding fuzzy formula is valid whenever the fuzzy formulas from the corresponding set of fuzzy formulas are valid."