WSEAS Transactions on Mathematics
Print ISSN: 1109-2769, E-ISSN: 2224-2880
Volume 18, 2019
Vague Multivalued Dependencies and Resolution Principle
Author:
Abstract: In this paper we show that the process of deriving of new vague functional or new vague multivalued dependencies from given ones may be automated. In order to achieve our goal, we associate fuzzy formulas to vague functional and vague multivalued dependencies. In this way, to prove that a vague functional or a vague multivalued dependency follows from a set of vague functional and vague multivalued dependencies becomes the same as to prove that the corresponding fuzzy formula is a logical consequence of the corresponding set of fuzzy formulas.