Relational similarity-based model of data part 2: dependencies in data

This paper is a sequel to our previous paper on relational similarity-based model of data and its fundamental query systems. The present paper elaborates on the dependency theory in the similarity-based model, focusing mainly on similarity-based functional dependencies, their semantic entailment, model-theoretic properties, complete axiomatizations, characterization of nonredundant bases, computational issues, and related algorithms. The paper shows that various aspects of dependencies in ranked data tables over domains with similarities can be properly formalized using complete residuated lattices as structures for similarities and ranks. In addition to their theoretical importance, the results can be directly applied in the areas of similarity-based constraints, query result analysis, and knowledge discovery from relational data which involves similarity-based reasoning. We assume that readers are acquainted with the prequel of this paper.

[1]  Peter Jipsen,et al.  Residuated lattices: An algebraic glimpse at sub-structural logics , 2007 .

[2]  Pablo Cordero,et al.  Fuzzy functional dependencies: A comparative survey , 2017, Fuzzy Sets Syst..

[3]  Giangiacomo Gerla,et al.  Fuzzy Logic: Mathematical Tools for Approximate Reasoning , 2001 .

[4]  Petr Hájek.  On very true , 2001, Fuzzy Sets Syst..

[5]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[6]  Marcel Wild,et al.  Computations with Finite Closure Systems and Implications , 1995, COCOON.

[7]  Claus Lewerentz,et al.  A comparative survey. , 1963 .

[8]  Wolfgang Wechler,et al.  Universal Algebra for Computer Scientists , 1992, EATCS Monographs on Theoretical Computer Science.

[9]  C.J.H. Mann,et al.  Fuzzy Relational Systems: Foundations and Principles , 2003 .

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

[11]  Radim Bělohlávek,et al.  Fuzzy Relational Systems: Foundations and Principles , 2002 .

[12]  Satoko Titani,et al.  Globalization of intui tionistic set theory , 1987, Ann. Pure Appl. Log..

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

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

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

[16]  Masao Mukaidono,et al.  Fuzzy Conditional Probability Relations and their Applications in Fuzzy Information Systems , 2004, Knowledge and Information Systems.

[17]  Jan Pavelka,et al.  On Fuzzy Logic I Many-valued rules of inference , 1979, Math. Log. Q..

[18]  Richard Holzer.  Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part I , 2004, Fundam. Informaticae.

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

[20]  Philip A. Bernstein,et al.  Computational problems related to the design of normal form relational schemas , 1979, TODS.

[21]  Angel Mora,et al.  Automated prover for attribute dependencies in data with grades , 2016, Int. J. Approx. Reason..

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

[23]  Siegfried Gottwald,et al.  Mathematical Fuzzy Logics , 2008, Bulletin of Symbolic Logic.

[24]  J. A. Goguen,et al.  The logic of inexact concepts , 1969, Synthese.

[25]  Tzung-Pei Hong,et al.  Mining functional dependencies from fuzzy relational databases , 2000, SAC '00.

[26]  David Maier,et al.  The Theory of Relational Databases , 1983 .

[27]  Vilém Vychodil,et al.  Monoidal functional dependencies , 2014, ArXiv.

[28]  Vilém Vychodil,et al.  Attribute Dependencies for Data with Grades , 2014, ArXiv.

[29]  Vilém Vychodil,et al.  Relational similarity-based model of data part 1: foundations and query systems , 2017, Int. J. Gen. Syst..

[30]  Vilém Vychodil,et al.  Attribute dependencies for data with grades II*,† , 2016, Int. J. Gen. Syst..

[31]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[32]  Petr Hájek,et al.  Fss 5598 Modc+(sc) Triangular Norm Based Predicate Fuzzy Logics , 2022 .

[33]  Jianzhong Li,et al.  The VLDB Journal manuscript No. (will be inserted by the editor) Dynamic Constraints for Record Matching , 2022 .

[34]  Vilém Vychodil,et al.  Fuzzy Closure Operators with Truth Stressers , 2005, Log. J. IGPL.

[35]  Vincent Duquenne,et al.  Familles minimales d'implications informatives résultant d'un tableau de données binaires , 1986 .

[36]  Vilém Vychodil,et al.  Codd's Relational Model from the Point of View of Fuzzy Logic , 2011, J. Log. Comput..

[37]  G. A. Miller.  THE PSYCHOLOGICAL REVIEW THE MAGICAL NUMBER SEVEN, PLUS OR MINUS TWO: SOME LIMITS ON OUR CAPACITY FOR PROCESSING INFORMATION 1 , 1956 .

[38]  F. E..  A Relational Model of Data Large Shared Data Banks , 2000 .

[39]  Didier Dubois,et al.  Fuzzy functional dependencies-an overview and a critical discussion , 1994, Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference.