Soundness and Completeness of Inference Rules for New Vague Functional Dependencies

Abstract

In this paper we introduce a new definition of vague functional dependency based on application of appropriately chosen similarity measures. The definition is adjusted in order to be applicable to both, the imprecise and precise vague functional dependencies. Ultimately, the set of inference rules for new vague functional dependencies is given, and is proven to be sound and complete.