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.
Try this search on Wikipedia, OneLook, Google
Nearby terms: NORDUnet « norm « normal distribution « normal form » normalisation » normalised » normal order reduction
