单项选择题

设F是属性组U上的一组函数依赖，以下( )属于Armstrong公理系统中的基本推理规则。

A．若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含
B．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含
C．若X→Y及WY→Z为F所逻辑蕴含，则XW→Z为F所逻辑蕴含
D．若X→Y为F所逻辑蕴含，且Z∈Y，则X→Z为F所逻辑蕴含
<上一题 目录 下一题>
热门 试题

单项选择题
栈的特点是（）。

A．先进先出
B．后进先出
C．进优于出
D．出优于进
单项选择题
设关系R和S的元数分别是r和s，则集合t|t=＜tt，ts＞tr∈Rts∈S标记的是( )。
A．R∪S
B．R-S
C．R∩S
D．R×S
相关试题