The Free On-line Dictionary of Computing (30 December 2018):

normal form

   1.  In reduction systems, the state of a term
   which contains no reducible expressions.  Variants include
   head normal form, weak head normal form.

   2.  See database normalisation.