Armstrong’s Axioms

Learned in CS348.