WSEAS Transactions on Systems and Control
Print ISSN: 1991-8763, E-ISSN: 2224-2856
Volume 14, 2019
Automatization in Vague Database Relations via Lukasiewicz Fuzzy Implication Operator
Authors: ,
Abstract: The needs of the modern world often require automatization of certain aspects of mankind activities. Science is no exception to this. In this paper we pay attention to vague functional dependencies as generalized functional dependencies. These dependencies are considered as fuzzy formulas. We give strict proof of the equivalence: any two-element vague relation instance on given scheme (which satisfies some set of vague functional dependencies) satisfies given vague functional dependency if and only if the attached fuzzy formula is a logical consequence of the corresponding set of fuzzy formulas. Thanks to this result, we put ourselves into position to automatically verify if some vague functional dependency follows from some set of vague functional dependencies. An appropriate example which supports this claim is also provided.
Search Articles
Pages: 445-459
WSEAS Transactions on Systems and Control, ISSN / E-ISSN: 1991-8763 / 2224-2856, Volume 14, 2019, Art. #53