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

ドメインリレーショナル論理式 {x1,...,xn | Ψ(x1,...,xn)}

式Ψ(x1,...,xn)を

「ドメイン変数x1,...,xnのみを自由変数として持つ式」

とするとき

{ x1,...,xn | Ψ(x1,...,xn) }をドメインリレーショナル論理式という

[例]

ドメイン変数x1,x2は自由変数