模式分解

保持函数依赖（能够还原依赖）
1. 看每个依赖的左右属性是否在同一个分解的模式中
2. 算。
无损分解（能够还原属性）
1. 分解为两个模式：定理R1∩R2->R1-R2 or R1∩R2->R2-R1
2. 分解为三个模式：表格法