EXISTS述語

関係モデルに対する問合せを述語論理で記述する方法。タプル関係論理と定義域関係論理の2種類がある。関係代数と同等の表現力を持ち、SQLのSELECT文の理論的基礎となる。

値が指定したリストまたは副問合せの結果セットに含まれるかを判定するSQL述語。「列名 IN (値1, 値2, ...)」や「列名 IN (副問合せ)」の形式で使用する。NOT INはNULL値の扱いに注意が必要。

関係モデルにおいて、属性がとりうる値の集合。例えば「年齢」属性のドメインは正の整数、「性別」属性のドメインは{'男','女'}など。SQLではCHECK制約やデータ型で制限を実現する。

関係モデルに対する操作を数学的に定義した代数体系。選択、射影、結合、和、差、直積、商などの演算からなる。SQLの理論的基盤であり、問合せ最適化の基礎となる。

関係代数の基本演算の1つで、リレーションから指定した条件を満たすタプルを取り出す操作。SQLのWHERE句に対応する。記号σ（シグマ）で表される。

関係代数の基本演算の1つで、リレーションから指定した属性のみを取り出す操作。重複するタプルは除去される。SQLのSELECT句の列指定に対応する。記号π（パイ）で表される。