An Introduction to Database System
数据冗余、插 入、 删除和更新异常
TEACH(C,T,B)
课程C 教员T 物理 汪洋 物理 汪洋 物理 汪洋 物理 大海 物理 大海 物理 大海 数学 大海 数学 大海 数学 大海 数学 白云 数学 白云 数学 白云 …… …… 参考书B 普通物理学 光学原理 物理习题集 普通物理学 光学原理 物理习题集 数学分析 微分方程 高等代数 数学分析 微分方程 高等代数 ……
F={XA1, …… , XAn}的闭包F+计算是一个NP完全问题
An Introduction to Database System
3. 函数依赖闭包
定义6.13 设F为属性集U上的一组函数依赖,X U,
XF+ ={ A|X→A能由F 根据Armstrong公理导出}, XF+称为属性集X关于函数依赖集F 的闭包
函数依赖 多值依赖
数据依赖是现实世界属性间相互联系的抽象,属于数
据内在的性质
与现实语义有直接关系
An Introduction to Database System
关系模式规范化的基本步骤 1NF 消除决 定因素 非码的 非平凡 函数依 赖
消除非主属性对码的部分函数依赖 2NF 消除非主属性对码的传递函数依赖 3NF
6.3 数据依赖的公理系统
一、Armstrong公理系统
函数依赖的全体 模式分解算法的理论基础
从已知的一些函数依赖,推导另外一些函数依赖,需要一系列推理规则。 函数依赖的推理规则最早出现在 1974 年 W.W.Armstrong 的论文里,这些 规则常被称作“Armstrong 公理”
问题:对于给定的一组函数依赖,如何判断其它函数依赖 是否成立?或者说哪些函数依赖是不独立的? 如: 已知:对关系模式R有:AB,BC。 问:AC是否成立?