文档详情

第02章节关系数据库理论基础.ppt

发布:2017-04-06约1.16万字共41页下载文档
文本预览下载声明
第2章 关系数据库理论基础 本章重点内容 关系的数学定义和性质 关系模式的完整性约束条件 关系代数 关系的规范化原则,范式的基本概念和分解方法 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2.1 关系的基本概念 2.1.1 关系的数学定义 1.域(Domain) 域:是一组具有相同数据类型的值集合。例如:{自然数},{男,女},{0,1}等都可以是域。 基数:域中数据的个数称为域的基数。 域被命名后用如下方法表示: D1 = {白亚春,陈韬,王雪莲},表示姓名的集合,基数是3; D2 = {计算机系,电子系} Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2.笛卡尔积(Cartesian Product) 给定一组域D1,D2,…,Di,…,Dn(可以有相同的域),则笛卡尔积定义为: D1D2…Di…Dn = {(d1,d2,…,di,…,dn)∣di∈Di,i = 1,2,…,n} D1D2 = {(陈韬,计算机系),(陈韬,电子系),(王雪莲,计算机系),(王雪莲,电子系),(白亚春,计算机系),(白亚春,电子系)} 其中每个(d1,d2,…,di,…,dn)叫做元组,元组中的每一个值di叫做分量,di必须是Di中的一个值。 显然,笛卡尔积的基数就是构成该积所有域的基数累乘积,若Di(i = 1,2,…,n)为有限集合,其基数为mi(i = 1,2,…,n),则D1D2…Di…Dn笛卡尔积的基数M为: Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 该笛卡尔积的基数是M = m1m2 = 3*2 = 6,即该笛卡尔积共有6个元组,它可组成一张二维表 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.关系(Relation) 关系:笛卡尔积D1D2…Di…Dn的子集R称作在域D1,D2,…,Dn上的关系,记作: R(D1,D2,…,Di,…,Dn) 其中:R为关系名,n为关系的度或目(Degree),Di是域组中的第i个域名. 当n = 1 时,称该关系为单元关系; 当n = 2 时,称该关系为二元关系; 以此类推,关系中有n个域,称该关系为n元关系。 把列称为属性(Attribute)。一般来说,一个取自笛卡尔积的子集才有意义。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关系可以分为三种类型: 基本关系(又称基本表):是实际存在的表,它是实际存储数据的逻辑表示; 查询表:是对基本表进行查询后得到的结果表; 视图表:是由基本表或其它视图导出的表,是一个虚表,不对应实际存储的数据。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2.1.2 关系的性质 1.列是同质的。 2.关系中行的顺序、列的顺序可以任意互换,不会改变关系的意义。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.关系中的任意两个元组不能相同。 4、关系中的元组分量具有原子性,即每一个分量都必须是不可分的数据项。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty
显示全部
相似文档