I have database of University like below:
Student (SID, name, family, mean, age, city, street, CID)
Instructor (IID, name, family, salary, city, street, CID)
College (CID, name, city)
How can i answer the following query in Domain Relational Calculus (DRC) ?
"Find instructors who are in all colleges located in London"