《关系代数语言》PPT课件.ppt

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

1、关系语言关系操作特点：操作对象和结果都是集合高度非过程化的语言，不必借助循环结构就可以完成数据操作，能嵌入高级语言中使用关系数据语言关系代数语言关系演算语言具有关系代数和关系演算双重特点的语言元组关系演算语言域关系演算语言例如ISBL例如APLHA,QUEL例如QBE例如SQL三种语言在表达能力上完全等价关系模型语言关系代数语言把关系当作集合，用集合运算和特殊的关系运算来表达查询要求和条件是一种抽象的查询语言关系演算语言用谓词来表达查询要求和条件谓词变元的基本对象可以是元组变量或域变量，故可分为元组关系演算和域关系演算两类是一种抽象的查询语言

2、SQL介于关系代数和关系演算之间集DDL、DML和DCL一身的关系数据语言关系数据库在给定应用领域中，所有表示实体及实体之间联系的关系的集合构成一个关系数据库关系数据库也有型和值之分思考：给出导师、学生、专业三个实体可能组成的关系数据库及其概念模型（E-R图）2.3关系的完整性实体完整性参照完整性用户定义完整性实体完整性和参照完整性是关系模型必须满足的，被称作关系的不变性，由关系数据库系统自动支持★实体完整性规则：若属性A是基本关系R的主属性，则属性A不能取空值说明：基本关系的主码中的任何属性都不能取空值，而不仅是主码整体不能取空值依据：现实

3、世界的实体是唯一可分的例：学生（学号，姓名，性别，专业号，年龄）课程（课程号，课程名，学分）选修（学号，课程号，成绩）例１：学生实体与专业实体间的关系：学生（学号，姓名，性别，专业号，年龄）专业（专业号，专业名）关系参照图外码参照关系被参照关系例２：学生，课程，学生与课程之间的多对多联系：学生（学号，姓名，性别，专业号，年龄）课程（课程号，课程名，学分）选修（学号，课程号，成绩）关系参照图被参照关系参照关系学生关系　　　　　　专业关系专业号学生关系　　　　选修关系　　　　　课程关系学号课程号参照完整性主码？外码？参照完整性定义：外码设F是参照

4、关系R的一个或一组属性，但不是R的码，若F与被参照关系S的主码相对应，则称F是R的外码（详细定义见教材P54）规则：参照关系R中每个元组在外码F上的值必须为：或者取空值（F的每个属性值均为空值）或者等于S中某个元组的主码值例３：学生（学号，姓名，性别，专业号，年龄，班长）参照关系被参照关系外码用户定义完整性用户定义的、具体应用中的数据必须满足的约束条件成绩：0－100之间身份证、身份证和生日对应关系2.4关系代数关系代数语言用传统的集合运算和专门的关系运算来表达查询的抽象语言关系代数运算符关系代数表达式关系代数中有限次运算复合后形成的式子运算

5、符含义运算符含义集合运算符并差交广义笛卡尔积比较运算符>>=<<==大于大于等于小于小于等于等于不等于专门的关系运算符选择投影连接除逻辑运算符非与或表示记号R，tR，t[Ai]，A，t[A]，A设关系模式为R(A1，A2，…，An)，它的一个关系设为RtR表示t是R的一个元组t[Ai]则表示元组t中相应于属性Ai的一个分量若A={Ai1，Ai2，…，Aik}，其中Ai1，Ai2，…，Aik是A1，A2，…，An中的一部分，则A称为属性列或域列t[A]=(t[Ai1]，t[Ai2]，…，t[Aik])表示元组t在属性列A上诸分量的集合A则表

6、示{A1，A2，…，An}中去掉{Ai1，Ai2，…，Aik}后剩余的属性组传统的集合运算若R和S是同类关系(即它们都具有n个属性且相应属性取自同一个域)，则可进行并、差、交运算。对两者进行集合运算之前，要对两者的属性列进行排序，保证两个关系的属性顺序相同。由属于R或属于S的元组组成由属于R而不属于S的元组组成由既属于R又属于S的元组组成表示记号trtsR为n目关系，S为m目关系trR，tsS，trts称为元组的连接。它是一个n+m列的元组，前n个分量为R中的一个n元组，后m个分量为S中的一个m元组传统的集合运算广义笛卡尔积RXS，其关系

7、模式是R和S的模式的并集，是R和S的元组以所有可能的方式组合起来。当R和S有同名的属性，至少要为其中一个属性重新命名。数学描述：若关系R有k1个元组n个属性，关系S有k2个元组m个属性，则两个关系的广义笛卡尔积有k1*k2个元组n+m个属性(前n个属性来自于R，后m个属性来自于S)广义笛卡尔积和笛卡尔积的关系？面向关系的运算？面向域的运算？RSABCa1b1c1a1b2c2a2b2c1a1b3c2RSABCa1b2c2a2b2c1R-SABCa1b1c1RSABCABCa1b1c1a1b2c2a1b1c1a1b3c2a1b1c1a2b2

8、c1a1b2c2a1b2c2a1b2c2a1b3c2a1b2c2a2b2c1a2b2c1a1b2c2a2b2c1a1b3c2a2b2c1a2b2c1Ａ　　　Ｂ