关系模式的规范化过程是通过对关系模式的分解来实现的，该过程中用到的关系代数运算是