第6章 节 关系数据理论3 数据库系统概论-课件.ppt

文档介绍：数据库系统概论
An Introduction to Database System
第六章关系数据理论
复习:Armstrong公理系统
关系模式R <U,F >来说有以下的推理规则:
(Reflexivity):
若Y  X  U,则X →Y为F所蕴含。
(Augmentation):若X→Y为F所蕴含,且Z  U,则XZ→YZ为F所蕴含。
(Transitivity):若X→Y及Y→Z为F所蕴含,则X→Z为F所蕴含。
注意:由自反律所得到的函数依赖均是平凡的函数依赖,自反律的使用并不依赖于F
复习(续) 导出规则
,A2,A3这三条推理规则可以得到下面三条推理规则:
合并规则:由X→Y,X→Z,有X→YZ。
(A2, A3)
伪传递规则:由X→Y,WY→Z,有XW→Z。
(A2, A3)
分解规则:由X→Y及 ZY,有X→Z。
(A1, A3)
复习(续)导出规则
,
X→A1 A2…Ak成立的充分必要条件是X→Ai成立(i=l,2,…,k)。
复习(续)函数依赖闭包
在关系模式R<U,F>中为F所逻辑蕴含
的函数依赖的全体叫作 F的闭包,记为F+。
设F为属性集U上的一组函数依赖,X U, XF+ ={ A|X→A能由F 根据Armstrong公理导出},XF+称为属性集X关于函数依赖集F 的闭包
第六章关系数据理论
问题的提出
规范化
数据依赖的公理系统
* 模式的分解
小结
模式的分解
一、模式分解的概念
二、模式分解的特性
三、模式分解的算法
一、模式分解的概念
关系模式R<U,F>的一个分解:
ρ={ R1<U1,F1>,R2<U2,F2>,…,Rn<Un,Fn>}
U=U1∪U2∪…∪Un,且不存在 Ui  Uj,Fi 为 F在 Ui 上的投影
函数依赖集合{X→Y | X→Y  F+∧XY Ui} 的一个覆盖 Fi 叫作 F 在属性 Ui 上的投影