関係 R（学生, 科目）が {(A, DB), (A, OS), (A, NW), (B, DB), (B, OS), (C, DB)}、関係 S（科目）が {DB, OS} であるとき、商（除算）R ÷ S の結果はどれか。

解説

正解は「{A, B}」です。商 R ÷ S は、S のすべての科目と組になって R に現れる学生の集合を求める演算で、「S の科目をすべて履修している学生」を表します。A は DB と OS の両方（さらに NW）を、B も DB と OS の両方を履修しているので結果に含まれます。C は DB しか履修していないので含まれません。S にない科目（A の NW）を履修していても影響はありません。「{A}」は、S にない科目まで含め、R に現れる科目をすべて履修している学生を求めた誤りです。「{A, B, C}」は、S の科目を1つでも履修している学生です。「{C}」は、S の科目をすべては履修していない学生で、条件が逆になっています。