関係スキーマと関係

属性（attribute）の有限集合 $R = \{A_1, \ldots, A_n\}$ を関係スキーマと呼びます。各属性 $A_i$ には値の集合（定義域）$\mathrm{dom}(A_i)$ が定まっているとします。

写像 $t$ であって、各 $A_i$ に $t[A_i] \in \mathrm{dom}(A_i)$ を対応させるものを $R$ 上のタプル（行）と呼びます。$R$ 上のタプル全体の集合を $\mathrm{Tup}(R)$ と書くとき、その有限部分集合 $r \subseteq \mathrm{Tup}(R)$ を $R$ 上の関係（テーブルの中身、インスタンス）と呼びます。

部分集合 $X \subseteq R$ に対し、$t[X]$ は $t$ を $X$ に制限したタプルを表します。