스키마

학생(STUDENT) (학번[Sno], 이름[Sname], 학년[Year], 학과[Dept])

과목(COURSE) (과목번호[Cno], 과목이름[Cname], 학점[Credit], 학과[Dept],

담당교수[PRname])

등록(ENROL) (학번[Sno], 과목번호[Cno], 성적[Grade], 중간성적[Midterm], 기말성적[Final])

질의

학번 100인 학생이 등록한 과목에 적어도 한 과목을 같이 등록한 학생의 이름을 검색하라.

튜플관계해석식

{s.Sname | STUDENTS(s) ∧ (∃e1)(∃e2)(ENROL(e1) ∧ ENROL(e2) ∧ s.Sno = e1.Sno ∧ e1.Cno = e2.Cno ∧ e2.Sno = 100)}

데이터베이스를 배우고있는 학생입니다.

튜플관계해석식을 배우고 있는데 요부분에 몇일을 막혀있습니다 ㅠㅠ 

아무리 봐도 어떤 규칙이 숨어있는지 몰라서 다시써봐도 틀립니다.

혹시 튜플관계해석식을 잘 아시는분 위의 질의는 어떠한 규칙이 숨어있거나 어떠한 방식으로 구하면되는건지 알려주실수 있을까요? ㅠㅠ