Judging Equivalence for Sets of Functional Dependencies Based on Truth Table

Data dependencies theory is the basic tool for analyzing and designing of relational database. How to Judge whether two sets of functional dependencies are equivalent? This is a basic and important problem solved by using Armstrong's axioms in data dependencies theory. In this paper we shall point out that the rules of inference in Armstrong's axioms system and propositional inference in mathematical logic are consistent. This implies that If each functional dependency is viewed as conditional proposition, equivalent sets of functional dependencies have the same truth table in mathematical logic, so we can judge equivalence of two set of functional dependencies by truth table.