单选题：设F是属性组U上的一组函数依赖，下列（　　）属于Armstrong公理系统中的基本推理规则。

题目内容：

设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．

参考答案：

答案解析：

下列（　　）不属于数字签名算法应该满足的条件。

下列（　　）不属于数字签名算法应该满足的条件。 A．数字签名必须是所签文件的物理部分 B．接收者能够验证签名，而任何其他人都不能伪造签名 C．签名者事后不能否认

分类：数据库题型：单选题

根据材料回答题：A注册会计师负责审计上市公司X公司2010年度财务报表。A注册会计师遇到下列事项，请代为做出正确的专业判断。A注册会计师应当直接与治理层沟通的事

分类：数据库题型：单选题

甲是美国的一家资源开发技术公司，乙是中国石油集团。甲、乙双方在北京签订合同，约定共同开发中国某油田石油及相关事宜，在履行合同进行开发时发生纠纷。根据我国的法律规

分类：数据库题型：单选题

依据《专利法》的有关规定，下列情形中应当授予专利权的是：（　　）A．甲发明了某农作物新品种的生产方法 B．乙经过10年临床诊疗发明了对艾滋病的特有治疗方法 C．

分类：数据库题型：单选题

甲电脑公司与乙签订了一份电脑购销合同，由甲电脑公司向乙出售20台电脑，合同约定由乙自行提货负责运输。在提货过程中，由于甲电脑公司装运工的疏忽，实际装运了21台电

分类：数据库题型：单选题