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.
norm ♦ normal distribution ♦ normal form ♦ normalisation ♦ normalised
Try this search on