A Computational Algorithm for the Ffd Transitive Closure and A Complete Axiomatization of Fuzzy Functional Dependence (Ffd)

GQ CHEN,EE KERRE,J VANDENBULCKE

DOI: https://doi.org/10.1002/int.4550090503

IF: 8.993

1994-01-01

International Journal of Intelligent Systems

Abstract:This article focuses on the axiomatization of fuzzy functional dependency (FFD) in a fuzzy relational data model, which is considered as a fundamental issue towards building a theory of fuzzy relational database design. As an inference basis, the FFD axiomatic system composed of four FFD inference rules is established, and proven to be correct in terms of FFD logical implication with respect to the relation scheme. Consequently, the concept of the FFD transitive closure is defined, and correspondingly a computational algorithm is developed. This helps to tell whether a specific FFD can be derived from a given FFD set using those inference rules. In addition, some details of the algorithm as well as the aspects of the computational complexity and correctness are investigated. Finally, the soundness and completeness of the axiomatic system are discussed. It is proven that the system is both sound and complete. Importantly, this result enables us to ''equate'' the concept of FFD logical implication to the concept of FFD derivation using the inference rules. (C) 1994 John Wiley & Sons, Inc.