On Certain Properties of Vague Relational Databases

Abstract

This paper represents a natural continuation of our previous study. In our earlier research we proved that the inclusive inference rule and the union inference rule for new vague functional dependencies are sound, and sketched a proof of the fact that the set of the main inference rules is a complete set. In the present paper we rigorously prove that: reflexive, augmentation, transitivity, pseudo-transitivity, and decomposition inference rules are also sound. Some additional insights in completeness of the main inference rules are also provided.