非平凡函数依赖

在关系数据库中，函数依赖描述了属性之间的关联性。根据依赖关系中属性集合的包含情况，函数依赖可分为平凡函数依赖和非平凡函数依赖。 非平凡函数依赖：设X和Y是关系模式R(U)中属性集U的子集，如果X→Y成立，但Y不是X的子集 (Y ⊈ X)，则称X→Y是非平凡的函数依赖。这意味着X的值唯一地决定了Y的值，且Y包含了X之外的信息。 平凡函数依赖：同样地，如果X→Y成立，但Y是X的子集 (Y ⊆ X)，则称X→Y是平凡的函数依赖。这意味着X的值决定了Y的值，但Y的信息完全包含在X中，没有提供额外的信息。 举例：在学生选课关系SC(Sno, Cno, Grade)中，* (Sno, Cno) → Grade 是非平凡函数依赖，因为学生和课程共同决定了成绩，而成绩不是学生或课程信息的子集。* (Sno, Cno) → Sno 和 (Sno, Cno) → Cno 都是平凡函数依赖，因为学生和课程信息已经包含了学生信息和课程信息。

在任何关系模式中，平凡函数依赖始终成立，而它们并未提供新的语义信息。因此，除非另有说明，我们讨论的始终是非平凡函数依赖。

函数依赖闭包 在关系模式 R 中，由函数依赖集 F 逻辑蕴含的所有函数依赖构成 F 的闭包，记作 F+。 属性集 X 关于 F 的闭包 设 F 为属性集 U 上的一组函数依赖，X 是 U 的子集，则 X 关于 F 的闭包 XF+ 定义为：XF+ = {A | X→A 能由 F 根据 Armstrong 公理导出}XF+ 包含所有由 X 根据 F 推导出的属性。

探讨求解函数依赖闭包的方法，基于Armstrong公理，即函数依赖推理规则。利用这些规则反复推导，可以找出函数依赖集F的闭包F+。

银行系统用户表函数依赖解析 该银行系统用户表包含以下属性： U: {账户号，用户姓名，联系电话，证件名称，证件号码，密码} F: 函数依赖关系集合，具体如下： 账号名 → 用户姓名 账号名 → 联系电话 账号名 → 证件名称 账号名 → 证件号码 账号名 → 密码 联系电话 → 证件名称 联系电话 → 证件号码 联系电话 → 密码 证件号码 → 用户姓名 证件号码 → 证件名称 根据以上函数依赖关系，可以判定该用户表属于 3NF 范式。

多值依赖与函数依赖之间的区别在于它们对属性集范围的影响。多值依赖X→→Y在属性集U上成立，当且仅当在包含XY的任意子集W（其中W是U的子集）上也成立。但反之不然；若X→→Y在子集W（W属于U）上成立，并不意味着它在整个U上成立。而函数依赖X→Y在关系R（U）上成立时，对于Y的任何子集Y'，X→Y'都成立。需要注意的是，多值依赖的成立并不保证对Y的任何子集Y'都成立。

在数学优化中，Rosenbrock函数是一种非凸函数，用于测试Howard H. Rosenbrock在1960年提出的优化算法的性能问题[1]。它也被称为罗森布罗克的山谷或罗森布罗克的香蕉函数。全局最小值位于一个狭长的抛物线形平坦山谷内。找到这个山谷并非易事，但收敛到全局最小值则更为困难。该函数定义为f(x, y) = (1-x)^2 + 100(y - x^2)^2，在点(x, y)=(1, 1)处取得全局最小值f(x, y)=0。尽管第二项的系数可能不同，但这并不影响全局最小值的位置。

关系数据库理论第二部分：深入理解函数依赖与多值依赖 函数依赖与最小闭包 在关系数据库设计中，理解函数依赖非常重要，因为它能帮助我们识别并消除数据冗余，确保数据一致性。函数依赖（FD）指的是在一个关系中，属性集A的值完全决定了另一个属性集B的值，通常表示为A → B。这意味着，如果关系中的任何元组的A部分相等，它们的B部分也必须相等。 最小闭包是指通过已知的函数依赖集合推导出所有可能的函数依赖的过程。这个过程基于Armstrong公理系统，即自反律、增广律和传递律，可以帮助我们找出所有隐含的函数依赖，对规范化数据库设计至关重要，并帮助确定候选码，即唯一标识关系中每行的最小属性集。 候选码求解方法 候选码是关系中唯一标识每行的最小属性集，求解候选码的步骤包括： 识别单一值依赖：识别可以独立确定其他属性的属性。例如在关系模式TEACHING(C,T,B)中，如果存在函数依赖C → T和C → B，则C可作为候选码的组成部分。 寻找最小闭包：利用Armstrong公理计算每个属性集的最小闭包。一个属性集的闭包是通过该属性集和所有函数依赖确定的所有属性集合。 确定候选码：若属性集的闭包包含所有属性，则该属性集是候选码。在TEACHING示例中，(C,T,B)是候选码，因为没有更小的属性集能确定整个关系。 多值依赖的理解 多值依赖（MVD）描述的是一个属性值的变化如何独立影响另一组属性的值。它通常表示为X →→ Y，意指在关系中，对每个X值，有一个独立的Y值集合，与任何不在X或Y中的属性值无关。 函数依赖注重一对一关系，而多值依赖则允许一个属性值对应多个值。多值依赖有效性取决于属性集范围，可能只在特定属性子集中成立。 第四范式(4NF) 第四范式是数据库规范化的高级阶段，消除多值依赖的影响。一个关系模式满足4NF需具备：若存在非平凡的多值依赖X →→ Y（且Y不在X中），且X包含码，则该关系模式满足4NF。

证明传递规则的假设：存在于属性A上取值一致的元组（a, b1, c1）和（a, b2, c2），属性分别是A, B, C。根据属性关系A->B和B->C，由于A->B，因此b1=b2；又由于B->C，所以c1=c2。结论：A->C。

无损分解性质：如果关系模式R的一个分解{R1, R2, …, Rm}是关于函数依赖F的无损连接分解，并且每个子关系Ri的分解{Q1, Q2, …, Qn}具有关于函数依赖F在Ri上的投影的无损连接性质，那么R的分解{R1, R2, …, Q1, Q2, …, Qn, …, Rm}也将具有关于函数依赖F的无损连接性质。