15.2.1 使用EXISTS子查询实现交集运算