ボイスコッド正規化 - Qiita

ボイスコッド正規型(BCNF) 第5正規化までで一つの記事にしようと思ったが長引いたので分割。 投稿のクォリティが低いので後日書き直すかも。 準備 例えば以下のようなテーブルがあるとする。 | _農産物_ | _地区_ | 最多生産県 | 生産高 | |-----|----|-------|-----|-----| | りんご | 東北 | 青森 | 176600 | | りんご | 中部 | 長野 | 39143 | ※補足アンダーライン( _ )に囲まれているのが主キー 各農産物の地方ごとの最多生産権の情報を持っている。この時関数従属性は {農産物,地区} → 最多生産県 {農産物,地区} → 生産高 最多生産県 → 地区 である。 推移従属、部分従属が無いため、第3正規型である。 ボイスコッド正規型であるためには、そのテーブルが第3正規型であることが必要条件である。 ともあれこれで準