a state of a relation that requires certain rules regarding functional dependencies are satisifies; higher level nf is build upon lower level nf
- degree of progressive decomposition - the higher the nf, the higher the quality of the schema - target: usually 3nf or bcnf
condition using keys and fds of a relation to certify whether a relation schema is in a particular normal form