设U为所有属性，X, Y, Z为属性集，Z＝U-X-Y。若X→→Y,且Z＝，则称X→→Y为【 】的多值依赖。