2022年软件设计师考试知识点（二十九）：规范化理论

　　为帮助考生备考2022年软考中级软件设计师考试，课课家小编为大家整理了2022年软件设计师考试知识点(二十九)：规范化理论。

　　很多考生在备考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、掌握关系分解后，对无损分解、保持函数依赖的判断。

　　>>>>>>点击进入软考报名专题

　　相关推荐：2022年软件设计师考试知识点汇总