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.
DOI: *As the DOI is a unique identifier, it is already available in the pdf version. **The DOI link will be activated in the first midst of January 2026.