当前位置:首页 → 计算机类 → 软件水平考试 → 中级数据库系统工程师->给定关系模式R<U,F>,其中U为关系R属性集,F是U上一组
给定关系模式R<U,F>,其中U为关系R属性集,F是U上一组函数依赖,X、Y、Z、W是U上属性组。下列结论正确是( )。
函数依赖公理系统(Armstrong)设关系模式R<U , F> , U是关系模式R属性全集,F是关系模式R一个函数依赖集。对于R<U,F>来说有以下:自反律:若Y?X?U,则X→Y为F所逻辑蕴含增广律:若X→Y为F所逻辑蕴含,且Z?U,则XZ→YZ为F所逻辑蕴含传递律:若X→Y和Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含合并规则:若X→Y,X→Z,则X→YZ为F所蕴涵伪传递率:若X→Y,WY→Z,则XW→Z为F所蕴涵分解规则:若X→Y, Z?Y , 则X→Z为F所蕴涵









