设关系模式R(U, F)，其中U为属性集，F是U上的一组函数依赖，下列叙述正确的是( )。

A．若X→Y为F所逻辑蕴含，且

，则XZ→YZ为F所逻辑蕴含

B．若X→Y，X→Z为F所逻辑蕴含，则Y→Z为F所逻辑蕴含

C．若

，则Y→X为F所逻辑蕴含

D．若

，则X→Y为F所逻辑蕴含

血循环中出现的不溶于血液的异常物质随血流运行发生远处血管阻塞的过程称为（）

A.异常物质

B.血栓形成

C.栓塞

D.梗死

E.血栓转移