系统架构设计师考试大纲

系统架构设计师考试  系统架构师考试培训

2.3.3 规范化理论

关系模式划分存储异常问题包括（1）数据冗余；（2）修改异常；（3）插入异常；（4）删除异常。

1、函数依赖：设R（U）是属性U上的一个关系模式，X和Y是U的子集，r是R的任一关系，如果对于r中的任意两个元组u,v,只要有u[X]=v[X],就有u[Y]=v[Y],则称为X函数决定Y,或称Y函数依赖于X,记为XàY.

2、完全函数依赖、部分函数依赖、传递函数依赖。

3、六条函数依赖推理规则：自反性、增广性、并规则、分解规则、伪传递规则。

4、闭包：在关系模式R（U,F）中为F所逻辑蕴含的函数依赖全体叫做F的闭包F+

5、设F为属性集U上的一组函数依赖，X是U的子集，那么相对于F属性集X的闭包用X+表示，是一个从F集使用推理规则推出的所有满足XàA的属性A的集合X+={属性A|XàA 在F+中}

6、如果函数依赖集满足下列条件，则称F为一个极小函数依赖集，也称为最小依赖集或最小覆盖：

（1）F中任一函数依赖的右部仅含有一个属性；

（2）F中不存在这样的函数依赖XàA,使得F与F-{XàA}等价

（3）F中不存在这样的函数依赖XàA,X有真子集Z使得F-{XàA}U{ZàA}与F等价。

7、范式

（1）INF:如果关系模式R的每个关系r的属性值都是不可分的原子值。

（2）2NF:如果关系模式R是1NF,且每个非主属性完全函数依赖于候选键

（3）3NF:如果关系模式R是1NF,且每个非主属性都不传递依赖于R的候选码

（4）BCNF:如果关系模式R是1NF,且每个属性都不传递依赖于R的候选键。

8、关系模式分解

R分解成数据库模式&={R1,R2,……，Rk},如果对R中每一个满足F的关系r都有以下成立：

r=$R1（r）<><>$R2（r）<><>……<><>$Rk（r）

那么称分解&相对于F是无损联接分解，否则称为损失联接分解。

9、无损联接分解判定定理：

设p={R1,R2}是R的一个分解，F是R上的FD集，那么分解p相对于F是无损分解的充分必要条件是（R1∩R2）à（R1-R2）或（R1∩R2）à（ R2- R1）。这两个条件只要有任意一个条件成立就可以。

2.4数据库的控制功能

DBMS运行的基本工作单位是事务，事务是用户定义的一个数据库操作序列，是一个不可分割的工作单位。

事务具有以下特性（ACID特性）：原子性、一致性、隔离性和持续性。

返回目录：软考系统架构师复习提纲汇总

编辑推荐：

2013年软考系统架构设计师考前复习笔记

系统架构师学习笔记汇总