この分解例はクラスで与えられましたが、一部の FD が未解決のままであるように見えるため、解決策は混乱を招きます。以下の3)がBCNFに入っているか、BCNFに入れられないか確認してください。
Let R be a relation schema, with schema(R) = {C,T,H,R,S,G}
set of FDs F over R :
C->T
HR->C
HT->R
CS->G
HS->R
分解：
1) C T H R S G
2) C T C H R S G
3) C T H R C H R S G
end. (Not further decomposed.)
3) HRSG は、ht->r または cs->g を満たすように見えない属性 R および G を含みます。
HRSG に t がないため、ht->r はディスカウントされます。HRSG に c がないため、cs->g はディスカウントされます。
機能依存関係の LHS に関係にない属性が含まれている場合、FD が適用されないという規則はありますか? ありがとう