関係代数における基本的な演算子の選択が、論理学における基本的な演算子の選択と似ているならば、利便である。(実際にはコッドは属性名変更を基本的な演算子群から除去した。しかし属性名変更を含めた例として後の#歴史の節で述べるISBLが存在する)実際にISBLは直積を自然結合で置き換えるという重要な事例を残した。直積は自然結合から退化した演算である。関係論理との対比.例えば関係代数では、書籍データベースから次の手順で、特定の書名の書籍を在庫としてもつ書店の店名と電話番号を問い合わせるであろう。この例の問い合わせは関係論理(関係計算)では次のような宣言的に定式化できる。歴史.コッドは関係代数をデータベース言語(問い合わせ言語)の基礎として提唱した。ISBLの開拓的な作業はデータベース分野の権威たちの多くにより、コッドの構想を使い勝手の良い言語に実装する道筋をつけたとして、称賛されている。データベース言語SQLは、関係代数に不完全ながらある程度基づいている。関係モデル.関係代数は関係モデルに基づく関係データベースのデータベース言語(問い合わせ言語)であるため、最初に関係モデルを簡単に定義する。関係モデルにおける基本的な構成要素は定義域すなわちデータ型である。組は順序づけられていない属性の集合である。属性は定義域と値のペアである。関係変数は、特定の関係型の名前つきの変数であり、順序づけられていない属性名と属性の定義域のペアの集合である。関係変数は関係の見出しを提供する。関係は見出しと組の集合から構成される。こうした関係モデルの概念は数学的に定義されるが、既存のデータベースの実装はこうした定義に厳密に準拠しているわけではない。表(テーブル)は、関係の視覚的表現として受け容れられている。組は行の概念に似ている。関係の型適合.基本的な演算子.集合論に基づく演算子と関係代数に特有な演算子である。まず集合論に基づく演算子(和、差、交わり(交差)、直積)を説明し、続けて関係代数特有の演算子(制限(選択)、射影、結合、商)を説明する。和.重複する組は除去される。参考:和集合前提.SQL.差.参考:差集合前提.SQL.交わり.交わり演算と等価な演算を、差演算を使って表現することができる。