DBMS Inference Rules, Closure, Equivalence of FD'S