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

R ➖ S = { t | t ∈ R ∧ ¬ t ∈ S }

t : リレーション中のタプル

[解釈]

リレーションR − S中のタプルtは

  タプルtはリレーションR中の要素である

 かつ

  タプルtはリレーションS中の要素でない

R

S

A

B

C

A

B

C

a

b

c

b

f

a

d

a

e

d

a

e

a

d

c

R − S

A

B

C

a

b

c

a

d

c