数据库FD推理规则已知关系模式R（ABC），F＝｛A－＞B，B－＞C｝，求F＋根据FD的推理规则，可推出F的F＋有43个FD．怎么推理的？
更新时间： 2025-08-30 18:17:40
1人问答
问题描述：
数据库FD推理规则
已知关系模式R（ABC），F＝｛A－＞B，B－＞C｝，求F＋根据FD的推理规则，可推出F的F＋有43个FD．怎么推理的？
李域回答：
这个首先要知道什么是闭包，主要是根据armstrong公理能够推倒出的都算在闭包里。
比如AB->B,AC-B这些都算
Armstrong公理系统:设U为属性集总体,F是U上的一组函数依赖,于是有关系模式R,对R来说有以下的推理规则：
A1自反律:若Y（=X（=U,则X->Y为F所蕴含
A2增广律:若X->Y为F所蕴含,且Z(=U,则XZ->YZ为F所蕴含
A3传递律:若X->Y和Y->Z为F所蕴含,则X->Z为F所蕴含
定义2:F的闭包在关系模式R中为F所蕴含的函数依赖的全体,记作F+
其它推荐
其它推荐
最新更新
精品分类
优秀其它推荐
热门其它