两条直线相交成直角时,这两条直线( )。
互相垂直
设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.克隆羊