"Bei der BCNF muss die linke Seite jeder gültigen, nicht- trivialen FD einen Schlüssel enthalten.\nDies ist bei ´C -> D´, ´D -> B´ und ´D -> E´ jedoch nicht der Fall.\nWenn man diese FDs ausgliedert erhält man ´R\_1(ul(A,C))´ und ´R\_2(ul C, B, D, E)´.\nDa ´R\_2´ noch ´D -> B,E´ enthält ist immer noch nicht die BCNF erreicht.\nDiese FD kann nun auch noch ausgegliedert werden und man erhält:\n´R\_3(ul C, D)´ und ´R\_4(ul D, B, E)´.\nDamit sind alle FDs aufgelöst und die BCNF ist erreicht.\n\nDer Vorgang ist auch in folgendem Diagramm dargestellt:\n\n\ngv\ndigraph {\n\tnode [shape=ellipse];\n\t{node [label=\"C → D,B,E\"] c;}\n\t{node [label=\"D → B,E\"] d;}\n\n\tnode [shape=box, style=rounded];\n\t{node [label=<V(<u>A,B</u>,C,D,E)>] v;}\n\t{node [\n\t\t\tlabel=<V<sub>1</sub>(<u>A,C</u>)>,\n\t\t\tstyle=\"rounded,filled\",\n\t\t\tfillcolor=gray\n\t\t] v1;}\n\t{node [label=<V<sub>2</sub>(<u>C</u>,D,B,E)>] v2;}\n\t{node [\n\t\t\tlabel=<V<sub>3</sub>(<u>C</u>,D)>,\n\t\t\tstyle=\"rounded,filled\",\n\t\t\tfillcolor=gray\n\t\t] v3;}\n\t{node [\n\t\t\tlabel=<V<sub>4</sub>(<u>D</u>,B,E)>,\n\t\t\tstyle=\"rounded,filled\",\n\t\t\tfillcolor=gray\n\t\t] v4;}\n\n\tv -> c [dir=none];\n\tc -> v1;\n\tc -> v2;\n\tv2 -> d [dir=none];\n\td -> v3;\n\td -> v4;\n}\n\n"