简述判断对关系模式的一个分解是否与原关系模式等价的标准。