SQL转换为关系代数NOT IN

Question

我有Uni-Schema，可在此处找到http://hyper-db.com/interface.html#

我尝试将以下SQL代码翻译成关系代数

select distinct s.*, h.vorlnr
from studenten s inner join hoeren h on s.matrnr = h.matrnr
    where h.vorlnr not in (select v.vorgaenger from voraussetzen v)

我的尝试是：

π<子>秒。* （
p _s （studenten）⋈ _{s.matrnr = h.matrnr} p _h （hoeren）
⋈ _{h.vorlnr = v.vorgaenger p v （π v1.vorgaenger （
voraussetzen - σ h1.vorlnr！= v1.vorgaenger （p v1 （voraussetzen）x P <子> H1 （hoeren））））}

是吗？如果不是为什么？

Answer 1

是的，它是对的（y），因为它是对的