当前位置: X题卡 > 所有题目 > 题目详情

设F是属性组U上的一组函数依赖,以下( )属于Armstrong公理系统中的基本推理规则。

查看本题答案

你可能感兴趣的试题

若X→Y及X→Z为F所逻辑蕴含,则X→YZ为F所逻辑蕴含  若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含  若X→Y及WY→Z为F所逻辑蕴含,则XW→Z为F所逻辑蕴含  若X→Y为F所逻辑蕴含,且Z[*]Y,则X→Z为F所逻辑蕴含  
Y→Z成立,则X→Z  X→Z成立,则X→YZ  ZU成立,则X→YZ  WY→Z成立,则XW→Z  
若A→B,B→C,则A→C  若YXU,则X→Y  若A→B,A→C,则A→BC  若A→B,CB,则A→C  
若X→Y及X→Z为F所逻辑蕴含,则X→YZ为F所逻辑蕴含  若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含  若X→Y及WY→Z为F所逻辑蕴含,则XW→Z为F所逻辑蕴含  若X→Y为F所逻辑蕴含,且ZY,则X→Z为F所逻辑蕴含  
Y函数依赖于X  Y对X完全函数依赖  Y对X部分函数依赖  R属于2NF  
若X→Y及X→Z为F所逻辑蕴含,则X→YZ为F所逻辑蕴含  若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含  若X→Y及WY→Z为F所逻辑蕴含,则XW→Z为F所逻辑蕴含  若X→Y为F所逻辑蕴含,且Z属于Y,则X→Z为F所逻辑蕴含  
若YXU,则X→Y为F所逻辑蕴含  若X→Y为F所逻辑蕴含,且ZU,则XZ→YZ为F所逻辑蕴含  若X→Y及X→Z为F所逻辑蕴含,则X→YZ为F所逻辑蕴含  若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含  
传递函数依赖  部分函数依赖和传递函数依赖  连接依赖  多值依赖  
Y→Z成立,则X→Z   X→Z成立,则X→YZ   ZU成立,则X→YZ   WY→Z成立,则XW→Z  
若Y  X,则X→Y为F所逻辑蕴含  若X  U,则X→Y为F所逻辑蕴含  若X→Y为F所逻辑蕴含,且Z  U,则X→YZ为F所逻辑蕴含  若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含  

热门试题

更多