5.4.1 模式分解的三定义
- 具有无损连接性
分解后的(几个)小模式可自然连接恢复为原来的模式。
- 保持函数依赖
- 既保持无损连接，又保持连接依赖
- 例4
- R〈U,F〉，U={SNO,SDEPT,MN}，F={SNO→SDEPT,SDEPT→MN}
| SNO | SDEPT | MN |
| S1 | D1 | 张五 |
| S2 | D1 | 张五 |
| S3 | D2 | 李四 |
| S4 | D3 | 王一 |
- ρ1={R1〈SNO,Φ〉，R2〈SDEPT,Φ〉，R3〈MN,Φ〉}
- ρ2={R1〈{SNO,SDEPT},{SNO→SDEPT}〉，R2〈{SNO,MN},{SNO→MN}〉}
- ρ3={R1〈{SNO,SDEPT},{SNO→SDEPT}〉，R2〈{SDEPT,MN},{SDEPT→MN}〉}
NEXT