関係モデル
SQLの一つの表では、同一内容の行が2回以上出現することを許容する。関係モデルの一つの関係変数では、同一内容の組が2回以上出現することはありえない。
情報の整合性は、データベース設計で制約の宣言を行うことで実現することができる。
ここでいうデータベース設計は論理設計(スキーマ)と呼ばれることが多い。
関係モデルの理論には、関係の正規化という過程がある。 関係を正規化することにより、関係データベースであるデータベースの設計から、論理的に同等であり、かつ、いくつかの意味でより望ましい特性をもつデータベース設計を、導き出すことができる。一方で、アクセスプランの算出やその他関係モデルの実装、データ演算の詳細は、関係データベース管理システム(RDBMS)のエンジンにより制御されるのであって、論理設計は関知しない。論理設計はRDBMSでパフォーマンスチューニングのためによく行われる実践とは水準が異なる。ただしこうしたパフォーマンスチューニングでは論理設計の変更を必要とすることも多い。
関係モデルの基礎的な要素は定義域; instance(ドメイン; domain)である。定義域はデータ型と同じ意味と考えて良い。現在は型(タイプ; type)と略されることも多い。
属性 (attribute) は、属性名と型名(定義域名)のペアから構成される。属性の名前と値のコンポーネントの順序づけられていない集合を組(タプル; tuple)という。属性値は、属性の定義域に適合する具体的な値である。属性値は、スカラ値もしくはより複雑な構造をもつ値である。