文档介绍：关系模式及其运算基础第二章关系数据库*******@******@,他因此获得1981年的ACM图灵奖关系理论是建立在集合代数理论基础上的,有着坚实的数学基础早期代表系统SystemR:由IBM研制INGRES:由加州Berkeley分校研制目前主流的商业数据库系统Oracle,Informix,Sybase,SQLServer,ess,Foxpro,******@(Domain)一组值的集合,这组值具有相同的数据类型如整数的集合、字符串的集合、全体学生的集合笛卡尔积(CartesianProduct)一组域D1,D2,…,Dn的笛卡尔积为:D1×D2×…×Dn={(d1,d2,…,dn)|di∈Di,i=1,…,n}笛卡尔积的每个元素(d1,d2,…,dn)称作一个n-元组(n-tuple)ponent)******@:设 D1为教师集合(T)={t1,t2} D2为学生集合(S)={s1,s2,s3} D3为课程集合(C)={c1,c2}则D1×D2×D3是个三元组集合,元组个数为2×3×2,是所有可能的(教师,学生,课程)元组集合笛卡尔积可表为二维表的形式******@×D2×…×Dn的子集叫做在域D1,D2,…,Dn上的关系,用R(D1,D2,…,Dn)表示R是关系的名字,n是关系的度或目关系是笛卡尔积中有意义的子集关系也可以表示为二维表关系TEACH(T,S,C)元组属性******@,是同一类型的数据。如TEACH(T,S,C)={(t1,s1,c1),(t1,t2,c1)}是错误的不同的列可来自同一域,每列必须有不同的属性名如Person={t1,t2,s1,s2,s3},C={c1,c2},则TEACH关系中的T和S都从Person域中取值,但不能写成TEACH(P,P,C),还应写成TEACH(T,S,C)行的顺序无关紧要列的顺序无关紧要任意两个元组不能完全相同集合内不能有相同的两个元素每一分量必须是不可再分的数据满足这一条件的关系称作满足第一范式(1NF)的******@——关系实体集、联系都表示成关系学生课程选修属于系教师教授工作管理DEPT(D#,DN,DEAN)S(S#,SN,SEX,AGE,D#)C(C#,CN,PC#,CREDIT)SC(S#,C#,SCORE)PROF(P#,PN,D#,SAL)TEACH(P#,C#)******@(CandidateKey)关系中的一个属性组,其值能唯一标识一个元组。若从属性组中去掉任何一个属性,它就不具有这一性质了,这样的属性组称作候选码如DEPT中的D#,DN都可作为候选码任何一个候选码中的属性称作主属性如SC中的S#,C#主码(PrimaryKey)进行数据库设计时,从一个关系的多个候选码中选定一个作为主码如可选定D#作为DEPT的主码外部码(ForeignKey)关系R中的一个属性组,它不是R的码,但它与另一个关系S的码相对应,则称这个属性组为R的外部码如S关系中的D#属性******@,包括关系名、关系中的属性名、属性向域的映象、属性间的数据依赖关系等,记作R(A1,A2,…,An)属性向域的映象一般直接说明为属性的类型、长度等某一时刻对应某个关系模式的内容(元组的集合)称作关系关系模式是型,是稳定的关系是某一时刻的值,是随时间不断变化的******@hdu.