理解并给出列属于的定义 函数依赖、部分函数依赖、完全函数依赖、传递依赖、候选码、超码、主码、外码、全码(al-key)INF、2NF、3NF、BCNF、多值依赖、4NF。

在数据库理论中，这些概念都是用来描述数据模型的完整性规则和关系模式的性质：

1. **函数依赖** (Functional Dependency): 当一个属性或属性组X能够唯一确定另一个属性Y时，称X函数决定Y，记作X->Y。这是基本的关系模式之间的约束。

2. **部分函数依赖** (Partial Dependency): 如果X->Y，而不存在Z使得Z->Y且Z不包含于X，那么X对Y是部分函数依赖。

3. **完全函数依赖** (Total Dependency): 如果对于X中的每一个可能取值，都有唯一的Y值对应，即X->Y且没有Z使得X->Z->Y，则X对Y是完全函数依赖。

4. **传递依赖** (Transitive Dependency): 如果存在属性集W，使得X->W且W->Y，那么X传递依赖于Y。

5. **候选码** (Candidate Key): 是关系中能唯一标识元组的一组属性，它不能被其他属性组所函数决定。

6. **超码** (Superkey): 某些属性组合可以唯一标识元组，但不是最小的这样的集合，即它大于候选码。

7. **主码** (Primary Key): 是候选码中的最小元素，通常选择一个或一组唯一标识元组且易于处理的属性作为主码。

8. **外码** (Foreign Key): 在一个表中引用另一个表的主码，用于建立两个表之间的关联。

9. **全码(al-key)**: 包含所有非平凡函数依赖的属性集，是主码的一个扩展。

- **INFORMATION_SCHEMA**: 这是一个数据库系统提供的信息目录，包含了关于数据库中表、列等信息的元数据。

10. **第二范式(2NF)**: 完成消除部分函数依赖，即每个非主属性完全函数依赖于主键。

11. **第三范式(3NF)**: 除主键外，非主属性间不存在传递依赖。

12. **第四范式(4NF)**: 消除多值依赖，即非平凡的多值依赖不存在。

13. **B-树规范(BCNF)**: 是Boyce-Codd范式，比3NF更严格，要求所有的函数依赖都只基于键。

14. **多值依赖(Multi-valued Dependency)**: 在某些情况下，一个属性对另一个属性的影响不是一对一的关系，而是多对一或多对多。

理解这些概念对于设计和优化数据库模式至关重要，有助于保证数据的一致性和有效性。