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

Armstrong公理系统中的增广律的含义是:设R<U,F>,是一个关系模式,X,Y是U中属性组,若x→Y为F所逻辑蕴含,且ZU,则()为F所逻辑蕴含。

查看本题答案

你可能感兴趣的试题

若A→B,B→C,则A→C  若YXU,则X→Y  若A→B,A→C,则A→BC  若A→B,CB,则A→C  
Armstrong公理系统有效性是指,从函数依赖集F出发,根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中  Armstrong公理系统完备性是指,F+中的每一个函数依赖必定可以由F出发,根据Armstrong公理推导出来  通常把自反律、传递律和增广律统称为Armstrong公理系统  Armstrong公理系统中的传递律就是传递函数依赖  

热门试题

更多