normal form 1. <reduction> In {reduction} systems, the state of a term which contains no reducible expressions. Variants include {head normal form}, {weak head normal form}. 2. <database> See {database normalisation}.