A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations

An axiomatic system for fuzzy functional dependencies is introduced. The main novelty of the system is that it is not based on the transitivity rule like all the others, but it is built around a simplification rule which allows the removal of redundancy. The axiomatic system presented here is shown to be sound and complete.

[1]  J. F. Baldwin.  Knowledge Engineering Using a Fuzzy Relational Inference Language , 1983 .

[2]  Sadok Ben Yahia,et al.  An Extension of Classical Functional Dependency: Dynamic Fuzzy Functional Dependency , 1999, Inf. Sci..

[3]  Henri Prade,et al.  Generalizing Database Relational Algebra for the Treatment of Incomplete/Uncertain Information and Vague Queries , 1984, Inf. Sci..

[4]  Peter A. Flach,et al.  Bottom-up induction of functional dependencies from relations , 1993 .

[5]  Peter Buneman,et al.  Semistructured data , 1997, PODS.

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

[7]  Vilém Vychodil,et al.  Data Tables with Similarity Relations: Functional Dependencies, Complete Rules and Non-redundant Bases , 2006, DASFAA.

[8]  D. A. Bell,et al.  Rough Computational Methods for Information , 1998, Artif. Intell..

[9]  Frederick E. Petry,et al.  Uncertainty models in information and database systems , 1985 .

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

[11]  Angel Mora,et al.  An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm , 2003, CAEPIA.

[12]  Hans-Jörg Schek,et al.  Remarks on the algebra of non first normal form relations , 1982, PODS.

[13]  Juan C. Cubero,et al.  A new definition of fuzzy functional dependency in fuzzy relational databases , 1994, Int. J. Intell. Syst..

[14]  W. W. Armstrong,et al.  Dependency Structures of Data Base Relationships , 1974, IFIP Congress.

[15]  Philip A. Bernstein,et al.  A unified approach to functional dependencies and relations , 1975, SIGMOD '75.

[16]  E. F. Codd,et al.  The Relational Model for Database Management, Version 2 , 1990 .

[17]  Alberto Bugarín,et al.  Current Topics in Artificial Intelligence, 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers , 2006, CAEPIA.

[18]  Angel Mora,et al.  SLFD Logic: Elimination of Data Redundancy in Knowledge Representation , 2002, IBERAMIA.

[19]  Ronald Fagin,et al.  Functional Dependencies in a Relational Data Base and Propositional Logic , 1977, IBM J. Res. Dev..

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

[21]  Miguel Toro,et al.  Advances in Artificial Intelligence — IBERAMIA 2002 , 2002, Lecture Notes in Computer Science.

[22]  Devendra K. Tayal,et al.  A complete axiomatization of fuzzy functional dependencies using fuzzy function , 2005, Fuzzy Sets Syst..

[23]  Angel Mora,et al.  A new closure algorithm based in logic: SLFD-Closure versus classical closures , 2006, Inteligencia Artif..

[24]  Manuel Ojeda-Aciego,et al.  Fuzzy congruence relations on nd-groupoids , 2009, Int. J. Comput. Math..

[25]  Lotfi A. Zadeh,et al.  Is there a need for fuzzy logic? , 2008, NAFIPS 2008 - 2008 Annual Meeting of the North American Fuzzy Information Processing Society.

[26]  Vilém Vychodil,et al.  Basic Algorithm for Attribute Implications and Functional Dependencies in Graded Setting , 2008, Int. J. Found. Comput. Sci..

[27]  Jennifer Widom,et al.  The Lowell database research self-assessment , 2003, CACM.