, 多值属性要加一条线
特定属性的特定术语
标识符或候选键 (Identifier 或 Candidate Key)
标识符是能够唯一识别一个实体实例的属性集, 一个实体可以有多个标识符
主键或主标识符...>Y, 对于 X 的任意一个真子集 X’, X’->Y 均不成立, 则称 Y 完全依赖于 X....Y, Y 满足 X->Y 并且 Y 存在于 F+
说人话: 在 F + 中, 对于属性集 X 有 X->A, 所有 A 的集合被称作 X+ (A 也在 F+)
算法:
先把 X+ 赋值为 X...如何无损分解?...如果存在非主属性对于键的传递函数依赖, 则不符合 3NF 的要求
传递函数依赖: X->Y, Y->Z, 则 X->Z
修改为符合 3NF:
拆分
举例
刚才的例子中, 存在 id->系名,