什么是完全函数依赖，部分函数依赖，传递函数依赖，候选码，主属性，非主属性

在数据库理论中，关系模型中有几个关键概念：

1. **完全函数依赖 (Total Functional Dependency)**：当且仅当A对B是完全函数依赖时，对于关系模式R中的任意元组t，若A的值唯一确定了B的值，则称A完全决定了B。例如，员工ID（A）完全决定了员工姓名（B），表示每个员工有一个且只有一个名字。

2. **部分函数依赖 (Partial Functional Dependency)**：如果A对B是部分函数依赖，那么A中的某些值可以唯一确定B的一个值，但并非所有值都如此。比如，在学生成绩表中，班级号（A）部分决定了学生ID（B），因为同班的学生通常有相同的ID。

3. **传递函数依赖 (Transitive Functional Dependency)**：如果存在A->B和B->C，那么A对C也是传递函数依赖。这是说，通过中间属性B，A能够影响到C。例如，先修课程（A）通过课程编号（B）间接影响学生的成绩（C）。

4. **候选码 (Candidate Key)**：一个关系模式中的最小属性集，其中任何一个属性都不为空，并且该集合的任一属性组合都是唯一的，称为候选键。它标识了关系中每一个元组的唯一标识。

5. **主属性 (Prime Attribute)**：候选键中的属性被称为主属性，它们直接决定了其他属性，而无需通过其他属性。如果一个属性是某个候选键的一部分，则它是主属性。

6. **非主属性 (Non-Prime Attribute)**：不是候选键的属性，需要与其他属性结合才能构成候选键。非主属性不能单独作为行的唯一标识。

相关问题

函数依赖、部分函数依赖、完全函数依赖、传递依赖、候选码、主码、外码、全码

函数依赖（Functional Dependency）是关系数据库中的一个重要概念，用于描述一个属性或属性集对另一个属性或属性集的决定关系。在关系模式R中，如果属性集X的取值能唯一决定属性集Y的取值，则称X函数决定Y，记作X→Y。

部分函数依赖（Partial Dependency）是指在一个关系模式中，某个属性对于关系模式的某个候选码是部分依赖的，即该属性依赖于候选码的某个真子集。

完全函数依赖（Full Dependency）是指在一个关系模式中，某个属性对于关系模式的某个候选码是完全依赖的，即该属性依赖于候选码的每一个属性。

传递依赖（Transitive Dependency）是指在一个关系模式中，某个属性对于关系模式的某个候选码是传递依赖的，即该属性依赖于候选码的非候选码属性。

候选码（Candidate Key）是指在一个关系模式中，能唯一标识元组的属性集合。候选码的属性集合必须满足两个条件：唯一性和最小性。

主码（Primary Key）是从候选码中选择的一个属性集合，用于唯一标识关系模式中的元组。

外码（Foreign Key）是一个关系模式中的属性集合，它引用了另一个关系模式中的主码，用于建立两个关系模式之间的联系。

全码（All-Key）是指一个关系模式中的所有属性都是候选码，即所有属性都能唯一标识元组。

函数依赖、完全函数依赖、部分函数依赖、传递函数依赖、候选码、主码、外码、全码、1NF、2NF、3NF、BCNF。

这是关于数据库设计中的一些概念。

- 函数依赖：在一个关系模式中，如果对于关系模式中的每一个实例，给定一个属性或属性集合，就可以唯一确定另一个属性或属性集合的关系，那么我们称这个属性或属性集合对另一个属性或属性集合存在函数依赖。

- 完全函数依赖：在一个关系模式中，如果一个属性完全依赖于关系模式中的所有其他属性，而不是仅依赖于他们的一个子集，则称该属性对其他属性集合存在完全函数依赖。

- 部分函数依赖：在一个关系模式中，如果一个属性依赖于关系模式中的一部分属性，而不依赖于所有属性，则称该属性对于某些属性集合存在部分函数依赖。

- 传递函数依赖：在一个关系模式中，如果一个属性依赖于一个非候选码属性，而该非候选码属性又依赖于另一个属性，则称该属性对于某些属性集合存在传递函数依赖。

- 候选码：在一个关系模式中，如果一个属性或属性组合可以唯一地标识一个元组，则称该属性或属性组合为候选码。

- 主码：在一个关系模式中，我们所选定的候选码称为主码。

- 外码：在一个关系模式中，如果一个属性或属性组合是另一个关系模式的主码，则称该属性或属性组合为外码。

- 全码：在一个关系模式中，如果一个候选码包含所有属性，则该候选码被称为全码。

- 1NF：一个关系模式满足1NF，当且仅当该关系模式的所有属性都是单一值属性。

- 2NF：一个关系模式满足2NF，当且仅当该关系模式的所有非主属性都完全依赖于主码。

- 3NF：一个关系模式满足3NF，当且仅当该关系模式的所有非主属性都不传递依赖于主码。

- BCNF：一个关系模式满足BCNF，当且仅当该关系模式的每个决定因素都是这个关系模式的超码。