最初のページ
戻る
次へ
最後のページ
画像
定義:アトム
Rをn項リレーション名
x1,...,xnをドメイン変数
ドメイン変数x,y
ドメイン変数x
定数c
R(x1,...,xn)はアトムである
x θ yはアトムである
θは比較演算子
=,<,>,≤,≥,≠
x θ cはアトムである
または定数