Relational-Theory

函式依賴存在的條件是什麼?

  • May 1, 2016

設 是方案的關係 R:R(A,B,C,D,E) 和 r 是關係的一個實例。哪些功能依賴關係驗證 r?

在此處輸入圖像描述

觀察 r 驗證的功能依賴關係並不表明它們存在於 R 上並且由 R 的所有可能實例驗證。

函式依賴的定義是:

DF定義

我說有:

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 答案由Renzoypercubeᵀᴹ對問題的評論生成


函式依賴的定義要求它們必須對每個可能的實例都成立。

從一個實例中,您無法找到特定關係模式中的功能依賴關係。

你也錯過了A → D

引用自:https://dba.stackexchange.com/questions/132787