我通过一些正常化的例子阅读,但我遇到了一个我不明白的地方。正常化3NF
网站的例子是位于:http://cisnet.baruch.cuny.edu/holowczak/classes/3400/normalization/#allinone
我不明白的是“第三范式”
在我脑子里,我看到了传递依赖于EMPLOYEE_OFFICE_PHONE (Name, Office, Floor, Phone)
为以下Name->->Office|Floor
和Name->->Office|Phone
笔者拆分表EMPLOYEE_OFFICE_PHONE (Name, Office, Floor, Phone)
到EMPLOYEE_OFFICE (Name, Office, Floor)
和EMPLOYEE_PHONE (Office, Phone)
从我一开始的判断,我仍然看到Name->->Office|Floor
中的传递依赖,所以我不明白它为什么在3NF。在Name->->Office|Floor
中表示存在传递依赖关系吗?
推理的传递性: 这里是我的函数依赖
- 名称的列表 - >办公
- 名称 - >地板
- 名称 - >手机
- 办公室 - >电话
- 办公室 - >楼(这是不正确的?为什么?
感谢您的帮助!