关系模式的形式化定义：
———————————————————————————————————————
即X相等时，Y一样的话，依赖关系；Y不一样的话，不依赖。
———————————————————————————————————————
平凡依赖和非平凡依赖的定义：
———————————————————————————————————————
完全函数依赖和部分函数依赖的定义：
例题：
———————————————————————————————————————
传递函数依赖的定义：
———————————————————————————————————————
范式：
1NF:
2NF:
3NF:
BCNF: