In dictionaries:
disjunctive normal form
Logical OR of AND clauses.
conjunctive normal form
Logical AND of OR clauses.
first normal form
Eliminates duplicate rows and columns.
fourth normal form
Eliminates multi-valued dependency anomalies.
second normal form
Eliminates partial dependency on keys.
third normal form
Eliminates transitive dependencies on keys.
Backus normal form
Grammar notation for specifying syntax.
fifth normal form
Eliminates redundancy from join dependencies.
normal form game
(game theory) Formally, a structure (P, mathbf S, mathbf F) where P = {1,2, ...,m} is a set of players, mathbf S=(S_1,S_2,…,S_m) is an m-tuple of pure strategy sets, one for each player, and mathbf F=(F_1,F_2,…,F_m) is an m-tuple of payoff functions.
prenex normal 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.
more...