数据库的元组关系演算和域关系演算