设F是属性组U上的一组函数依赖，下列叙述正确的是

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、地籍图集