Relational-Theory
函式依賴存在的條件是什麼?
設 是方案的關係 R:R(A,B,C,D,E) 和 r 是關係的一個實例。哪些功能依賴關係驗證 r?
觀察 r 驗證的功能依賴關係並不表明它們存在於 R 上並且由 R 的所有可能實例驗證。
函式依賴的定義是:
我說有:
A→E、C→A、B→E、C→D、C→E、D→E、C→A、C→B
AB→D, AB→E, AC→B, AD→D, AD→E, BC→A, BC→D, BC→E, BD→ A, BD→C, BD→E, DE→A, DE→ C
ABC → D,ABC → E,ABD → E,ABE → D
但我不知道它們是否存在,我不知道如何驗證它們是否真的存在
社區 Wiki 答案由Renzo和ypercubeᵀᴹ對問題的評論生成
函式依賴的定義要求它們必須對每個可能的實例都成立。
從一個實例中,您無法找到特定關係模式中的功能依賴關係。
你也錯過了
A → D
。