前のページ 1/6 次のページ

関係モデル (かんけいモデル、リレーショナルモデル、英: relational model) はエドガー・F・コッドが考案した集合論と述語論理に基づいたモデルであり、関係データベース (リレーショナルデータベース) の基礎となっている。

◆ モデル

関係モデル(リレーショナルモデル)における基本的な前提は、あらゆるデータは n 項 (n-ary) の関係(リレーション)で表現されるということである。

数学における関係は二項関係をいうが、関係モデルでは関係の概念を n 項に拡張している(nは0もしくは正の整数)。

一つの n 項の関係は、n個の定義域(ドメイン、後述する)の直積集合の部分集合である。

数学モデルでは推論は二値の述語論理で行う。

すなわち個々の命題について真か偽かのいずれかの評価を行う。

数学の命題は真か偽かの二値であり「未知の値」(unknown) や「不適切な値」(not applicable) のような第三の値は無い。

なおコンピュータ科学では「未知の値」や「不適切な値」はしばしばnullに対応づけられる。

関係モデルにおいては、二値論理が関係モデルの重要な要素であり三値論理を許容すべきでないと考える人々と、三値論理を関係モデルで許容できると考える人々がおり、研究者の間で見解が分かれている。

関係モデルではデータ(関係)の演算は関係代数あるいは関係論理(関係計算)を使って行う。

関係代数と関係論理は同等の演算能力をもつ。

関係モデルを活用することにより、関係データベースでデータベースを設計 (データベース設計) する人はデータベースに格納する対象となる情報を、整合性を備え論理的に表現することができる。

情報の整合性は、データベース設計で制約の宣言を行うことで実現することができる。

ここでいうデータベース設計は論理設計(スキーマ)と呼ばれることが多い。

関係モデルの理論には、関係の正規化という過程がある。

関係を正規化することにより、関係データベースであるデータベースの設計から、論理的に同等でありかついくつかの意味でより望ましい特性をもつデータベース設計を、導き出すことができる。

一方で、アクセスプランの算出やその他関係モデルの実装、データ演算の詳細は、関係データベース管理システム (RDBMS) のエンジンにより制御されるのであって、論理設計は関知しない。

論理設計は、関係データベース管理システム (RDBMS) でパフォーマンスチューニングのためによく行われる実践とは、水準が異なる。

ただし、こうしたパフォーマンスチューニングでは論理設計の変更を必要とすることも多い。

関係モデルの基礎的な要素は定義域(ドメイン; domain)である。

定義域はデータ型と同じ意味と考えて良い。

現在は型(タイプ; type)と略されることも多い。

属性(attribute)は、属性名と型名(定義域名)のペアから構成される。

属性の名前と値のコンポーネントの順序づけられていない集合を組(タプル; tuple)という。

属性値は、属性の定義域に適合する具体的な値である。

属性値は、スカラ値もしくはより複雑な構造をもつ値である。

関係(リレーション; relation)は、見出し(heading)と本体(body)から構成される。

見出しは順序づけられていない属性の集合である。

本体は順序づけられていない組の集合である。

n 項の関係の本体は n 組の集合から構成される。

ある関係の見出しはその関係に含まれる組の見出しでもある。

関係は n 組の集合として定義される。

数学の文脈においても、関係モデルの文脈においても、集合とは順序づけられていない要素の集まりである。

ただし一部の RDBMS と称するシステムは、データに対して順序づけを強制している。

こうしたシステムは、関係モデルに準拠していないとして批判されることがある。

数学では、組に含まれる要素間には順序が存在し、要素の重複は許容される。

関係モデルを考案したエドガー・F・コッドは、当初はこの数学上の定義を使って組を定義していた。

後にコッドは、関係モデルでは組について順序を排して各要素に名前(属性名)をつければ、関係に基づくコンピュータ言語において、一般的な状況では、より便利になるであろうと考えるようになった。

この考えは、コッドの研究生活における優れた洞察の一つであった。

こうして関係モデルの組の概念は変更され現在に至っている。

組の概念は変更されたが、組という概念名は変わっていない。

この優れた組の概念により、直ちに重要な帰結として、関係モデルの関係代数の直積演算において交換法則が成立した。

現在、表(テーブル; table)は関係の視覚的表現として広く受け容れられている。

組は表の行 (row) の概念に似ている。

データベース言語 SQL では、表の列(カラム; column)が順序づけられていることに注意する必要がある。

SQL は関係モデルに準拠していないとして批判されることがあり、こうした順序づけの存在は批判の根拠の一つとなっている。

関係変数(リレーション変数; relvar; relation variable)は、特定の関係型の名前つきの変数である。

どの時点においても、関係変数にはその型に対応した何らかの関係(関係値)が割り当てられている。

関係が含む組の数は0の場合もある。

関係モデルの基本的な原理は情報の原理である。

あらゆる情報は関係に含まれるデータとして表現される。

この原理から導き出されることとして、関係データベースは関係変数の集合であり、関係データベースに対するあらゆる検索の結果は関係として表現される。

関係データベースには整合性が強制的に適用される。

関係データベースで論理スキーマの一部として整合性の制約が宣言され、RDBMS によって関係データベースにアクセスするあらゆるアプリケーションソフトウェアに対して強制的に適用される。

関係データベースにアクセスするアプリケーションソフトウェアに関係データベースの整合性の規則を実装する必要があるわけではない。

一般的に、制約は関係比較演算子を使って表現される。

前のページ 1/6 次のページ

・関係モデル page1

・関係モデル page2

・関係モデル page3

・関係モデル page4

・関係モデル page5

・関係モデル page6