Admin has mistakenly stated answer to be A, but he has proved answer to be D. Anyways, if people are confused regarding it here is the explanation of the question's proof :
1. We are given the table information and we need to derive the statement students enrolled in Computer Science Students Courses.
2. Analysing the first option A, we get
Sid(EnrolledIn) / Cid(dept = "computer science"(Course))
Well, the division can't be performed as the divisor misses cid to perform the division. So further we can't move to any conclusion as the process itself performed is in a wrong way.
3. Analysing option B,
Project SId (EnrolledIn natural Join dept = "Computer science" (Course))
It projects the Sid of the ones in other courses as well with atleast one being of Computer Science department. Thus, its also not the one we want.
4. Analysing option C,
sid, cid (EnrolledIn) / cid (Course)iw
This perform the division correctly but there's no selection of the department that means it returns the Sid of all the courses where at least one student is enrolled within the university. Therefore, it also fails to satisfy the statement or meet up the statement of the question.
5. Analysing option D,
sid, cid(EnrolledIn) / cid ( select where department = "Computer Science"(Course))
Cid shall get cancelled and thus results in the return of Sid's of all the ones enrolled in Computer Science courses. Therefore this is the answer.
Admin let me know if my explanation went wrong somewhere.....