A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules