规范化解论：无损分解测试算法

什么是模式分解？

设存在一个关系模式R(U)，

其中，R_{2}、...、R_{k} 均为 R 的子集（此处将关系模式视为属性的集合），R=

由关系模式R_{2}至R_{k}组成的并集，关系模式的集合用\rho表示，\rho= {

在数据库理论中，将关系模式R表示为R_{1}, R_{2}, … , R_{k}}的形式。当以\rho替代R时，这一过程被定义为关系模式的分解操作。在此情况下，\rho被称作R的一个分解形式，同时也被称为数据库模式。

通常情况下，上述所描述的R被称为通用关系模式，而与之相对