Inference Rules For Functional Dependencies In Dbms