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

函数依赖（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，当且仅当该关系模式的每个决定因素都是这个关系模式的超码。

理解并给出下列术语的定义： 函数依赖、完全函数依赖、部分函数依赖、传递函数依赖、候选码、主码、外码、全码、1NF、2NF、3NF、BCNF。

函数依赖（Functional Dependency）：在一个关系中，一个属性或属性组的值可以决定另一个或另一组属性的值，则称前者函数决定后者，称前者为决定因素，后者为被决定因素。

完全函数依赖（Fully Functional Dependency）：当一个关系中的任何一属性都不依赖于关系中任何的一组属性，而只依赖于该组属性的某个子集，则称该函数依赖为完全函数依赖。

部分函数依赖（Partial Functional Dependency）：当一个关系中的任何一个属性依赖于关系中的某一组属性的某个子集，则称该函数依赖为部分函数依赖。

传递函数依赖（Transitive Dependency）：当一个关系中的非主属性依赖于其他非主属性，则称该函数依赖为传递函数依赖。

候选码（Candidate Key）：一个关系中能唯一标识元组的属性组称为候选码。

主码（Primary Key）：在一个关系中，被选作唯一标识元组的候选码称为主码。

外码（Foreign Key）：在一个关系中，另一个关系的主码或候选码在该关系中的属性组称为外码。

全码（Super Key）：在一个关系中，能唯一标识元组的属性组称为全码。

1NF（First Normal Form）：一个关系模式R满足1NF，当且仅当R中的所有属性都不可再分。

2NF（Second Normal Form）：一个关系模式R满足2NF，当且仅当R中的所有非主属性都完全依赖于R的主码。

3NF（Third Normal Form）：一个关系模式R满足3NF，当且仅当R中不存在传递函数依赖。

BCNF（Boyce-Codd Normal Form）：一个关系模式R满足BCNF，当且仅当R中不存在非平凡函数依赖X → Y，其中X是R的主码。