15.2.2 使用NOT EXISTS子查询实现差集运算