函数依赖概述

函数依赖（Functional Dependency, FD） 是数据库规范化理论中的核心概念，用于描述数据属性之间的关系。它帮助我们理解数据的逻辑结构，并指导数据库设计，以减少冗余和提高数据一致性。

1. 函数依赖的定义

函数依赖描述了一个属性或属性组对另一个属性或属性组的决定关系。形式化定义如下：

• 给定关系模式 RR，XX 和 YY 是 RR 的属性子集。

• 如果对于 RR 中的任意两个元组（行），只要 XX 的值相同，YY 的值也一定相同，则称 YY 函数依赖于 XX，记作 X→YX→Y。

  • XX 称为 决定因素（Determinant）。

  • YY 称为 被决定因素（Dependent）。

2. 函数依赖的示例

例子：学生成绩表

假设有一个关系模式 R(StudentID,CourseID,Grade,Name)R(StudentID,CourseID,Grade,Name)，其中：

• StudentIDStudentID 是学生学号。

• CourseIDCourseID 是课程编号。

• GradeGrade 是成绩。

• NameName 是学生姓名。

可能