关于函数依赖定义中‘所有元组对’是否包含同一元组的技术咨询

函数依赖定义里的“所有元组对”包含t1与t2为同一元组的情况，不过这种情况对定义的约束没有实际影响——同一个元组的A属性值必然等于自身的A属性值，对应的B属性值也肯定等于自身的B属性值，完全符合定义里的逻辑推导。

在数据库理论的实际语境中，这样的表述是为了让定义的逻辑更严谨、覆盖所有可能的元组组合。如果仅限定为不同元组，核心约束逻辑其实不变，但表述上会显得不够周全，毕竟同一元组的情况是天然满足函数依赖条件的，不会违背定义。

原定义表述：

对于所有元组对t1和t2，若t1[A] = t2[A]，则t1[B] = t2[B]

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