リレーショナル代数はリレーショナルデータベースに格納されているデータとそのデータにアクセスするために使用されるクエリ言語を記述する代数の特別な形式です。 これはIBMのEF Coddによって最初に開発され、1970年に正式に導入されました。Coddの仕事はSQLやMySQLなどのデータベースクエリ言語の基礎となりました。

5つの原始演算子

• 集合和集合 （｀） - 複数のデータ集合、例えば2つの集合BとCを考えると、集合B∪Cの和集合は、集合のいずれかまたはすべてに現れるデータです。
• 集合差 （∖） - データBとCの2つの集合を考えると、集合B difference Cの差はCには現れるがBには現れないデータです。
• デカルト積 （×） - データBとCの2つのセットを考えると、デカルト積B×Cはすべての順序付けられたペア（b、c）のセットです。ここで、bはBのメンバー、cはCのメンバーです
• 選択 （σ） - 一連のデータBと、論理演算子and（∧）または（∨）を使い、（）を使わない式φを考えます。 選択σφ（Ｂ）は、式φが真であるＢのすべての要素をもたらす。 たとえば、φが命題式gender = female∨であるとします（eyeColor =Blue∧eyeColor = Hazel） 。 選択σφ（フレンズ）は、女性であり、青い目またはヘーゼルの目のいずれかを有するフレンズのすべてのメンバーを含むセットをもたらすであろう。
• 射影 （π） - データの集合Bと属性の集合a1、a2…が与えられると、射影πa1、a2…（R）はa1、a2…の属性によって制限されたBのすべての元の集合です。 たとえば、射影πfullName、phoneNumber（addressBook）は、属性fullNameおよびphoneNumberを持つaddressBookのメンバーのみを含むセットになります。

べき等性、言語、演算子、プログラミング用語