Normalization
Formalization of common sense rules of information organization
An attribute is functionally dependent on X only if each of its values is determined by the value of X (X may be composite)
Example: DOB is functionally dependent on Driver’s License number