Le document traite de la théorie de la normalisation des bases de données, visant à minimiser les redondances et à améliorer l'intégrité des données. Il aborde les dépendances fonctionnelles, la décomposition de schémas, ainsi que les différentes formes normales, y compris la 1NF, 2NF, 3NF et BCNF, tout en proposant des algorithmes pour automatiser la normalisation. Enfin, il souligne l'importance et les outils disponibles pour cette automisation dans le cadre de la gestion efficace des bases de données.