WSEAS Transactions on Systems and Control
Print ISSN: 1991-8763, E-ISSN: 2224-2856
Volume 14, 2019
New Vague Dependencies as a Result of Automatization
Authors: ,
Abstract: Today, higher output and increased productivity are two of the biggest reasons in justifying the use of automatization. It is involved in each aspect of life and human activity. The same is true of science. In this paper we consider generalized functional and multivalued dependencies, that is, vague functional and vague multivalued dependencies. We consider both types as fuzzy formulas. We provide very strict proof of the equivalence: any two-element vague relation instance on given scheme (which satisfies some set of vague functional and vague multivalued dependencies) satisfies given vague functional or vague multivalued dependency if and only if the joined fuzzy formula is a logical consequence of the corresponding set of fuzzy formulas. This result represents natural continuation and a generalization of our recent study where we were particularly interested in vague functional dependencies. The key role of such results is to encourage automatically checking if some vague dependency (functional or multivalued) follows from some set of vague dependencies (functional and multivalued). An example which includes both kinds of vague dependencies is also given.
Search Articles
Pages: 419-436
WSEAS Transactions on Systems and Control, ISSN / E-ISSN: 1991-8763 / 2224-2856, Volume 14, 2019, Art. #51