开卷题库
所有考题
计算机类
前端开发
HTML/HTML5
CSS/CSS3
Vue.js
React.js
Node.js
Bootstrap
Javascript
TypeScript
后端开发
Java
Python
PHP
Go
C
C++
C#
移动开发
Android
iOS
React Native
Flutter
运维 & 测试
运维
Linux
软件测试
数据库
MySQL
Redis
MongoDB
Oracle
云计算 & 大数据 & 机器学习
大数据
Hadoop
Spark
HBase
Storm
机器学习
ElasticSearch
Docker
Hive
HDFS
计算机等级考试
计算机四级
算法 & 数学
算法 & 数据结构
协议
前沿技术
区块链
软考
软考初级
软考中级
软考高级
人工智能
深度学习
PMI
PMP
ACP
厂商认证
华为认证
思科认证
红帽认证
微软认证
H3C认证
OCP认证
安全
网络安全
信息安全等级保护
建筑类
一级建造师执业资格
市政公用工程
一建建设工程项目管理
一建建设工程经济
一建机电工程
一建公路工程
一建市政公用工程
一建铁路工程
一建水利水电工程
一建通信与广电
一建民航机场工程
一建矿业工程
一建港口与航道工程
二级建造师
二建建设工程施工管理
二建建设工程法规
二建建筑工程管理与实务
二建公路工程管理与实务
其他
B 站 (bilibili)
bilibili 大会员
心理学
行为心理学
人力资源
四级人力资源
四级理论知识
三级人力资源
三级理论知识
二级人力资源
二级理论知识
一级人力资源
一级理论知识
职业考试
教师资格证
财务会计
会计
中级会计
初级会计
会计电算化
会计电算化(中级)
NIT 财税知识
财税知识基础应用
财税知识综合应用
CPA 注册会计师
财务成本管理
财务报表分析
教师资格证考试
小学教师资格考题
小学综合素质
教育教学知识与能力
小学教育心理学
小学教育学
中学教师资格
中学综合素质
教育知识与能力
初中语文学科
初中数学学科
注册安全工程师
中级注册安全工程师
试卷
讨论区
IT 问答
课程返现
登录
注册
全部试题
软考初级
给定关系模式 R<U,F>;其中 U 为属性集,F 是 U 上的一组函数依赖,那么 Armstroog 公理系统的增广律是指( )。
1304
次浏览
A、若 X→Y,X→Z,则 X→YZ 为 F 所蕴涵
B、若 X→Y,WY→Z,则 XW→Z 为 F 所蕴涵
C、若 X→Y,Y→Z 为 F 所蕴涵,则 X→Z 为 F 所蕴涵
D、若 X→Y,为 F 所蕴涵,且 Z?U,则入 XZ→YZ 为 F 所蕴涵
小开
答案解析
从已知的一些函数依赖,可以推导出另外一些函数依赖,这就需要一系列推理规则。函数依赖的推理规则最早出现在1974年W.W.Armstrong 的论文里,这些规则常被称作“Armstrong 公理”设U 是关系模式R 的属性集,F 是R 上成立的只涉及U 中属性的函数依赖集。函数依赖的推理规则有以下三条:自反律:若属性集Y 包含于属性集X,属性集X 包含于U,则X→Y 在R 上成立。(此处X→Y是平凡函数依赖)增广律:若X→Y 在R 上成立,且属性集Z 包含于属性集U,则XZ→YZ 在R 上成立。传递律:若X→Y 和 Y→Z在R 上成立,则X →Z 在R 上成立。其他的所有函数依赖的推理规则可以使用这三条规则推导出。
mshare
挑战成功
若 X→Y,为 F 所蕴涵,且 Z?U,则入 XZ→YZ 为 F 所蕴涵
2年前
mshare
挑战失败
若 X→Y,Y→Z 为 F 所蕴涵,则 X→Z 为 F 所蕴涵
2年前
mshare
挑战失败
若 X→Y,WY→Z,则 XW→Z 为 F 所蕴涵
2年前
mshare
挑战失败
若 X→Y,X→Z,则 X→YZ 为 F 所蕴涵
2年前
选项 A
选项 B
选项 C
选项 D
提交答案
相似测试题
主机host1对host2进行域名查询...
某计算机系统中的进程管理采用...
假设磁盘块与缓冲区大小相同,...
为了保证数据库的完整性(正确...
CPU在执行指令的过程中,会自...
某系统磁盘数据块的大小为 102...
由字符a、b构成的字符串中,若...
在著作权法中,计算机软件著作...
假设磁盘块与缓冲区大小相同,...
若在单向链表上,除访问链表中...
微信公众号
微信公众号:
geekdaxue