見出しは、特定の属性の順序づけられていない集合である。
関係値を構成する組の集合を本体という。
すなわち関係値は、見出しと本体から構成されている。
属性は、属性名と定義域の名称のペアである。
定義域は、データ型と同じ意味と考えてよい。
属性は、その定義域に適合するなんらかの属性値をもつ。
属性値は、スカラ値もしくはより複雑な構造をもつ値である。
関係値を構成するおのおのの組は特定の一つ以上の属性の集合で識別される。
この属性集合を候補キーという。
こうした関係モデルの概念は数学的に定義されるが、既存のデータベースの実装はこうした定義に厳密に準拠しているわけではない。
表 (テーブル) は、関係の視覚的表現として受け容れられている。
組は行の概念に似ている。
関係代数との対比と関係完備.
例えば関係代数では、書籍データベースから次の手順で、特定の書名の書籍を在庫としてもつ書店の店名と電話番号を問い合わせるであろう。
この例の問い合わせは関係論理では次のような宣言的に定式化できる。
関係代数と関係論理は互いに等価である。 
関係代数で表現された式は、等価な関係論理の式で表現することができる。
逆に関係論理で表現された式も、等価な関係代数の式で表現することができる。
関係完備とは、コッドが提唱した限定のもとで、一階述語論理に関して完全な言語であることを意味する。
関係論理と関係代数は関係完備である。
組関係論理.
SQLは、コッドの関係モデルと関係論理に忠実に準拠して設計されていないとして、批判を受けることがある。
φ はどのように条件づけるかを示す式である。
組関係論理で使われる演算子は次のとおりである。
論理演算子
存在記号と全称記号は変数を束縛することができる。
組関係論理の例.
顧客がいる場所:
ブレーメン内のすべての顧客:
注文した顧客:
注文されていない商品:
組関係論理において、結合の条件は明示的に記述される。
定義域関係論理.
定義域関係論理では、問い合わせは次のような形式になる。
定義域関係論理の言語は組関係論理と同じ演算子を使う。
定義域関係論理の例.
エンタープライズの船員で星図作成の部署に属する人の名前を問い合わせる:
この例では名前だけを問い合わせている。
EU資料センター
作・演出は植田紳爾。