最初のページ 戻る 次へ 最後のページ 画像

定義:アトム

R(x1,...,xn)はアトムである

x θ yはアトムである

θは比較演算子

=,<,>,≤,≥,≠

x θ cはアトムである