分解后S和S的函数依赖分别如图和所示。-数据库原理

模式分解保持函数依赖是指将关系模式 R 分解为 R1、R2、...、Rn 时，原模式的函数依赖关系在分解后的某个关系模式中也能被保持。具体而言，若分解后每个关系模式 Ri 的函数依赖集合 Fi 逻辑蕴涵原模式的所有函数依赖，则称此分解保持函数依赖。

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

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

8.3节介绍了使用函数依赖进行分解的规范方法，这是关系数据库设计中重要的一环。技术进步的背景下，我们不仅仅关注例子，而是针对任意关系及其模式进行深入讨论。本节回顾了第2章对关系模型的基础知识，并详细概述了属性集和关系模式的表示方法。

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

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

自然连接分解后的关系模式能够恢复原关系，但无法消除数据冗余，其根本原因在于函数依赖 sdept→dean 的丢失。例如，分解后的关系模式无法确定 'D1' 系的系主任是谁，也无法确定 '何' 是哪个系的系主任。 原始关系模式： S(Sno, sdept, dean)，F={Sno→sdept，sdept→dean} 示例数据： | Sno | sdept | dean ||---|---|---|| S1 | D1 | 罗 || S2 | D2 | 何 || S3 | D2 | 何 | 第二种分解方案： (Sno, sdept) 和 (Sno, dean) 该分解方案导致 sdept→dean

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

MATLAB的s2t和t2s函数已经扩展，现在支持复杂的M×N×P和M×M×P阵列的参数转换。这些方程的基础是J. Frei、XD Cai和S. Muller在IEEE微波理论与技术汇刊上发表的研究。