6.04 Normal Norm of Relation 关系的规范化 260
260 1 §6.04 Normal Norm of Relation 关系的规范化
。First normal Form 定义：所有符合关系定义的关系， 都称为规 范关系，或称为第一范式。记为：1NF。 ● Second Form 定义：对于函数相关性X一Y,若存在X的真子 集X1,使X1一Y,称Y部分依赖X,否则称Y 全依赖X。 260 2
260 2 • First normal Form 定义：所有符合关系定义的关系 ，都称为规 范关系，或称为第一范式。记为：1NF。 • Second Form 定义：对于函数相关性X Y，若存在X的真子 集X1，使X1 Y，称Y部分依赖X，否则称Y 全依赖X
定义：如果关系R的所有非主属性都完全依赖于 的每一个候选关键字，则关系框架是二范式 的，记为：2NF。 ·3NF 定义：设有关系框架R,属性集U=A1,,AK的子 集X、Y、Z,如果X一Y,YX,Z-Y≠且 Y一Z,称Z传递依赖X。 定义：如果关系框架R的任何非属性都不传递、 依赖其任一个候选关键字，称其为是三范式的， 记为：3NF。 260
260 3 定义：如果关系R的所有非主属性都完全依赖于 R的每一个候选关键字，则关系框架是二范式 的，记为：2NF。 • 3NF 定义：设有关系框架R，属性集U=A1,…,AK的子 集X、Y、Z，如果X Y，Y X，Z-Y≠且 Y Z，称Z传递依赖X。 定义：如果关系框架R的任何非属性都不传递、 依赖其任一个候选关键字，称其为是三范式的， 记为：3NF