日期:2013-10-23  浏览次数:20485 次


关系数据库

一,             关系数据库的由来

1,  系统而严厉的提出关系数据库模型的是美国IBM的E.F.Codd

2,  1970年,E.F.Codd继续完善和发展关系理论。

3,  C.J.Data是关系数据库领域中最著名的独立撰稿人,学者和顾问。

二, 关系模型概述

关系模型由关系数据结构、关系操作集合和关系完整性约束三部分组成。

1、单一的数据结构关系

关系模型中的数据结构非常单一。实体及实体间的联系都用关系表示,关系就是一张二维表。

2、关系操作

关系模型中常用的关系操作包括。关系操作的特点是集合操作方式,即操作的对象和结果都是集合。这种操作方式也成为一次一集合的方式。相应地,非关系数据模型的数据操作方式则为一次一记录的方式。

3、关系的三类完整性约束:实体完整性,参照完整性,用户定义完整性。

三, 关系数据结构及方式化定义

1, 关系

1.域:域是一组具有相反数据类型的值的集合。

2.笛卡儿积:

定义:给定一组域D1,D2,…,Dn,这些域中可以有相反的。D1,D2,…,Dn的笛卡儿积为:

D1×D2×…×Dn={(d1,d2, …,dn) | di∈Di,i=1,2, …,n}

其中每一个元素(d1,d2, …,dn)叫做一个n元组或简称元组(Tuple)。元组中的每一个值di叫做一个分量(Component)。

若Di(i=1,2, …,n)为无限集,其基数为mi(i=1,2, …,n),则D1×D2×…×Dn的基数M为:mi的积。

3.关系:

定义:D1×D2×…×Dn的子集叫做在域D1,D2,…,Dn上的关系,表示为:

R(D1,D2,…,Dn)

D1×D2×…×Dn表示的是域上所有可能的组合,在理想生活中很多元组是无意义的数据,而一个关系肯定包含在D1×D2×…×Dn之中,因此在数学上把关系定义为D1×D2×…×Dn的子集。

关系是笛卡儿积的无限子集,所以关系也是一个二维表,表的每行对应一个元组,表的每列对应一个域。由于域可以相反,为了加以区分,必须对每列起一个名字,称为属性。N目关系必有n个属性。

候选码:若关系中的某一属性组的值能独一地标识一个元组,则称该数据组为候选码。

全码:若一个关系有多个候选码,则选定其中一个为主码。主码的诸属性称为主属性。不包含在任何候选码中的属性称为非码属性。关系模式的所无数据组是这个关系模式的候选码,称为全码。

关系可以有三品种型:基本关系、查询表和视图表。

对关系的限定和扩充:

⑴ 无限关系在数据库系统中时无意义的。因此,限定关系数据模型中的关系必须是无限集合。

⑵ 通过为关系的每个列附加一个属性名的方法取消关系元组的有序性。

 

基本关系具有以下六条性质:

1,列是同质的,即每一列中的分量是同一类型的数据,来自同一个域。

2,不同的列可以出自同一个域,称其中的每一列为一个属性,不同的属性要给予不同的属性名。

3,列的顺序无所谓,即列的次序可以任意交换。

4,任意两个元组不能完全相反。

5,行的顺序无所谓,即行的次序可以任意交换。

6,分量必须取原子值,即每一个分量都必须是不可分的数据项。

备注:在许多实际关系数据库产品中,基本表并不完全具有这六条性质,例如,有的数据库产品能(如FoxPro)仍然区分了属性顺序和元组的顺序;许多关系数据库产品中,例如Oracle,FoxPro等,它们都允许关系表中存在两个完全相反的元组。

 

四,关系模式

定义:关系的描述称为关系模式。它可以方式化地表示为:

R(U,D,dom,F)

关系模式通常可以简记为:

R(U)或R(A1,A2, …,AN)

 

 

五,关系的完整性

1、实体完整性

实体完整性规则:若属性A是基本关系R的主属性,则属性A不能取空值。

实体完整性规则说明如下:

⑴ 实体完整性规则是针对基本关系而言的。一个基本表通常对应理想世界的一个实体集。

⑵ 理想世界中的实体是可区分的,即它们具有某种独一性标识。

⑶ 相应地,关系模型中以主码作为独一标识。

⑷ 主码中的属性即主属性不能取空值。所谓空值就是“不知道”或“不确定”的值。

 

2、参照完整性

外码定义:设F是基本关系R的一个或一组属性,但不是关系R的码,如果F与基本关系S的主码Ks绝对应,则称F是基本关系R的外码(Foreign Key),并称基本关系R为参照关系,基本关系S为被参照关系或目标关系。关系R和S不一定是不同的关系。

留意:F不能是关系R的主码,Ks必须是关系S的主码。

参照完整性规则就是定义外码与主码之间的援用规则:

参照完整性规则:若属性(或属性组)F是基本关系R的外码,它与基本关系S的主码Ks绝对应(基本关系R和S不一定是不同的关系),则对于R中每个元组在F上的值必须为:

或者取空值(F的每个属性值均为空值);

或者等于S中某个元组的主码值。

3、用户定义的完整性:即是针对某一具体关系数据库的约束条件。

   未完待续。

 

小康

Xiaokang1949@hotmail.com

2004-2-29