リレーショナルデータベース 異状 テーブルの分解 正規化 冗長なデータ