We can use the following three rules to find logically implied functional dependencies. This collection of rules is called

• A. Axioms
• B. Armstrong s axioms
• C. Armstrong
• D. Closure