Should fuzzy equality and similarity satisfy transitivity? Comments on the paper by M. De Cock and E. Kerre

2003 ◽  
Vol 133 (2) ◽  
pp. 175-180 ◽  
Author(s):  
F Klawonn
Keyword(s):  
Author(s):  
P. C. SAXENA ◽  
D. K. TAYAL

In fuzzy relational databases, the data dependencies, especially the fuzzy functional dependency(ffd) plays an important role in maintaining the consistency of the database and in avoiding the redundant storage of the data. In the past, it has been shown that the type-2 fuzzy relational databases captures impreciseness and incompleteness in data in a better way. The aim of this paper is to provide the concepts for database normalization in a type-2 fuzzy relational database, so that the normalized schemas can be obtained. Here, we deal with the fuzzy functional dependency(ffd) based normalization of type-2 fuzzy relational databases. We use the concepts of fuzzy functions to derive the fuzzy equality and using this fuzzy equality, we define a new definition of fuzzy functional dependency. First we discuss various approaches proposed by the researchers in this context and show why our fuzzy functional dependency is better, as compared to the earlier ffds proposed by the researchers. We call our ffd as non-0 LHS ffd. We identify an anomaly called "spurious ffd" and show that some of the significant contributions proposed by the earlier researchers are suffering from this anomaly, but the non-0 LHS ffd does not suffer from it. Then, we prove that the set of inference rules for the non-0 LHS ffd are sound and complete. We use the definition of non-0 LHS ffd in obtaining the first three normal forms upto BCNF for type-1 and type-2 fuzzy relational schemas. The result of the decomposition and the procedure to obtain the membership value of the decomposed relations is proposed. The associated concepts like the fuzzy key, fuzzy superkey, fuzzy foreign key are defined in terms of non-0 LHS ffd. On the basis of these concepts, we define full ffd, partial ffd etc. In the last, we show that in our case, the relationship of total-ordering between the three normal forms in classical relational databases is also observed.


Author(s):  
CHURN JUNG LIAU ◽  
BERTRAND I-PENG LIN

The concept of fuzzy equality and its related contents to the first order predicate calculus are discussed. It is proved that, in the viewpoint of computational logic, resolution and paramodulation mechanisms are complete and sound for fuzzy logic with equality. Term rewriting system, that is the set of left to right directional equations, provides an essential computational paradigm for word problems in universal algebra. We embody the fuzzy equality to the theory of this computation system and give an algorithmic solution to the word problems in fuzzy algebra.


2003 ◽  
Vol 8 (10) ◽  
pp. 668-675 ◽  
Author(s):  
V. Nov�k
Keyword(s):  

2013 ◽  
Vol 2013 ◽  
pp. 1-10 ◽  
Author(s):  
Haifang Cheng ◽  
Weilai Huang ◽  
Jianhu Cai

In the current literatures, there are several models of fully fuzzy linear programming (FFLP) problems where all the parameters and variables were fuzzy numbers but the constraints were crisp equality or inequality. In this paper, an FFLP problem with fuzzy equality constraints is discussed, and a method for solving this FFLP problem is also proposed. We first transform the fuzzy equality constraints into the crisp inequality ones using the measure of the similarity, which is interpreted as the feasibility degree of constrains, and then transform the fuzzy objective into two crisp objectives by considering expected value and uncertainty of fuzzy objective. Since the feasibility degree of constrains is in conflict with the optimal value of objective function, we finally construct an auxiliary three-objective linear programming problem, which is solved through a compromise programming approach, to solve the initial FFLP problem. To illustrate the proposed method, two numerical examples are solved.


1991 ◽  
Vol 36 (1) ◽  
pp. 32-45
Author(s):  
Ferdinand Chovanec ◽  
František Kôpka
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document