设U是所有属性的集合，X、Y、Z都是U的子集，且Z=U-X-Y，下列关于多值依赖的叙述中，正确的是( )。
Ⅰ、若X→→Y， 则X→Y
Ⅱ、X→Y，则X→→Y
Ⅲ、若X→→Y，且Y'
Y，则X→→Y
Ⅳ、若X→→Y，则X→→Z

A) 若Y
X，则X→Y为F所逻辑蕴含
B) 若X
U，则X→Y为F所逻辑蕴含
C) 若X→Y为F所逻辑蕴含，且Z
U，则X→YZ为F所逻辑蕴含
D) 若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含

A) 安全性
B) 可移植性
C) 完整性
D) 并发控制