ボイス・コッドの正規形の定義によると、
Reln R with FDs F は、F+ のすべての X -> A に対して -A が X のサブセット (自明な FD と呼ばれる) である場合、または -X が R のスーパーキーである場合、BCNF にあります。
“R is in BCNF if the only non-trivial FDs over R are key constraints.”
If R in BCNF, then every field of every tuple records information that
cannot be inferred using FDs alone.
私が理解していないのは、正規形に関する上記の 2 つのステートメントです。
誰かが私に例を挙げてもらえますか?
ありがとう!