Valid Inference Rules For Functional Dependencies