Completeness of Inference Rules for New Vague Multivalued Dependencies
In this paper we prove that the set of the main inference rules for new vague functional and vague multivalued dependencies is complete set. More precisely, we prove that there exists a vague relation instance on given scheme, which satisfies all vague functional and vague multivalued dependencies from the set of all vague functional and vague multivalued dependencies that can be derived from given ones by repeated applications of the main inference rules, and violates given vague functional resp. vague multivalued dependency which is initially known not to be an element of the aforementioned set of derived vague dependencies. The paper can be considered as a natural continuation of our previous study, where new definitions of vague functional and vague multivalued dependencies are introduced, the corresponding inference rules are listed, and are shown to be sound