多值依赖（MVD）性质求证：若X->->Y且X->->Z，是否可推导出X->->YZ？

嘿，这个问题问得特别好！你观察到的这个性质确实是始终成立的，而且可以用多值依赖（MVD）的基本公理系统严格推导出来——它其实是MVD的「合并规则」，只是有些教材或资料没有单独把它列出来而已，咱们一步步来拆解证明：

首先回忆MVD的核心定义 #

对于关系模式R(U)，X、Y、Z是U的子集（Z=U-X-Y），若对R的任意关系r，只要存在两个元组t₁、t₂满足t₁[X] = t₂[X]，就一定存在元组t₃、t₄∈r，使得：

• t₃[X] = t₄[X] = t₁[X]
• t₃[Y] = t₁[Y]，t₃[Z] = t₂[Z]
• t₄[Y] = t₂[Y]，t₄[Z] = t₁[Z]

用公理系统推导X->->YZ #

我们可以基于MVD的基本公理（Armstrong公理的扩展）来推导：
已知X->->Y和X->->Z，目标证明X->->YZ：

1. 补规则应用：由X->->Y，根据补规则（若X->->Y则X->->U-X-Y，U是属性全集），可得X->->U-X-Y（记这个属性集合为W）。
2. 交规则应用：由X->->Z和X->->W，根据交规则（若X->->A且X->->B，则X->->A∩B），可得X->->Z∩W。而W=U-X-Y，所以Z∩W = Z - Y（即Z中不属于Y的部分）。
3. 合并推导：现在我们有X->->Y和X->->Z-Y，由于Y和Z-Y是不相交的属性集合，结合MVD的定义可知，X对这两个不相交集合的多值依赖可以合并，即X->->Y ∪ (Z-Y) = YZ。

用实例验证 #

举个贴近实际的例子：
假设关系模式R(学生ID, 选修课程, 授课教师, 使用教材)，已知：

• 学生ID->->选修课程（一个学生可以选多门课）
• 学生ID->->授课教师（一个学生可能对应多个授课教师）
  显然，学生ID->->选修课程+授课教师是成立的——同一个学生的所有课程与教师的组合，都满足多值依赖的定义，和你之前测试的结果一致。

内容的提问来源于stack exchange，提问作者Zephyr