没有合适的资源?快使用搜索试试~ 我知道了~
首页函数依赖与模式分解 讲解
函数依赖与模式分解 讲解
需积分: 11 212 浏览量
更新于2023-03-16
评论
收藏 111KB DOC 举报
函数依赖与模式分解 讲解函数依赖与模式分解 讲解函数依赖与模式分解 讲解函数依赖与模式分解 讲解
资源详情
资源评论
资源推荐

5.3 数据依赖的公理系统
定义 5.11 F 逻辑蕴含 X→Y
对于关系模式 R〈U,F〉,其任
何一个具体关系 r,若函数依赖
X→Y 都成立(即 r 中任意两元组
s,t,若 t[X]=s[X],则
t[Y]=s[Y]),则称函数依赖集
F
逻辑蕴含
X→Y
Armstrong 公理系统
o A1 自反律
若 YXU,则 X→Y 为 F 所
蕴含(平凡的函数依赖天然成
立)

证明:
t,s∈r∈R〈U,F〉,YX
U
若 t[X]=s[X] ∵YX
∴t[Y]=s[Y]
∴X→Y
o A2 增广律
若 X→Y 为 F 所蕴含,且
ZU,则 XZ→YZ 为 F 所蕴含
证明:
t,s∈r∈R〈U,F〉
若 t[XZ]=s[XZ] 则有:
t[X]=s[X]且 t[Z]=s[Z]

又∵X→Y ∴t[Y]=s[Y]
∴t[YZ]=s[YZ]
∴XZ→YZ
o A3 传递律
如 X→Y 及 Y→Z 为 F 所蕴含,
则 X→Z 为 F 所蕴含
证明:
t,s∈r∈R〈U,F〉
若 t[X]=s[X] ∵X→Y
∴t[Y]=s[Y]
又∵Y→Z ∴t[Z]=s[Z]
∴X→Z
定理 5.1

Armstrong 推理规则是正确的
Armstrong 公理的推论
1. 合并规则
X→Y,X→Z X→YZ
2. 分解规则
X→W,ZW X→Z
3. 伪传递规则
X→Y,WY→Z XW→Z
引理 5.1
X→A
1
A
2
…A
k
成立的充分必要条件
是 X→A
i
成立(i=1,2,…k)

定义 5.12 函数依赖集 F 的
闭包
在关系模式 R〈U,F〉中为 F 所
逻辑蕴含的函数依赖的全体叫做 F
的闭包,记作 F
+
Armstrong 公理的有效性
和完备性
o 有效性
由 F 出发根据 Armstrong 公
理推导出来的每个函数依赖一
定在 F
+
中
o 完备性
剩余38页未读,继续阅读


















安全验证
文档复制为VIP权益,开通VIP直接复制

评论0