Fuzzy Functional and Multivalued Dependencies for Frank’s Class of Additive Generators
In this paper we consider all possible dependencies that can be built upon similarity-based fuzzy relations, that is, fuzzy functional and fuzzy multivalued dependencies. Motivated by the fact that the classical obtaining of new dependencies via inference rules may be tedious and uncertain, we replace it by the automated one, where the key role is played by the resolution principle techniques and the fuzzy formulas in place of fuzzy dependencies. We prove that some fuzzy multivalued dependency is actively correct with respect to given fuzzy relation instance if and only if the corresponding fuzzy formula is in line with the attached interpretation. Additionally, we require the tuples of the instance to be conformant (up to some extent) on the leading set of attributes. The equivalence as well as the conclusion are generalized to sets of attributes. The research is conducted by representing the attributes and fuzzy dependencies in the form of fuzzy formulas, and the application of fuzzy implication operators derived from carefully selected Frank’s classes of additive generators