半连接问存在

半连接保留左侧中能在右侧找到匹配的元组，本质上回答“是否存在相关事实”。它常比普通连接更贴近业务问题，也避免把右侧属性带入结果造成不必要的重复。