Armstrong公理系统包括6个推理规则,下面哪一条是对伪传递规则的描述?()A.若X→Y及Y→Z为F所逻辑蕴
Armstrong公理系统包括6个推理规则,下面哪一条是对伪传递规则的描述? ()
A.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
B.由X→Y及ZY,有X→Z
C.由X→Y,WY→Z,有XW→Z
D.由X→Y,X→Z,有X→YZ
Armstrong公理系统包括6个推理规则,下面哪一条是对伪传递规则的描述? ()
A.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
B.由X→Y及ZY,有X→Z
C.由X→Y,WY→Z,有XW→Z
D.由X→Y,X→Z,有X→YZ
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴含,且 ,则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。
下列哪些条不属于Armstrong公理系统中的基本推理规则?
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
A.若X→Y及X→Z为F所逻辑蕴含,则X→YZ为F所逻辑蕴含
B.若YXU,则X→Y
C.若X→Y为F所逻辑蕴含,且ZU,则XZ→YZ为F所逻辑蕴含
D.若X→Y及Y+Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含
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所逻辑蕴含
下列关于Armstrong公理系统的叙述中,错误的是______。
A.Armstrong公理系统有效性是指,从函数依赖集F出发,根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中
B.Armstrong公理系统完备性是指,F+中的每一个函数依赖必定可以由F出发,根据Armstrong公理推导出来
C.通常把自反律、传递律和增广律统称为Armstrong公理系统
D.Armstrong公理系统中的传递律就是传递函数依赖