用sql进行集合运算