I.若YX,则X→Y
II.若X→Y,则XZ→YZ
III. 若X→Y,且ZY,则X→Z
IV.若X→Y,且Y→Z,则X→Z
V.若X→Y,且X→Z,则X→YZ
A.仅I和III
B.仅III和V
C.仅II和IV
D.仅IV和V
[单选题]下列哪一条不属于Armstrong公理系统中的基本推理规则?A.若Y∈x,则X→YB.若x→Y,则XZ→YZC.若x→Y,且z∈Y,则X→zD.若x→Y,且Y→Z,则x→z
[试题]A.rmstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴含,且 ,则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。
[试题]A.rmstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZíU,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作( )
[试题]A.rmstrong公理系统的三条推理规则是自反律、__________、增广律。
[试题]A.rmstrong公理系统的三条推理规则是自反律、传递律和__________ 。
[试题]( 17 ) Armstrong 公理系统的三条推理规则是自反律、增广律和 ( 17 ) 。
[单选题]下面关于函数依赖的叙述中,( )是Armstrong公理系统中的推理规则。
[试题](17)Annstrong公理系统的3条推理规则是___________、增广律和传递律。
[单选题]下列关于Armstrong公理系统的叙述中,错误的是______。A.Armstrong公理系统有效性是指,从函数依赖集F出发,根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中B.Armstrong公理系统完备性是指,F+中的每一个函数依赖必定可以由F出发,根据Armstrong公理推导出来C.通常把自反律、传递律和增广律统称为Armstrong公理系统D.Armstrong公理系统中的传递律就是传递函数依赖
[单选题]设F是属性组U上的一组函数依赖,下列哪一条属于Armstrong公理系统中的基本推理规则?A.若X→Y及X→Z为F所逻辑蕴含,则X→YZ为F所逻辑蕴含B.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含C.若X→Y及WY→Z为F所逻辑蕴含,则XW→Z为F所逻辑蕴含D.若X→Y为F所逻辑蕴含,且ZY,则X→Z为F所逻辑蕴含