Functional Dependency Armstrong’s Axioms