Armstrong's axioms, the closure of an attribute set, finding all candidate keys, the minimal cover, normal-form tests and lossless decomposition.