数据库系统的函数依赖关系

Functional Dependencies

• 何谓函数依赖？
  • • 如何识别关系表中存在的函数依赖性？

  • 函数依赖性与对象类别之间的联系

  • 功能依赖与关联性的关系

  • 函数依赖性的推导过程

  • 阿姆斯特朗公理（Armstrong axioms）

  • 其他相关的推理规则

  • 参考文献

什么是函数依赖？

举几个实例：
员工所在部门：员工编号对应部门名称

一个部门设有一位经理：部门名称对应经理编号

每位员工仅有一位经理：员工编号对应经理编号

学生每次注册一门课程：学号与课程编号对应注册日期

一名员工位于某一栋楼的某个办公室内：员工编号对应楼号及办公室编号

大楼中的办公室内有若干员工：楼号与办公室编号对应员工编号

如何发现关系表中的函数依赖关系?

要识别关系表中的函数依赖，需要结合关系表名称的语义以及属性名称进行分析。
例如，考虑如下关系模式：
TRIP(rego#， license#， tdate)，其中存储了
在特定日期(tdate)驾驶某辆卡车(rego#)的司机(license#)的相关行程数据。

是否一辆卡车只能在一天内被使用一次？若为肯定，则rego#→ tdate

是否一名司机只能驾驶一辆车？若为肯定，则license#→ tdate

一名司机是