我有如下大学数据库:
Student (SID, name, family, mean, age, city, street, CID)
Instructor (IID, name, family, salary, city, street, CID)
College (CID, name, city)
如何在域关系演算(DRC)中回答以下问题?
"查找伦敦所有学院的教师"
查找所有的讲师，使在伦敦不存在任何一所学院的讲师不在该学院。
但是这个问题有点可疑，因为你的数据库结构似乎允许任何教师在任何时候最多"在"一个大学
当你必须解决这类工作时，你必须遵循以下步骤:
- 查找伦敦至少一所大学中不是的所有教师
- 取整个教师列表，并从中减去，即1
无论如何，由于您的数据库通过外部键链接(CID in Instructor) Instructor to Colleges，您最多可以有一个College Instructor。
为了能够链接更多的教师和更多的大学，你必须插入一个额外的表来设计一个N:M关系，就像在这里