关系代数翻译求助：Jobs关系下P2含义及表达式解析

我来帮你一步步拆解这个关系代数表达式，搞清楚每个部分的含义～

结合你的描述，我先把每个步骤的完整关系代数补全（你可能漏写了P2的完整形式，但上下文能推断出来）：

• P1：选取所有在pwc工作的人员的薪资，用关系代数写为：
  P1 = π_{salary}(σ_{company='pwc'}(Jobs))
  结果是一个单属性（salary）的关系，包含所有PWC员工的薪资（可能有重复值）。

• ρT1(s)(P1)：这是重命名操作，把P1这个关系改名为T1，同时把原来的salary属性重命名为s。这里要注意：T1的s和P1的salary值完全一致，但它们属于两个独立的关系，是不同的属性了。

• P2的完整表达式：应该是ρT1(s)(P1) ⋈_{s > salary} P1，也就是T1和P1做theta连接，连接条件是s > salary。
  你困惑的点在于“s和salary是不是相同的”——其实它们的值来源相同，但在连接操作里，是拿T1里的每一个薪资值，和P1里的每一个薪资值做跨关系比较，找出所有前者大于后者的组合。最终P2的结果是所有满足「存在另一个PWC员工薪资比它高」的salary值，简单说就是P1里不是最高的那些薪资。

• P3 = P1 - P2：差集操作，从P1中去掉所有在P2里出现的薪资值。剩下的就是P1中那些「不存在更高薪资的记录」——也就是PWC员工的最高薪资（如果有多个员工拿相同的最高薪，这些重复值都会保留）。

假设P1的薪资集合是{5000, 6000, 6000, 7000}：

1. T1的s集合和P1完全一致：{5000, 6000, 6000, 7000}
2. theta连接s > salary会筛选出这些组合：(6000,5000)、(6000,5000)、(7000,5000)、(7000,6000)、(7000,6000)，对应的P2薪资值是{5000, 6000, 6000}
3. P3 = P1 - P2的结果就是{7000}，也就是PWC员工的最高薪资。

内容的提问来源于stack exchange，提问作者user145536