霍乱的细菌学特点是（）

A.细菌呈逗点状

B.革兰染色阳性

C.菌体极端有长鞭毛运动活泼

D.在碱性蛋白胨中，可以快速增菌

E.可产生肠毒素

设F是属性组U上的一组函数依赖，下列哪一条不属于Armp公理系统中的基本推理规则？（）

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

B．若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含

C．若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含

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