专门关系运算 — 计算机选择题

设关系完成(成员,模块)={(甲,M1),(甲,M2),(甲,M3),(乙,M1),(丙,M1),(丙,M2),(丁,M1),(丁,M2)}，必修(模块)={(M1),(M2)}，归属(成员,站点)={(甲,北区),(乙,北区),(丙,南区),(丁,北区)}。按自然连接语义，表达式 π_成员(σ_站点='北区'(归属 ⋈ (完成 ÷ 必修))) 的结果是： A. {(甲),(丁)}　B. {(甲),(乙),(丁)}　C. {(甲),(丙),(丁)}　D. {(甲,北区),(丁,北区)}