Functional dependencies in fuzzy databases

Functional dependencies, which have resemblance relations and weights, are formulated as one of constraints composing integrity constraints in the fuzzy relational database based on possibilities and necessity measures. Each tuple value has a compatibility degree of necessity and possibility with a functional dependency. Whether a tuple satisfies the functional dependency is determined by the comparison of the compatibility degree with the value of membership attribute. Our formulation does not contain any parameter. We examine inference rules under two interpretations of functional dependencies. Under the interpretation corresponding to using Godel implication, Armstrong's inference rules are sound and complete for any functional dependency with no weights, and the extended inference rules of Armstrong's ones are sound and complete for any functional dependency with weights. On the other hand, under the interpretation corresponding to using Diens implication, Armstrong's inference rules are sound and complete for functional dependencies with identity relations and no weights, and the extended inference rules of Armstrong's ones are sound and complete for functional dependencies with identity relations and weights. However, Armstrong's inference rules and their extended inference-rules are not sound for functional dependencies with resemblance relations and no weights and with resemblance relations and weights, respectively. In these cases, another sound inference rules hold.