关系代数算子树中LikeDislike用于相同披萨喜好客户对查询的疑问

首先，咱们先抓准你的核心疑问：明明要找的是C1<C2且喜好完全相同的客户对，为什么算子树里会出现定义为「C1喜欢某款C2不喜欢的披萨的客户对」的LikeDislike关系？这看起来完全是反向的场景对吧？

其实这是用了反证法的逻辑来实现需求，咱们一步步拆解：

先明确需求的本质 #

“喜好完全相同”意味着两个客户之间不存在任何喜好差异：

• 没有任何一款披萨，是C1喜欢但C2不喜欢的；
• 同时也没有任何一款披萨，是C2喜欢但C1不喜欢的。

再看LikeDislike的作用 #

LikeDislike(cname, cname2)记录的是所有存在“单向喜好差异”的客户对——也就是C1有C2不认可的披萨偏好。那反过来想：
如果一对客户(C1,C2)既不在LikeDislike里（说明C1没有C2不喜欢的披萨），同时(C2,C1)也不在LikeDislike里（说明C2也没有C1不喜欢的披萨），再加上C1<C2的条件，这不就是我们要找的“喜好完全相同”的客户对吗？

用SQL逻辑对应理解 #

你可以把这个思路转化成SQL语句，就能直观看到LikeDislike的作用：

SELECT c1.cname AS C1, c2.cname AS C2
FROM Customer c1, Customer c2
WHERE c1.cname < c2.cname
  -- 排除C1有C2不喜欢的披萨的情况
  AND NOT EXISTS (SELECT 1 FROM LikeDislike ld WHERE ld.cname = c1.cname AND ld.cname2 = c2.cname)
  -- 排除C2有C1不喜欢的披萨的情况
  AND NOT EXISTS (SELECT 1 FROM LikeDislike ld WHERE ld.cname = c2.cname AND ld.cname2 = c1.cname);

对应的算子树里，就会包含对LikeDislike的两次查找操作——它不是直接用来筛选目标结果，而是用来排除所有不符合“喜好完全相同”的客户对，从而间接得到我们需要的结果集。

简单总结：LikeDislike是用来标记“有差异”的客户对，我们要的是“无差异”的，所以通过排除前者来锁定后者，这就是它出现在算子树里的原因。

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