第六章 关系数据理论

一、问题提出

讨论属性间的依赖关系集合
数据依赖
一个关系内部属性与属性之间的约束关系
依赖的类型
单一模式的问题

问题

解决方法

二、规范化
1、函数依赖
定义1

例如:学号–>确定姓名
一些术语


定义2 完全
子集不可以确定依赖,就是完全函数依赖

定义3 传递

定义4 候选码

定义5 外码

2、范式
范式是复合某一级别的关系模式的集合
1NF是最基本的

(1)1NF (不可再分)
如果一个关系模式R的所有属性都是不可分的基本数据项,就是1NF
(2)2NF

非主属性完全函数依赖于候选码