從A中選擇所有屬性存在於B中

我有一個涉及關係代數的問題。假設我有兩個關係 A 和 B，其中 B 有一個引用 A 的外鍵。

使用關係代數，如何從 A 中選擇 B 中存在變數 X 的所有元組？例子：

關係1

Cars(car_id,model)    

關係2

Ford(car_id,year)

如何從 Cars 中選擇 id 存在於 Ford 的所有元組？例子：

Cars  car_id  model
     -------------
      1    a
      2    b
      3    c

Ford  car_id   year
     1        2000
     3        2002

我想要的是：從福特中存在 id 的汽車中選擇所有汽車，返回：

Result:  car_id  model
       --------------
        1    a
        3    c

（有點微不足道的）答案似乎是：

Cars ⋉ Ford

關係代數，半連接（維基百科）

或者（回應評論）：

πR(R ⋈ S)

引用自：https://dba.stackexchange.com/questions/116970