设有关系模式R（XYZ，X→Y，Y→Z），其分解＝{XY，XZ}相对F具有（），但不保持函数依赖