A∏Sname(σS.Sno=SC.Sno∧SC.Cno=‘’(S´SC))B∏Sname(σSC.Cno=‘’(S¥SC))C∏Sname(S¥σSC.Cno=‘’SC))D∏Sname(∏Sname，SnoS¥σSC.Cno=‘’SC)