A generalised definition of fuzzy multivalued dependencies (FMVD) is introduced. It is shown that Armstrong's axioms for classical multivalued dependencies (MVD) hold in this generalised fuzzy environment as well. We found out necessary conditions for FMVDs to hold in two-tuple relations and sub-relations. This provides us a method to extend inferences from two-tuple subrelations to their parent relations. The proof procedures for the inference rules are based on these relationship.
展开▼