（17）Armstrong 公理系统中的增广律的含义是：设 R 是一个关系模式，X，Y 是U 中属性组，若 X→Y 为 F所逻辑蕴含，且 ZíU，则___________为 F 所逻辑蕴含。

[试题]（ 17 ） Armstrong 公理系统的三条推理规则是自反律、增广律和 ( 17 ) 。

[试题]A．rmstrong公理系统的三条推理规则是自反律、__________、增广律。

[试题]（17）Annstrong公理系统的3条推理规则是___________、增广律和传递律。

[单选题]下面哪一条是对Armstrong公理系统中合并律的描述?( )A．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含B．由X→Y及，有X→ZC．由X→Y，WY→Z，有XW→ZD．由X→Y，X→Z，有X→YZ

[试题]A．rmstrong公理系统的三条推理规则是自反律、传递律和__________ 。

[单选题]下列关于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所逻辑蕴含

[问答题] 设关系模式R(ABCD)，ρ＝{AB，BC，CD}是R的一个分解。设F1＝{A→B，B→C}，F2＝{B→C,C→D}。(1)如果F1是R上的FD集，此时ρ是否无损分解？(2)如果F2是R上的FD集呢？

[单选题]下面关于函数依赖的叙述中，（ ）是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所逻辑蕴含