涉及空集的函數依賴

Question

我正在嘗試使用FD來理解空集的概念。說我有

R(A,B,C,D) 

A-> E 
B-> C 
B-> D 

其中E是空集，從我的理解，這是一個平凡的FD，因爲你是學什麼新東西不必A.但是如果你有

E-> A 
B-> C 
B-> D 

什麼這是否意味着什麼？它只是「沒有意味着A」，所以A可以在定義的域中擁有它想要的任何值，或者它是否必須是NULL值？

Answer 1

空集通常寫爲∅或{}。

• A - > {}是微不足道的。（因爲{}是A的子集）。
• {} - > A不是微不足道的。（除非A是{}，因爲{}是每個集合的子集，所以也是{}的子集）。

{} - > A表示可以在不使用任何其他值來確定A的值，換句話說，A的值必須是在每R.元組相同的這是不一樣說A沒有決定因素或者A是空的。如果沒有A的決定因素，那麼A將是不受約束的，並且可以在不同的元組中具有不同的值。

一個依賴於空集的例子可能是Members關係中的Sex屬性，它定義了男性專用俱樂部的成員資格：{} - >性別。

Answer 2

依賴關係發生在數據庫中，當存儲在所述相同數據庫表信息唯一確定存儲在相同表的其它信息。您也可以將此描述爲一種關係，即知道一個屬性（或一組屬性）的值足以告訴您同一個表中另一個屬性（或一組屬性）的值。

因爲E不是R（A，B，C，D）的一個屬性，所以你試圖做的事是不可能的。