(databases) A stage in the normalization of a relational database in which repeating groups and attributes have been eliminated by putting each into a separate table connected by a primary-key/foreign-key relationship.

(obsolete) The Backus-Naur form.

(logic) A way of expressing a formula of predicate logic such the formula consists of a prenex and a matrix, with the prenex preceding the matrix.

(computing theory) A context-free grammar in which the right hand side of any production rule consists of either one terminal symbol or two non-terminal symbols.

(probability theory, statistics) A random variable whose probability distribution is a normal distribution.

(algebra, logic) ring sum normal form

plural of normal random variable

(logic) Synonym of conjunctive normal form

plural of second normal form

plural of third normal form