当前位置:首页 → 计算机类 → 软件水平考试 → 中级数据库系统工程师->给定关系模式R<U,F>,其中属性集U={A,B,C,D,E
给定关系模式R<U,F>,其中属性集U={A,B,C,D,E,G,H}函数依赖集F={A→B,AE→H,BG→DC,E→C,H→E},下列函数依赖不成立是( )
由于A→B,在加上A自身函数决定A,利用合并率,得出A→AB;由于H→E,E→C,利用传递率,得出H→C;由于E→C,利用增广率和分解率,得出ABE→C;函数依赖公理系统(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所蕴涵









