数据库系统概论：第六章关系数据库理论

红太狼 2022-04-11 04:46 318阅读 0赞

关系型数据库中已经讲到，一个关系模型应当是一个五元组。  
R(U,D,DOM,F)  
这里：

*  关系名R是符号化的元组定义。
 *  U为一组属性。
 *  D为属性组U中的属性所来自的域。
 *  DOM为属性到域的映射。
 *  F为属性组U上的一组数据依赖。

数据依赖是一个关系内部属性和属性之间的一种约束关系。这种约束关系是通过属性间值的相等与否体现出来的数据间相关的联系。

数据依赖其中最重要的是函数依赖（FD）和多值依赖（MVD）。

# 6.2 规范化 #

# 6.2.1 函数依赖 #

![在这里插入图片描述][20181204214858516.png]

*  非平凡函数依赖：X→Y，但Y不是X的子集，一般讨论的都是这个
 *  平凡函数依赖：X→Y，且Y是X的子集

完全函数依赖和部分函数依赖：  
![在这里插入图片描述][20181204214905763.png]

传递函数依赖：

![在这里插入图片描述][20181204214911292.png]

## 6.2.2 码 ##

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMTI1MTgz_size_16_color_FFFFFF_t_70]

**定义6.5**：关系模式R中属性或属性X并非R的码，但X是另一个关系模式的码，则称X是R的外部码，也成为外码。

## 6.2.3 范式 ##

评价关系数据库好坏的标准，通常情况下，范式越高越好

规范化：一个低一级的关系模式通过模式分解可以转换为若干个高一级范式的关系模式的集合。

### 1NF ###

作为一个二维表，关系要符合一个最基本的条件：每一个分量必须是不可分的数据项，满足了这个条件的关系模式就属于第一范式1NF。

## 6.2.4 2NF ##

![在这里插入图片描述][20181204214924160.png]

## 6.2.5 3NF ##

![在这里插入图片描述][20181204214930644.png]

## 6.2.6 BCNF ##

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMTI1MTgz_size_16_color_FFFFFF_t_70 1]

## 6.2.8 4NF ##

![在这里插入图片描述][20181204214942150.png]

## 6.2.9 规范化总结 ##

规范化的基本思想是逐步消除数据依赖中不合适的部分，使模式中的各个关系模式达到某种程度的“分离”，即“一事一地”的模式设计原则。让一个关系描述一个概念、一个实体或则一个实体之间的联系。若多于一个概念就把它”分离“出去。因此所谓规范化实质上是概念的单一化。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMTI1MTgz_size_16_color_FFFFFF_t_70 2]

[20181204214858516.png]: /images/20220411/699b812cc7d54bcfbd07ea5bc607e9a2.png
[20181204214905763.png]: /images/20220411/83e469c17ebd435685b37802e31439da.png
[20181204214911292.png]: /images/20220411/82e0d150c8d74f599eb01b718920524f.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMTI1MTgz_size_16_color_FFFFFF_t_70]: /images/20220411/069a5600cff84eb39ac48896b0482b26.png
[20181204214924160.png]: /images/20220411/9f816e3e02594055bf402a05e78cab93.png
[20181204214930644.png]: /images/20220411/d7ad2e1613c94ab992b885e426c08102.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMTI1MTgz_size_16_color_FFFFFF_t_70 1]: /images/20220411/fd396b04326c4861a5dbf5ee1f9cfc65.png
[20181204214942150.png]: /images/20220411/b9c70fd6bcaa41729f39a13978f315ac.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMTI1MTgz_size_16_color_FFFFFF_t_70 2]: /images/20220411/b9f62516d8fd47bb95702398115c84c5.png