数据库的关系运算和完整性约束