A normal form is a condition using keys and FDs of a relation to certify whether a relation schema is in a particular normal form.