关于无损分解和保持依赖的判断