单项选择题

设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所逻辑蕴含，且ZY，则X→Z为F所逻辑蕴含
<上一题 目录 下一题>
热门 试题

单项选择题
二维数组A[0…8,0….9]，其每个元素占2个字节，从首地址300开始，按列优先顺序存放，则元素A[8,5]的存储地址为( )。
A．470
B．406
C．454
D．382
单项选择题
设有一个用线性探测法解决冲突得到的散列表： 0 1 2 3 4 5 6 7 8 9 10 散列函数为H(k)=k mod 11若查找元素15，则探测的次数(比较的次数)为( )。
A．7
B．9
C．3
D．6
相关试题