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

公理 · 发表于 2025-10-29 13:52:32

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

罂栗花。 · 发表于 2025-10-29 13:58:32

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

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

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

相关帖子

浏览过的版块