早教吧 育儿知识 作业答案 考试题库 百科 知识分享
早教吧考试题库频道 --> 计算机类考试 -->计算机三级 -->

设F是属性组U上的一组函数依赖,下列( )属于Armstrong公理系统中的基本推理规则。A)若X→Y及X→Z为F

题目

设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所逻辑蕴含

参考答案
正确答案:B
Armstrong公理系统中的基本推理规则如下: