【数据库课件】关系数据库.ppt

《【数据库课件】关系数据库.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、关系数据结构关系定义关系性质关系模式关系的完整性实体完整性参照完整性用户定义完整性关系代数关系数据库管理系统关系数据库第2章第2章2.1关系数据结构2.1.1关系⒈域（Domain）定义2.1域是一组具有相同数据类型的值的集合。笛卡尔积可表示为一个二维表.表中的每行对应一个元组,表中的每列对应一个域。m=∏mii=1n若Di（i＝1，2，…，n）为有限集，其基数（Cardinalnumber）为mi（i＝1，2，…，n），则D1×D2×…×Dn的基数为：其中每一个元素(d1，d2，…，dn)叫作一个n元组(n-Tuple),或简称为元组。元素中的每一个值di叫作一个分量（Com

2、ponent）。定义2.2给定一组域D1，D2，…，Dn，（允许部分或全部相同）。D1，D2，…，Dn的笛卡尔积为：D1×D2×…×Dn＝｛（d1，d2，…，dn）｜di∈Dj，j＝1，2，…，n}⒉笛卡尔积（CartesianProduct）基本概念笛卡尔积设有域D2={,,，}，则笛卡尔积D1×D2={（A，），（A，），（A，），（A，）............（k，），（k，），（k，），（k，）}D1={A,2,3,…,Q,k}，2.1关系数据结构2.1.1关系⒉笛卡尔积（CartesianProduct）PCK....AA花色牌值分量元组基数：13×4=522.1.

3、1关系3.关系(relation)定义2.3D1×D2×…×Dn的有意义的子集称为在域D1，D2,…,Dn上的关系，记为R(D1,D2,…,Dn)。其中：R为关系的名；n为关系的度（目）；r∈R表示r是R中的元组关系R中构成候选码的属性称为主属性。4.候选码(candidatekey):值能唯一标识一个元组的属性组，且不含多余属性，称该属性组为候选码。一个关系有多个候选码时，选定其中的一个作为主码。关系R的某一属性组X不是R的码，但是其他某一关系的码，称X为R的外部码。5.主码(primarykey)：6.外部码(foreignkey)：7.主属性(primeattribute

4、)：例：关系中的每一个属性值都必须是不能再分的元素。每一列中的数值是同类型的数据，来自同一个域。不同的列可对应于同一个域，但给予不同的属性名。同一关系中不允许有相同的记录。无重复行。行、列的次序可以任意交换，不影响关系的实际意义。关系性质2.1.1关系学生：S(S#,SNAME,SA,SD)课程：C(C#,CNAME,PC#)选课：SC(S#,C#,GR)S:候选码：S#,SNAME；主码：S#C:候选码：C#；主码：C#SC:候选码：(S#,C#)；主码：(S#,C#)；外部码：S#,C#2.1.2关系模式8.关系模式定义2.4对关系的描述称为关系模式，记为R(U，D，DOM

5、，F）；其中：R为关系名，U为属性集，D为U所对应的域的集合，DOM为属性向域的映象集合，F为属性间数据依赖关系的集合。●关系模式是型，是静态的、稳定的；●关系是关系模式的值是动态的，是随时间而变化的。S(S#,SNAME,SA,SD)关系模式通常简记为:R(U)2.1.3关系数据库在关系模型中，实体以及实体间的联系都是用关系来表示。在一个给定的现实世界领域中，相应于所有实体及实体之间的联系的关系的集合构成一个关系数据库。实体完整性2.2关系的完整性（EntityIntegrity）规则2.1若A是关系R（u）(A∈u)上的主属性，则属性A不能取空值。例：选课SC中的S#,C#

6、均不能取空值。例：职工EMP(EMP#,ENAME,JOB,DEPT#)部门DEPT(DEPT#,DNAME,LOC)则：EMP中的DEPT#为空或为DEPT中的DEPT#的值参照完整性（ReferentialIntegrity）规则2.2属性（属性组）X是关系R的外部码，Ks是关系S的主码，且X与Ks相对应（即X，Ks是定义在同一个（组）域上，则R中任一元组在X上的值为：X=空值或S中的某个元组的Ks值2.2关系的完整性（user-definedIntegrity）用户定义的完整性用户自定义完整性是针对某一具体数据的约束条件，反映某一具体应用所涉及的数据必须满足的语义要求，由

7、应用环境决定。例：属性的取值范围属性的非空限制2.3关系代数相关表述记号⒈设关系模式为R(A1,A2,…,An)。它的一个关系设为R。t∈R表示t是R的一个元组。t[Ai]则表示元组t中相应于属性Ai的一个分量。⒋给定一个关系R(X,Z)，X和Z为属性组。我们定义，当r[X]=x时，x在R中的象集（ImagesSet）为：Zx={r[Z]

8、r∈R,r[X]=x}它表示R中属性组X上值为x的诸元组在Z上分量的集合。⒉若A={Ai1,Ai2,…,Aik}，其中Ai1,Ai2,…,Aik是A1,A