开始写评论然后改变了我的想法。 :)
如果你看看 维基百科 ,你会发现这个等价:
R ?_锟斤拷 S = 锟斤拷_锟斤拷(R 锟斤拷 S)
特别是在限制是平等的情况下,它是一个等值的。这意味着,equijoin相当于对两个字段相等的两个表的笛卡尔积的限制。
所以...
锟斤拷_{dlocation}( 锟斤拷_{dnumber = loc_dnumber}( 锟斤拷_{dname = "finance"}(department) 锟斤拷 锟斤拷_{loc_dnumber / dnumber}(dept_locations)))
(我们需要使用重命名,以便我们不会进入无意义的 dnumber = dnumber 地点。)
dnumber = dnumber