database - 如何获取关系属性中重复的值？

Question

所以我有一个关系:

Cars(model, passenger)

模型都是唯一的，比方说，{A, B, C, D, E}。

乘客只是汽车的容量(任何非零正整数)，比方说 {1,2,2,3,3}

Model|Passenger
A    |1
B    |2
C    |2
D    |3
E    |3

我需要找到关系代数表达式，它可以得出超过 1 辆车的容量。因此，对于上面的示例值，表达式应该返回 {2, 3}，因为它们针对不同的车辆出现了不止一次。

我强烈认为该表达式将使用某种连接，但我不知道该怎么做。

Answer 1

我想通了:

假设现有关系 Cars(model, passenger) 包含所有相关汽车及其载客量。

CARS2(model,passenger)≔ρ_(m,p) (CARS)
Answer (passenger)≔π_passenger (CARS⋈_(model ≠ m AND passenger=p) CARS2)