我有一个关于“旅行”的关系：
Person | Destination | Vehicle
Alex | Uni | Bike
Zora | Uni | Bike
Alex | Dentist | Bike
Alex | Uni | Bus.
现在我需要证明“Trips”不能拥有非平凡的MVD。 我知道如果A u B一起形成整个关系，或者如果B是A的一部分，则MVD A - >＆gt; B是微不足道的。
到目前为止我的想法：可能有3种类型的MVD：
（Pers，Dest，Veh） - ＆gt;＆gt; Pers，（Pers，Dest，Veh） - ＆gt;＆gt; Dest，（Pers，Dest，Veh） - ＆gt;＆gt; Veh。这些都是微不足道的，因为右侧是左侧的一部分。
（Pers，Dest） - ＆gt;＆gt; Veh，（Pers，Veh） - ＆gt;＆gt; Dest，（Dest，Veh） - ＆gt;＆gt;个人。 这些也是微不足道的，因为双方共同构成了整个关系。
Pers - ＆gt;＆gt; Dest，Pers - ＆gt;＆gt; Veh，Dest - ＆gt;＆gt; Veh，Dest - ＆gt;＆gt; Pers，Veh - ＆gt;＆gt; Dest，Veh - ＆gt;＆gt;个人。 这些只是没有意义，因为MVD的“想法”是右侧与关系中的其他列有些独立，这不是这种情况。 我能提出的唯一论据是，如果这些是有效的MVD，那么也会存在元组（Alex | Dentist | Bus），因为它不存在，它们不是有效的MVD。但只是因为没有显示元组并不意味着它不可能，是吗？ 我怎么能证明我的想法？ 或者我能以某种方式证明这些也是微不足道的吗？