模式分解是关系模式规范化的手段，其思想是逐步消除模式属性间不合适的数据依赖，从而使关系模式结构更合理，以避免数据冗余和操作异常。本章由关系数据库的操作异常问题引出了关系规范化的各种理论，包括函数依赖、Armstrong公理系统、规范化与模式分解等内容。其中，函数依赖是模式设计与模式分解的基础，Armstrong公理系统是模式分解算法的理论基础，范式是模式分解的标准。