A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations

摘要

An axiomatic system for fuzzy functional dependencies is introduced. The main novelty of the system is that it is not based on the transitivity rule like all the others, but it is built around a simplification rule which allows the removal of redundancy. The axiomatic system presented here is shown to be sound and complete.