2020.4.13数据库作业：函数依赖与范式概述

本资源主要涵盖了数据库第六章的关键知识点，包括函数依赖、规范化和范式理论。以下是详细内容： 1. **函数依赖**： - 定义：函数依赖是数据库关系模型中的一种概念，表示在一个关系模式R(U)中，属性集X对属性集Y有决定作用，即X的值能够唯一确定Y的值。记作X→Y。函数依赖分为平凡和非平凡两种类型，平凡函数依赖指Y是X的子集，而非平凡则Y不包含在X中。 - 决定因素：如果X→Y，那么X就是决定Y的决定因素。 - 双向依赖：若X→Y且Y→X，则记作X←→Y，表示两个属性集之间互为函数依赖。 - 完全函数依赖与部分函数依赖：Y对X完全函数依赖意味着X决定Y且没有其他更小的集合能单独决定Y；反之，部分函数依赖表示Y仅部分地由X决定。 2. **码和候选码**： - 候选码：属性或属性组合K如果能够唯一标识关系R中的每一行，则K是候选码。最小的候选码称为主键。 - 超码：如果某个属性组合是候选码但不是最小的，它就被称为超码。 - 主属性与非主属性：主属性是候选码中的属性，非主属性则不参与任何候选码。 3. **范式理论**： - **第一范式（1NF）**：要求二维表的每个分量都是不可再分的数据项，确保数据的一致性和完整性。 - **第二范式（2NF）**：基于1NF，要求所有非主属性完全函数依赖于候选码，消除部分依赖，确保数据的独立性。 - **第三范式（3NF）**：进一步去除3NF中的传递函数依赖，即不存在非主属性既依赖于候选码的一部分又依赖于另一部分的情况，确保数据的无冗余。 4. **更高阶范式**（未在部分内容中列出，但通常继续讨论的是**BCNF**（ Boyce-Codd范式）、**4NF**（第四范式）和**5NF**（第五范式），它们分别对应着更严格的无依赖性和更高的数据独立性要求）。 理解这些概念有助于设计高效、结构化的数据库，确保数据的一致性、完整性和可维护性。在实际应用中，通过遵循这些范式，可以避免数据冗余和更新异常等问题。