给定关系模式R<U,F>,其中U为属性集,F是U上的一组函数依赖,那么Armst

免费题库2022-08-02  50

问题 给定关系模式R<U,F>,其中U为属性集,F是U上的一组函数依赖,那么Armstrong公理系统的增广律是指(  )。A.若X→Y,X→Z,则X→YZ为F所蕴涵B.若X→Y,WY→Z,则XW→Z为F所蕴涵C.若X→Y,Y→Z为F所蕴涵,则X→Z为F所蕴涵D.若X→Y为F所蕴涵,且ZU,则XZ→YZ为F所蕴涵

选项 A.若X→Y,X→Z,则X→YZ为F所蕴涵
B.若X→Y,WY→Z,则XW→Z为F所蕴涵
C.若X→Y,Y→Z为F所蕴涵,则X→Z为F所蕴涵
D.若X→Y为F所蕴涵,且ZU,则XZ→YZ为F所蕴涵

答案 D

解析 关系模式R<U,F>来说有以下的推理规则:
A1.自反律(Reflexivity):若Y X U,则X→Y成立。
A2.增广律(Augmentation):若Z U且X→Y,则XZ→YZ成立。
A3.传递律(Transitivity):若X→Y且Y→Z,则X→Z成立。
转载请注明原文地址:https://tihaiku.com/congyezige/2401258.html

最新回复(0)