关系模式的分解是否唯一