数据库第六章总结

关系模式

一个关系模式应当是一个五元组
R(U,D,DOM,F)
这里：
·关系名R是符号化的元组语义
·U为一组属性
·D为属性组U种的属性所来自的域
·DOM为属性到域的映射
·F为属性组U上的数据依赖

规范化

先讨论一个关系属性间不同的依赖情况

1、函数依赖

定义：设R(U)是属性集U上的关系模式，X,Y是U子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称X函数确定Y或Y函数依赖于X，记作X→Y

函数依赖和别的数据依赖一样是语义范畴的概念，只能根据语义来确定一个函数依赖

注意：函数依赖不是指关系模式R的某个或某些关系满足的约束条件，而是指R的一切关系均要满足的约束条件

下面介绍一些术语和记号：
·X→Y,但Y⊈X，则称X→Y是非平凡的函数依赖
·X→Y,但Y⊆X，则称X→Y是平凡的函数依赖,对于任一关系模式，平凡函数依赖都是必然成立的，它不反映新的语句。若不特别声明，总是讨论非平凡的函数依赖
·若X→Y,则称这个函数依赖的决定属性组，也称为决定因素
·若X→Y，Y→X，则记住X←→Y
·若Y不函数依赖于X，则记作$X\nleftarrow$