The objective is to explore functional dependencies, Armstrong’s axioms, elementary functional dependencies, transitive closure, attribute closure, keys, covers, and minimal covers.