DBデータベースの分析・設計 · 論理データモデルの検証

関数従属性の検証

Functional Dependency Verification

かんすうじゅうぞくせいのけんしょう

属性間の関数従属が業務ルールと一致しているかを確かめる検証。誤った従属性の想定は不適切な正規化を招くため、実データや業務ルールに照らして確認する。

共有:

関連キーワードの用語

現実世界のデータ要件を、DBMS非依存の形で抽象化して表現したモデル。ER図が代表的な表記法で、エンティティ、属性、関連を用いてデータ構造を記述する。データベース設計の第一段階として作成される。

概念データモデルを特定のデータモデル（関係モデルなど）に変換したもの。テーブル名、属性名、データ型、制約（主キー、外部キー、NOT NULLなど）を定義する。DBMS製品には依存しない。

論理データモデルを特定のDBMS上の物理的な格納構造に変換したもの。テーブルスペース、インデックス、パーティション、ファイル配置などの物理的な設計を含む。

データベース設計の最初の段階で、対象業務のデータ要件をDBMS非依存の概念データモデル（ER図など）として表現する工程。ユーザの業務要件を分析し、エンティティ、属性、関連を抽出・定義する。

概念データモデルを特定のデータモデル（関係モデルなど）に変換し、テーブル定義、属性定義、制約定義を行う工程。正規化を適用してデータの冗長性を排除し、整合性を確保する。

論理設計の結果をDBMSの物理的な格納構造に変換する工程。テーブルスペースの配置、インデックスの選定、パーティショニング方式、ファイル編成、バッファサイズなどを決定し、性能要件を満たす設計を行う。