函数依赖性管理

该文档介绍了 SQL 数据依赖性函数依赖的推理规则。

空间依赖性是空间回归分析中空间效应的一种类型，它表明观测值与它们的位置之间存在一致性。如果不考虑空间依赖性，可能会导致模型参数的可识别性问题。

重点内容函数依赖规范化讨论了三种范式及BCNF范式模式分解的重要性和应用。

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

要判断函数依赖集F是否等价于G，只需逐一检查F中的每个函数依赖X→Y，并验证Y是否属于X的闭包G+。根据引理5.3，我们得到了判断两个函数依赖集是否等价的有效算法。

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

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

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

在关系数据库中，函数依赖描述了属性之间的关联性。根据依赖关系中属性集合的包含情况，函数依赖可分为平凡函数依赖和非平凡函数依赖。 非平凡函数依赖：设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) → G

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