第一范式中，这些表达式是什么意思

Question

Answer 1

节选百度百科
https://baike.baidu.com/item/%E5%87%BD%E6%95%B0%E4%BE%9D%E8%B5%96
例: Student(Sno, Sname, Ssex, Sage, Sdept)
假设不允许重名，则有:
Sno → Ssex， Sno → Sage , Sno → Sdept，
Sno ←→ Sname, Sname → Ssex， Sname → Sage
Sname → Sdept
但Ssex －\→ Sage
若 X → Y，并且 Y → X, 则记为 X ←→ Y。
若 Y 不函数依赖于 X, 则记为 X －\→ Y。
在关系模式R(U)中，对于U的子集X和Y，
1.如果 X → Y，但 Y 不为 X 的子集，则称 X → Y 是非平凡的函数依赖
例：在关系SC(Sno, Cno, Grade)中，
非平凡函数依赖： (Sno, Cno) → Grade。
2.若 X → Y，但 Y 为 X 的子集, 则称 X → Y 是平凡的函数依赖
平凡函数依赖： (Sno, Cno) → Sno ，(Sno, Cno) → Cno。
3.若 x → y 并且，存在 x 的真子集 x1，使得 x1 → y, 则 y 部分依赖于 x。

例：学生表（学号，姓名，性别，班级，年龄）关系中，
部分函数依赖：（学号，姓名）→ 性别，学号 → 性别，所以（学号，姓名）→ 性别 是部分函数依赖。
4.若 x → y 并且，对于 x 的任何一个真子集 x1，都不存在 x1 → y 则称y完全依赖于x。
例：成绩表（学号，课程号，成绩）关系中，
完全函数依赖：（学号，课程号）→ 成绩，学号 －\→ 成绩，课程号 －\→ 成绩，所以（学号，课程号）→ 成绩 是完全函数依赖。
5.若x → y并且y → z，而y －\→ x，则有x → z，称这种函数依赖为传递函数依赖。
例：关系S1（学号，系名，系主任），
学号 → 系名，系名 → 系主任，并且系名 －\→ 学号，系主任 －\→ 系名，所以学号 → 系主任为传递函数依赖。