设F是属性组U上的一组函数依赖，下列哪一条不属于Armstrong公理系统中的基本推理规则

公理 · 发表于 3 小时前

设F是属性组U上的一组函数依赖，下列哪一条不属于Armstrong公理系统中的基本推理规则
A、若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含

B、若YXU，则X→Y

C、若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含

D、若X→Y及Y+Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含

叶明贤 · 发表于 2 小时前

正确答案：A
答案解析：暂无解析

		自动登录	找回密码
密码			立即注册

设F是属性组U上的一组函数依赖，下列哪一条不属于Armstrong公理系统中的基本推理规则

相关帖子