点检管理的特点？

假设在关系模式R（U）中，X、Y、Z都是U的子集，且Z=U-X-Y。若X→→Y，而Z=，则称X→→Y为【 】。