# 関係モデル ## 定義 関係モデル（relational model）とは、データを数学的な集合と直積上の部分集合である n 項関係（n-ary relation、タプルの集合）の集まりとして表現し、物理的なポインタ連鎖や木構造・網構造の格納表現から論理的スキーマを完全に独立させるデータモデルである。E. F. Codd（1970）が提唱した。各行は順序をもたない一意なタプルを表し、各列は対応するドメイン名（属性名）で識別される。関係に対する射影（projection）・結合（join）・合成（composition）・制限（restriction）などの集合論的代数演算を通じて高水準な非手続き型データ副言語の基礎を提供する。(Source: [[@1970__CACM__A Relational Model of Data for Large Shared Data Banks]]) ## 未解決の問い - 関係代数・関係計算に基づく宣言的問い合わせ記述と、ディスク・メモリ階層上での最適な物理アクセスパス選択（オプティマイザのコスト見積もり）の乖離をどのように埋めるか。 - 第1正規形（非正規関係の排除）から高次正規形（第2・第3・BCNF）への分解において、関数従属性の保存と結合独立性の保証をどこまで形式的に自動検証できるか。 - 分散環境・高頻度更新環境におけるACID特性の維持とリレーショナル結合の通信コストオーバーヘッドをどう調和させるか。 ## 未編纂の観察 - ## 関連 - ソース: [[@1970__CACM__A Relational Model of Data for Large Shared Data Banks]] - 概念: [[データ独立性]] - 人物・組織: [[Edgar F. Codd]]、[[IBM]] ## 出典 - E. F. Codd, "A Relational Model of Data for Large Shared Data Banks", *Communications of the ACM*, 1970.