Formal technique for analyzing a relation based on its primary key and functional dependencies between itsattributes.
Often executed as a series of steps. Each step corresponds to a specific normal form, which has known properties.
As normalization proceeds, relations become progressively more restricted (stronger) in format and also less vulnerable to update anomalies.