2022下半年软件设计师知识点：规范化理论

为帮助考生备考软考软件设计师考试，希赛小编为大家整理了2022下半年软件设计师知识点：规范化理论，相信对大家备考会有帮助。

规范化理论（★★★★★）

【考法分析】

本知识点主要的考查形式是找出某些关系中的主键、外键，判断某些关系模式的规范化程度，有时会在下午题中出现相关的提问，涉及到概念的考查。

【要点分析】

1、候选键（候选码）是能够标示元组却无冗余的属性组合，可以有多种不同的候选键，在其中任选一个作为主键。候选键的求取可以利用图示法找入度为0的属性集合，并在此基础上进行扩展，最终找到能够遍历全图的最小属性组合作为候选键，对于入度为0在关系依赖集中可以理解为从未在箭线右侧出现。

2、组成候选码的属性就是主属性，其他为非主属性。

3、外键是其他关系模式的主键。

4、范式：规范化过程是为了解决数据冗余、删除异常、插入异常、更新异常等问题。

（1）第一范式（1NF）：在关系模式R中，当且仅当所有域只包含原子值，即每个属性都是不可再分的数据项，则称关系模式R是第一范式。

（2）第二范式（2NF）：当且仅当关系模式R是第一范式（1NF），且每一个非主属性完全依赖候选键（没有不完全依赖）时，则称关系模式R是第二范式。

（3）第三范式（3NF）：当且仅当关系模式R是第二范式（2NF），且R中没有非主属性传递依赖于候选键时，则称关系模式R是第三范式。

（4）BC范式（BCNF）：设R是一个关系模式，F是它的依赖集，R属于BCNF当且仅当其F中每个依赖的决定因素必定包含R的某个候选码。

规范化过程如下图所示：

5、规范化过程：分解关系模式。

（1）保持函数依赖：设数据库模式ρ={R1，R2，…，Rk}是关系模式R的一个分解，F是R上的函数依赖集，ρ中每个模式Ri上的FD集是Fi。如果{F1，F2，…，Fk}与F是等价的（即相互逻辑蕴涵），那么称分解ρ保持FD。

（2）无损联接分解：指将一个关系模式分解成若干个关系模式后，通过自然联接和投影等运算仍能还原到原来的关系模式。（表格法，公式法-仅限分解为2个子关系）

【备考点拨】

1、掌握候选键、主键、外键的求取；

2、掌握规范化理论相关的概念和规范化过程；

3、掌握关系分解后，对无损分解、保持函数依赖的判断。