Sql 如果函数依赖关系微不足道，那么在给定单例域的情况下，它是否意味着子集关系？

看看FD的定义。其中，X和Y是模式属性的子集，我可以同时看到：

• fdx→ 如果Y⊆ 十,
• fdx→ Y是平凡的当且仅当Y⊆ 十,

“琐碎”的另一个特征是“不可能不坚持”（C.J.Date）。如果非平凡被明确地描述为“不平凡”（“当然”）

现在，假设某个属性A的域只有一个值。例如，A的类型仅包括值1。然后，如果任何关系R包括A，则R的每一组属性在功能上决定A，即X→ A无论{A}⊆ 因为它不可能不适用于任何X⊆ R.理由：

给定任何子偶，它的A分量也是给定的，总是1

那么，从这样的域来看，子集条件是否是FDs平凡的必要条件和充分条件

---

（我想，这些单例域也可以被称为平凡域，但这些定义仍然让我感到疑惑或困惑。”-

在关系R中，可以有一个或多个属性常量。如果A是这样一个属性，那么在该关系中，以下非平凡的依赖关系成立：

∅ → A

考虑到函数依赖的定义，这意味着对于R实例中的每对元组，它们总是在A上重合。这种依赖显然是不平凡的，因为右侧部分不是左侧部分的子集

此外，由于这种依赖性，我们得到了X→ A、 对于R属性的每个子集X。通过应用自反性和传递性规则，可以很容易地从阿姆斯特朗公理中得出：

X → ∅  (for the reflexivity rule, since for each X, ∅ ⊆ X)
X → A  (by applying the transitivity rule to X → ∅ and ∅ → A)

---

所以，我认为，要使关于子集关系的双条件为真，需要理解A的类型是任意的？这个额外的前提，某种程度上，提供了“一般”。@B98：是的，完全正确。实际上，在同一关系的不同实例中，A可以有不同的值，因此A可以有任何域。依赖关系“表示”的只是，在任何实例中，属性A始终具有相同的值。