更多"设F是属性组U上的一组函数依赖，下列叙述正确的是"的相关试题:
[单项选择]设F是属性组U上的一组函数依赖，下列叙述正确的是
A. 若Y
B. 若X
C. 若X→Y为F所逻辑蕴含，且Z
D. 若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含
[单项选择]设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所逻辑蕴含，且Z[*]Y，则X→Z为F所逻辑蕴含
[单项选择]设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所逻辑蕴含，且Z∈Y，则X→Z为F所逻辑蕴含
[单项选择]关系模式CSZ（CITY，ST，ZIP）其属性组上的函数依赖集为F=（CITY，ST）→ZIP，ZIP→CITY，关系模式CSZ的主属性是（）。
A. ZIP
B. CITY，ST，ZIP
C. CITY，ZIP
D. ST，ZIP
[单项选择]关系模式CSZ(CITY，ST，ZIP)其属性组上的函数依赖集为F=(CITY，ST)+ZIP， ZIP→CITY，关系模式CSZ的主属性是
A. ZIP
B. CITY，ST，ZIP
C. CITY，ZIP
D. ST，ZIP
[单项选择]关系模式CSZ(CITY，ST，ZIP)其属性组上的函数依赖集为F＝(CITY，ST)→ZIP， P→CITY，关系模式CSZ的主属性是
A. ZIP
B. CITY，ST，ZIP
C. CITY，ZIP
D. ST，ZIP
