正規化

関係データベースのテーブル設計において、データの重複を排除し、整合性を保ちやすい構造にするための手法。第1正規形から第3正規形まで段階的に行う。

関係データベースにおいて、データの重複や更新時の矛盾を排除するためにテーブル構造を段階的に整理する手法。第1正規形、第2正規形、第3正規形の順に正規化を進め、データの冗長性を排除する。

関係データベースの表を、データの冗長性を排除し更新時の不整合（更新異常、挿入異常、削除異常）を防ぐために分解する設計手法。第1正規形（繰り返し項目の排除）、第2正規形（部分関数従属の排除）、第3正規形（推移関数従属の排除）が基本。

リレーショナルデータベースの論理設計において、データの冗長性を排除し整合性を保つためにテーブル構造を整理する手法。第1正規形から第3正規形、さらにボイスコッド正規形などがある。更新時異常の防止が目的。

リレーションのデータ冗長性を排除し、更新異状（挿入異状、削除異状、修正異状）を防止するために、リレーションをより小さな単位に分解する手法。関数従属性や多値従属性に基づき、段階的に正規形に変換する。

関係データベースの設計で、データの重複をなくして更新時の矛盾（更新時異常）を防ぐため、関数従属性に基づいて表を分割すること。第1正規形から第3正規形、ボイスコッド正規形などの段階がある。正規化を進めると結合が増えて検索の性能が下がることがあるので、性能の要件に応じて意図的に非正規化することもある。

関係データベースの表を、関数従属性に基づいて分解し、データの重複を排除する設計手法。更新、挿入、削除のときに生じる不整合（更新時異状）を防ぐ。段階として第1正規形から第3正規形、ボイスコッド正規形などがある。

複数の属性からなる候補キーの一部だけで、非キー属性が決まってしまう関数従属。例えば、{受注番号, 商品番号}がキーの表で、商品番号だけから商品名が決まる場合が当たる。部分関数従属があると同じ商品名が何度も現れて更新時異状の原因になるので、第2正規形への正規化で別の表に分離する。

X→Y、Y→Zが成り立ち、YからXが決まらないときに、XからZがYを介して間接的に決まる関数従属。例えば、社員番号→部署コード→部署名の関係で、部署名が社員番号に推移的に従属する場合が当たる。非キー属性が他の非キー属性に従属している状態なので、第3正規形への正規化で部署の表を分離する。

概念データモデルを、採用するデータベースの方式（関係データベースなら表・列・主キー・外部キー）に沿って表し直したデータモデル。正規化によってデータの重複と更新時異状を取り除き、データ型や制約を定める。どの記憶装置にどう格納するかといった物理的な事項には立ち入らない。

ネットワーク型（CODASYL型）データベースで、レコードの実現値を記憶領域のどこに格納するかを指定する方式。キー値をハッシュして格納位置を決めるCALC、親子集合の親レコードの近くに格納するVIA、指定したデータベースキーの位置に格納するDIRECTがある。よく使うアクセス経路に合わせて選び、関連するレコードを同じページに集めて入出力を減らす。

属性の組Xが決まれば属性Yが一意に決まり（X→Y）、かつXのどの真部分集合からもYが決まらない関数従属。例えば、{受注番号, 商品番号}→数量で、受注番号や商品番号の片方だけでは数量が決まらない場合が当たる。第2正規形は、非キー属性がすべての候補キーに完全関数従属している状態である。

論理関数を視覚的に簡略化するための図表。隣接するセルが1ビットだけ異なるように配置し、1の値をとるセルのグループ化により最簡形の論理式を導出する。4変数程度までの論理回路設計で有効。