BCNF Zerlegung und Keys

Question

Ich habe versucht, die folgende Beziehung von seinem derzeitigen Zustand in BCNF mit drei funktionalen Abhängigkeiten zu zerlegen.

die Maxime Unter

der Schlüssel, den gesamten Schlüssel, und nichts als die Schlüssel

ich festgestellt, dass B -> C transitiv funktionale Abhängigkeit gemeint es war in 2NF und sollte zersetzt werden, um dieses in

zu entfernen

Dies sollte auch, denke ich, in BCNF sein. Wie auch immer, meine Frage ist, ob das A, B -> C FD dies bricht - denn es scheint nicht zu passen nichts als der Schlüssel ', Aspekt der obigen Maxime? (Und die 'B' Teil der A, B -> FD ist kein Schlüsselattribut, sondern 'B' ist neben dem Schlüssel)

Answer 1

Sie sollten beachten, dass die drei Abhängigkeiten:

A → B 
A B → D 
B → C 

sind keine kanonische Abdeckung (A B → D kann vereinfacht werden zu A → D, gegeben A → B). Also, die kanonische Abdeckung ist:

A → B 
A → D 
B → C 

und da der Schlüssel A ist, sind Sie richtig in decomponing die Beziehung in:

R1<(B, C), {B → C}> 
R2<(A, B, D), {A → B, A → D}> 

Beachten Sie, dass alle Abhängigkeiten der BCNF Definition erfüllen, da der Schlüssel von R1 ist B, der Schlüssel von R2 ist A, und jede Abhängigkeit hat seine LHS, die ein Schlüssel ist.