2. 由关系R出发根据Armstrong公理系统推导出来的每一个函数依赖，一定是R所逻辑蕴含的函数依赖，称之为Armstrong公理系统的__________性；对于R所逻辑蕴含的每一个函数依赖，必定可以由R出发根据Armstrong公理系统推导出来称之为Armstrong公理系统的__________性。

A.X->YZ

B.Y->Z

C.YZ->X

D.Z->Y

A.AB→C

B.AB→D

C.AB→E

D.AB→F

A.AB→C

B.AB→D

C.AB→E

D.AB→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所逻辑蕴含，且Z[*]Y，则X→Z为F所逻辑蕴含

A.完全函数依赖

B.完全函数依赖

C.传递函数依赖

D.多值函数依赖

A.候选码

B.超码

C.主码

D.外码

A.保持函数依赖

B.丢失了B→C

C.丢失了C→A

D.是否保持函数依赖由R的当前值确定