数据库关系运算——除运算