Fuzzy Functional Dependency and the Resolution Principle

In this paper we establish equivalence between a theory of fuzzy functional dependences and a fragment of fuzzy logic. We give a way to interpret fuzzy functional dependences as formulas in fuzzy logic. This goal is realized in four steps. Truth assignment of attributes is defined in terms of closeness between two tuples in a fuzzy relation. A corresponding fuzzy formula is associated to a fuzzy functional dependence. It is proved that if a relation satisfies a fuzzy functional dependence, then the corresponding fuzzy formula is satisfied and vice verse. Finally, equivalence of a fuzzy formulas and a set fuzzy functional dependence is demonstrated. Thus we are in position to apply the rule of resolution from fuzzy logic, while calculating fuzzy functional dependences.

[1]  Wei Yi Liu,et al.  The fuzzy functional dependency on the basis of the semantic distance , 1993 .

[2]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[3]  Carl W. Entemann.  A fuzzy logic with interval truth values , 2000, Fuzzy Sets Syst..

[4]  Arun K. Majumdar,et al.  Fuzzy Functional Dependencies and Lossless Join Decomposition of Fuzzy Relational Database Systems , 1988, ACM Trans. Database Syst..

[5]  Guoqing Chen.  Fuzzy logic in data modeling: semantics, constraints, and database design , 1998 .

[6]  H. Zimmermann,et al.  Comparison of fuzzy reasoning methods , 1982 .

[7]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[8]  Sujeet Shenoi,et al.  An equivalence classes model of fuzzy relational databases , 1990 .

[9]  E. F. CODD,et al.  A relational model of data for large shared data banks , 1970, CACM.

[10]  B. Buckles,et al.  A fuzzy representation of data for relational databases , 1982 .

[11]  Adnan Yazici,et al.  A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations , 2001, Fuzzy Sets Syst..

[12]  Richard C. T. Lee.  Fuzzy Logic and the Resolution Principle , 1971, JACM.

[13]  Adnan Yazici,et al.  An integrity constraint for a fuzzy relational database , 1993, [Proceedings 1993] Second IEEE International Conference on Fuzzy Systems.

[14]  Witold Lipski,et al.  On Databases with Incomplete Information , 1981, JACM.

[15]  L. Zadeh.  Calculus of fuzzy restrictions , 1996 .