Fuzzy Implication and Functional Dependency on Formal Context

Mohammad Deni Akbar; Yoshihiro Mizoguchi

doi:10.24198/jmi.v15.n2.21693.69

Fuzzy Implication and Functional Dependency on Formal Context

Mohammad Deni Akbar, Yoshihiro Mizoguchi

Abstract

Fuzzy formal concept analysis(FFCA) is a development of formal concept analysis(FCA) with the degree of relation between objects and attributes. Using FCA approach, we will investigate the condition logical implication for fuzzy functional dependency. We also use Armstrong's rule to define soundness and completeness of our implication and fuzzy functional dependency model. We show difference and equivalence condition between fuzzy implication and fuzzy functional dependency. This condition can be used to develop the algorithm for finding attribute dependency.

Keywords

Formal Concept Analysis; Fuzzy Implication; Fuzzy Functional Dependency

Full Text:

PDF

References

Mohammad Deni Akbar and Yoshihiro Mizoguchi. A formalization of a fuzzy relational database modelusing relational calculus.Bulletin of Informatics and Cybernetics, 48(6):83–104, 2016.

Mohammad Deni Akbar and Yoshihiro Mizoguchi. Formal equivalence classes model of fuzzy relationaldatabases using relational calculus.2017 International Conference on Applied Computer and Communi-cation Technologies (ComCom), pages 1–6, 2017.

Mohammad Deni Akbar, Yoshihiro Mizoguchi, and Adiwijaya. Class dependency of fuzzy relationaldatabase using relational calculus and conditional probability.Journal of Physics: Conference Series,971(1):012001, 2018.

Jaume Baixeries, Mehdi Kaytoue, and Amedeo Napoli. Characterizing functional dependencies in formalconcept analysis with pattern structures.Annals of Mathematics and Artificial Intelligence, 72(1):129–149,Oct 2014.

Catriel Beeri, Ronald Fagin, and John H. Howard. A complete axiomatization for functional and mul-tivalued dependencies in database relations. InProceedings of the 1977 ACM SIGMOD InternationalConference on Management of Data, SIGMOD ’77, pages 47–61, New York, NY, USA, 1977. ACM.

Fuzzy Implication and Functional Dependency on Formal Context

Radim Belohlavek, Pablo Cordero, Manuel Enciso, ́Angel Mora, and Vilem Vychodil. Automated proverfor attribute dependencies in data with grades.Int. J. Approx. Reasoning, 70(C):51–67, March 2016.

Radim Belohl ́avek and Vil ́em Vychodil. Semantic entailment of attribute-dependency formulas and theirnon-redundant bases. InJCIS, 2006.

Radim Belohlavek and Vilem Vychodil. Codd’s relational model from the point of view of fuzzy logic.Journal of Logic and Computation, 21(5):851, 2011.

B. Bhuniya and P. Niyogi. Lossless join property in fuzzy relational databases.Data&Knowledge Engi-neering, 11(2):109 – 124, 1993.

E. F. Codd. A relational model of data for large shared data banks.Commun. ACM, 13(6):377–387, jun1970.

Ivo Duntsch and Gunther Gediga. Uncertainty measures of rough set prediction.Artificial Intelligence,106(1):109 – 137, 1998.

Bernhard Ganter and Rudolf Wille.Formal Concept Analysis: Mathematical Foundations. Springer-VerlagNew York, Inc., Secaucus, NJ, USA, 1st edition, 1997.

Toshikazu Ishida, Kazumasa Honda, and Yasuo Kawahara. Implication and functional dependency in in-tensional contexts.Bulletin of informatics and cybernetics, 40:101–111, dec 2008.

Michinori Nakata.Formulation of Division Operators in Fuzzy Relational Databases, pages 144–156.Physica-Verlag HD, Heidelberg, 2000.

H. Okuma and Y. Kawahara. Relational aspects of relational database dependencies.Bulletin of Informaticsand Cybernetics, 16:91–104, 2000.

K. V. S. V. N. Raju and Arun K. Majumdar. Fuzzy functional dependencies and lossless join decompositionof fuzzy relational database systems.ACM Trans. Database Syst., 13(2):129–166, June 1988.

Motohide Umano and Satoru Fukami. Fuzzy relational algebra for possibility-distribution-fuzzy-relationalmodel of fuzzy data.J. Intell. Inf. Syst., 3(1):7–27, February 1994.

Rudolf Wille. Restructuring lattice theory: an approach based on hierarchies of concepts. In Ivan Rival,editor,Ordered Sets, pages 445–470. Reidel, 1982.

Lofti A. Zadeh. Fuzzy sets.Information and Control, 8:338–353, 1965.

DOI: https://doi.org/10.24198/jmi.v15.n2.21693.69