关模型和关系运算理论.ppt

第2章 关系模型和关系运算理论,关系理论是建立在集合代数理论基础上的，有着坚实的数学基础。 E.F.Codd于70年代初提出关系数据理论，他因此获得1981年的ACM图灵奖。,本章重要概念（一）,（1）基本概念 关系模型，关键码（主键和外键），关系的定义和性质，三类完整性规则，ER模型到关系模型的转换规则，过程性语言与非过程性语言。 （2）关系代数 五个基本操作，四个组合操作，七个扩充操作。,本章重要概念（二）,（3）关系演算 元组关系演算和域关系演算的原子公式、公式的定义。关系演算的安全性和等价性。 （4）关系代数表达式的优化 关系代数表达式的等价及等价转换规则，启化式优化算法。 （5）关系逻辑 谓词、原子、规则和查询，规则的安全性，用规则模拟关系代数表达式。,关系模型和关系运算理,2.1 关系模型的基本概念 2.2 关系代数 2.3 关系演算 2.4 关系代数表达式的优化 2.5 关系逻辑,2.1 关系模型的基本概念,2.1.1 基本术语 2.1.2 关系的定义和性质 2.1.3 关系模型的三类完整性规则 2.1.4 ER模型向关系模型的转换规则 2.1.5 关系模型的三级体系结构 2.1.6 关系模型的形式定义和优点 2.1.7 关系查询语言和关系运算,返回,基本术语(1),定义2.1 用二维表格表示实体集，用关键码进行数据导航的数据模型称为关系模型（relational Model）。这里数据导航(data navigation)是指从已知数据查找未知数据的过程和方法。,图2.1 职工登记表,基本术语(2),关系：一个关系对应一张二维表（非形式化描述）关系名 表名。记录类型称为关系模式。 元组：表中的一行称为一个元组（元组的集合即为关系）。 属性：表中的一列称为属性，列名即属性名。字段值称为属性值， 元数（arity） ：关系中属性的个数。 基数(cardinality) ：元组个数称为基数。 属性的值域：属性的取值范围（数据类型），记作DOM(属性名)，每一个属性对应一个值域不同属性可对应同一个值域。比如：职称=教授，副教授，讲师，助教,基本术语(3),图2.2 关系模型的术语,基本术语(4),职工关系模式ZG(工号，姓名，年龄，性别，工资）,1. 超键：能唯一标识元组的一个或一组属性,称为关系的超键,例如：(工号，姓名）。 2. 候选键key：不含多余属性的超键叫候选键,如（工号）。 3. 主键primary key：当一个关系中有多个候选键时，我们从候选键中选择一个用作元组标识的称为主键，若实际使用中，用工号作为插入、查找的操作变量，称工号为主键。 每个关系都必定有且只有一个主键 对于一个关系,主键一经选定,通常是不能随意改变的 4、外部键（Foreign Key） 如果关系R2的一个或一组属性不是R2的主键，而是另一关系R1的主键，则该属性或属性组成为关系R2的外部键。,数据库应用实例及比较,学生信息管理系统实例 该系统用来管理学生的基本情况,开设课程情况,学生的选课情况及成绩; 数据库: 以表格的形式储存了学生,课程,选课的记录; 数据管理系统(DBMS)负责存储和检索这些表格的数据; 建立相关的应用程序,负责处理数据输入,数据查询和产生报表,学生课程成绩管理,学生（学号，姓名，年龄，性别） S(S#,SNAME,SEX,AGE),课程（课程号，课程名，学分） C(C#,CNAME,GRADE),选课（课程号，学号，成绩）SC(C#,S#,SCORE),举例说明超键、候选键、主键、外键 Student(number,name,age,sex) Class(number,name,grade) Sc(classnum,studentnum,score) 建议：同学们记下这三个关系模式。好好理解,练习：,1、现有关系表：学生（宿舍编号，宿舍地址，学号，姓名，性别，专业）的主键为： A宿舍编号 B学号 C宿舍地址，姓名 D宿舍编号，学号 2、现有关系表：医疗（患者编号，医生编号，医生姓名，诊断日期，诊断结果，恢复情况）的主键是： A患者编号，医生编号，诊断日期 B医生编号 C诊断日期 D患者编号,练习：,1、现有如下关系： 部门（部门编号、部门名称、部门地址、电话） 职工（职工号、姓名、性别、职务、部门编号、电话） 其中，职工关系中的外键是（） A部门编号 B姓名 C职工号 D职工号，姓名,答案：1、A 2、C,DEPT(D#，DNAME) EMP(E#，ENAME，SALARY，D# ),2.1.2关系的定义和性质,定义2.2 关系是一个属性数目相同的元组的集合。 在关系模型中，对关系作了下列规范性限制： （1）关系中每一个属性值都是不可分解的； （2）关系中不允许出现重复元组（即不允许出现相同的元组）； （3）由于关系是一个集合，因此不考虑元组间的顺序，即没有行序； （4）元组中的属性在理论上也是无序的，但使用时按习惯考虑列的顺序。,返回,2.1.3关系模型的三类完整性规则(1),关系模型的三类完整性 三类完整性是实体完整性、参照完整性和用户定义的完整性（其中前两类完整性是关系模型必须满足的约束条件） 实体完整性规则（entity integrity rule） 要求关系中元组在组成主键的属性上不能有空值。如果出现空值，那么主键值就起不了惟一标织元组的作用。 意义：关系对应到现实世界中的实体集，元组对应到实体，实体是相互可区分的，通过主键来唯一标识，若主键为空，则出现不可标识的实体，这是不容许的。,关系模型的三类完整性规则 (2),参照完整性规则（reference integrity rule） 定义2.3 参照完整性规则的形式定义如下： 如果属性集K是关系模式R1的主键，K也是关系模式R2的外键，那么在R2的关系中，K的取值只允许两种可能，或者为空值，或者等于R1关系中某个主键值。 这条规则的实质是“不允许引用不存在的实体”。 在上述形式定义中，关系模式R1的关系称为“参照关系”，关系模式R2的关系称为“依赖关系”。“主表”和“副表”，“父表”和“子表”。,关系模型的三类完整性规则 (3),例2.1 下面各种情况说明了参照完整性规则在关系中如何实现的。 在关系数据库中有下列两个关系模式： S（S#，SNAME，AGE，SEX） SC（S#，C#，GRADE） 这里带下划线者为主键，红色者为外键。据规则要求关系SC中的S# 值应该在关系S中出现。如果关系SC中有一个元组（S7,C4,80），而学号S7却在关系S中找不到，那么我们就认为在关系SC中引用了一个不存在的学生实体，这就违反了参照完整性规则。 另外，在关系SC中S# 不仅是外键，也是主键的一部分，因此这里S# 值不允许空。,关系模型的三类完整性规则 (4), 设工厂数据库中有两个关系模式： DEPT(D#，DNAME) EMP(E#，ENAME，SALARY，D# ) 车间模式DEPT的属性为车间编号、车间名，职工模式EMP的属性为工号、姓名、工资、所在车间的编号。每个模式的主键与外键已标出。在EMP中，由于D# 不在主键中，因此D#值允许空。 级联更新/级联删除 示例 产品订单.mdb/客户-订单,关系模型的三类完整性规则 (5), 设课程之间有先修、后继联系。模式如下： R(C# ，CNAME，PC# ) 其属性表示课程号、课程名、先修课的课程号。如果规定，每门课程的直接先修课只有一门，那么模式R的主键是C#，外键是PC#。这里参照完整性在一个模式中实现。即每门课程的直接先修课必须在关系中出现。 注意事项： 外键和相应的主键可以不同名，只要定义在相同值域上即可。 R1和R2也可以是同一个关系模式，表示了属性之间的联系。 外键值是否允许空，应视具体问题而定。,关系模型的三类完整性规则 (6),用户定义的完整性规则 在建立关系模式时，对属性定义了数据类型，即使这样可能还满足不了用户的需求。此时，用户可以针对具体的数据约束，设置完整性规则，由系统来检验实施，以使用统一的方法处理它们，不再由应用程序承担这项工作。例如学生的年龄定义为两位整数，范围还太大，我们可以写如下规则把年龄限制在1530岁之间： CHECK（AGE BETWEEN 15 AND 30） 用户针对具体的应用环境定义的完整性约束条件。 如S#要求是8位整数，SEX要求取值为“男”或“女”。 关系模型应提供定义和检验这类完整性的机制，以便用统一的系统的方法处理它们而不要由应用程序来承担这一功能。,2.1.5关系模型的优点,与其它数据模型相比，关系模型突出的优点如下： （1）关系模型提供单一的数据结构形式，具有高度的简明性和精确性。 （2）关系模型的逻辑结构和相应的操作完全独立于数据存储方式，具有高度的数据独立性。 （3）关系模型使数据库的研究建立在比较坚实的数学基础上。 （4）关系数据库语言与一阶谓词逻辑的固有内在联系，为以关系数据库为基础的推理系统和知识库系统的研究提供了方便。,返回,2.1.6关系查询语言和关系运算,关系数据库的数据操纵语言（DML）的语句分成查询语句和更新语句两大类。查询语句用于描述用户的各种检索要求；更新语句用于描述用户进行插入、删除、修改等操作。关于查询的理论称为“关系运算理论”。 关系查询语言根据其理论基础的不同分成三类： （1）关系代数语言。 （2）关系演算语言。 （3）关系逻辑语言。,返回,2.2关系代数,关系代数是一种抽象的查询语言，用对关系的运算来表达查询，作为研究关系数据语言的数学工具。 关系数据库的数据操作分为查询和更新两类。 查询用于各种检索操作，更新语句用于插入、删除和修改等操作。 更新在查询的基础上工作，查询更复杂。关于查询的理论称为“关系运算理论”。,返回,2.2关系代数,2.2.1 关系代数的五个基本操作 2.2.2 关系代数的四个组合操作 2.2.3 关系代数运算的应用实例 2.2.4 关系代数的七个扩充操作,关系代数的五个基本操作 (1),并（Union） 设关系R和S具有相同的关系模式，R和S的并是由属于R或属于S的元组构成的集合，记为RS。形式定义如下： RSt | tR tS，t是元组变量，R和S的元数相同。,RS,两个关系R和S若进行并运算，则它们必须是相容的： 关系R和S必须是同元的，即它们的属性数目必须相同。 对i，R的第i个属性的域必须和S的第i个属性的域相同。,集合运算并Union (),关系代数的五个基本操作 (1),差（Difference） 设关系R和S具有相同的关系模式，R和S的差是由属于R但不属于S的元组构成的集合，记为RS。形式定义如下：,R和S必须同类型（属性集相同，但属性名可以不同）,集合运算差Minus (-),关系代数的五个基本操作 (1),笛卡尔积 关系R和S的元数分别为r和s，定义R和S的笛卡尔积是一个（r+s）元的元组集合，每个元组的前r个分量来自R的一个元组，后s个分量来自S的一个元组，记为R S。 RS t| t tr，ts tr R ts S 若R有m个元组，S有n个元组，则R S有m*n个元组。,RS的元数为R与S的元数之和（r+s） ， RS的基数为R和S的基数的乘积m*n 。,笛卡儿积(),关系r, s:,r x s:,A,B, ,1 2,C,D, ,10 10 20 10,E,a a b b,r,s,笛卡儿积(),笛卡儿积() 引伸,=,说明：笛卡尔积的元组数量虽然庞大，但很多数据是没有意义的，正是有意义的数据(自然连接)组成关系，即笛卡尔积的一个子集。,关系代数的五个基本操作 (2),投影（Projection） 这个操作是对一个关系进行垂直分割，消去某些列，并重新安排列的顺序。 设关系R是k元关系，R在其分量Ai1，Aim（mk，i1，im为1到k间的整数）上的投影用 i1，im（R）表示，它是一个m元元组集合，形式定义如下： i1，im（R） t | tti1，timt1，tkR 例如， 3，1（R）表示关系R中取第1、3列，组成新的关系，新关系中第1列为R的第3列，新关系的第2列为R的第1列。如果R的每列标上属性名，那么操作符 的下标处也可以用属性名表示。例如，关系R（A，B，C），那么 C，A（R）与 3，1（R）是等价的。,关系运算投影(),例: ssex,sage(student),关系运算投影(),关系R:,=,A,C (R),投影运算的结果中,也要去除重复元组,关系代数的五个基本操作 (3),选择（Selection） 选择操作是根据某些条件对关系做水平分割，即选取符合条件的元组。条件可用命题公式（即计算机语言中的条件表达式）F表示。F中有两种成分： 关系R关于公式F的选择操作用F（R）表示，形式定义如下： F（R） t | tR F（t）= true 为选择运算符，F（R）表示从R中挑选满足公式F为真的元组所构成的关系。 例如，23（R）表示从R中挑选第2个分量值大于3的元组所构成的关系。书写时，为了与属性序号区别起见，常量用引号括起来，而属性序号或属性名不要用引号括起来。,关系运算选择(),例: ssex = 男 AND sdep = IS(Student),练习：,1、R和S的结构相同，且各有20个元组，那么两个关系的并操作结果的元组个数为（ ） A.20 B. 小于等于20 C. 40 D.小于等于40 2、R和S的结构相同，且各有20个元组，那么两个关系的差操作结果的元组个数为（ ） A.20 B. 小于等于20 C. 40 D.小于等于40,答案：1、D 2、B,与 V或 NOT非 量词： 存在，任一个,2.2.2关系代数的四个组合操作 (1),交（intersection） 定义 所有同时出现在两个关系中的元组集合。 交运算可以通过差运算来重写： RS = R (R S) R和S必须同类型（属性集相同、次序相同，但属性名可以不同）,RS = r | rR rS ,关系运算交Intersect (),关系代数的四个组合操作 (2),连接（join） 连接有两种：连接和F连接（这里是算术比较符，F是公式）。 从RS的结果集中，选取属性集满足某一操作的元组，组成新的关系 是一个关于属性集的逻辑表达式 如果是等号“”，则该联接操作叫“等值联接”。,关系代数的四个组合操作 (2),连接（join） 连接 R St t= trR tsS tr its j F连接 F连接是从关系R和S的笛卡儿积中选取属性间满足某一公式F的元组, 这里F是形为F1F2Fn的公式，每个FP是形为ij的式子，而i和j分别为关系R和S的第i、第j个分量的序号。记为,关系代数的四个组合操作 (2),R S,B D,R,S,关系运算等值连接(),R,S,R.B=S.B,关系代数的四个组合操作 (3),自然连接（natural join） 两个关系R和S的自然连接操作具体计算过程如下： 计算RS；-计算笛卡尔积 设R和S的公共属性是A1,A2Ak,挑选RS中满足R.A1=S.A1,R.AK=S.AK的那些元组；-选择公共属性值相等的元组。 去掉S.A1,S.AK这些列。-做投影操作。,R,S,R S,关系运算自然连接( ),关系运算自然连接( ),说明： 在自然连接构成的结果关系中，相同的属性名不必重复。 一般自然连接使用在R和S有公共属性的情况。 当R与S无相同属性时，R S RS。 自然连接是组装关系的有效方法。,关系代数的四个组合操作 (4),除法（division） 设关系R和S的元数分别为r和s（设rs0），那么RS是一个（r-s）元的元组的集合。（RS）是满足下列条件的最大关系：其中每个元组t与S中每个元组u组成的新元组必在关系R中。 RS 1，2，r-s（R）- 1，2，r-s（ 1，2，r-s（R）S）-R）,返回,2.2.3关系代数运算的应用实例,在关系代数运算中，把由五个基本操作经过有限次复合的式子称为关系代数表达式。这种表达式的运算结果仍是一个关系。我们可以用关系代数表达式表示各种数据查询操作。 例2.7 学生选课系统有三个关系：,3.2.3关系代数表达式及其应用实例,在关系代数运算中，把五个基本操作经过有限次复合的式子称为关系代数表达式。这个表达式的运算结果依然是一个关系。可以用关系代数表达式表示各种数据查询操作。,查询语句的关系代数表达式的一般形式为：, ( (RS),3.2.3关系代数表达式及其应用实例,用关系代数表达式写查询语句的方法： 确定查询所涉及哪些关系表。 执行笛卡尔积或自然联接操作得到一张大的表格。 根据查询对大表格执行水平分割（选择操作）或垂直分割（投影操作）。,当查询涉及“否定”时，要用差操作； 当查询涉及“全部值”时，要用除法操作。,关系代数实例,Student(Sno , Sname , Ssex , Sage , Sdept) Course(Cno , Cname , Cpno , Credit) SC(Sno,Cno,Grade),关系代数实例1,检索选修了2号课程的课程号、学号和成绩。,cno=2(SC),学生（学号，姓名，年龄，性别） S(S#,SNAME,SEX,AGE) 课程（课程号，课程名，教师） C(C#,CNAME,TEACHER) 选课（课程号，学号，成绩）SC(C#,S#,GRADE),关系代数实例2,检索选修2号课程的学生的学号和成绩,Sno，Grade(cno=2(SC),学生（学号，姓名，年龄，性别） S(S#,SNAME,SEX,AGE) 课程（课程号，课程名，教师） C(C#,CNAME,TEACHER) 选课（课程号，学号，成绩）SC(C#,S#,GRADE),关系代数实例3,检索学习课程号为2的学生的学号和姓名。,学号Sno、姓名SnameStudent表 学号Sno、课程号CnoSC表 Student SC,sno,用到Student和SC两个表，先对两个关系执行自然联接，再执行选择和投影操作。,学生（学号，姓名，年龄，性别） S(S#,SNAME,SEX,AGE) 课程（课程号，课程名，教师） C(C#,CNAME,TEACHER) 选课（课程号，学号，成绩）SC(C#,S#,GRADE),关系代数实例3,关系代数例4,检索学习课程名为数学的学生的学号和姓名。,学生（学号，姓名，年龄，性别） S(S#,SNAME,SEX,AGE) 课程（课程号，课程名，教师） C(C#,CNAME,TEACHER) 选课（课程号，学号，成绩）SC(C#,S#,GRADE),关系代数实例4,用到Student、SC、Course三个表，先对三个关系执行自然联接，再执行选择和投影操作。,关系代数实例4,检索学习课程号为2或3的学生的学号。,Sno(Cno2 Cno3(SC),学生（学号，姓名，年龄，性别） S(S#,SNAME,SEX,AGE) 课程（课程号，课程名，教师） C(C#,CNAME,TEACHER) 选课（课程号，学号，成绩）SC(C#,S#,GRADE),关系代数实例5,检索至少学习课程号为2和3的学生的学号。,学生（学号，姓名，年龄，性别） S(S#,SNAME,SEX,AGE) 课程（课程号，课程名，教师） C(C#,CNAME,TEACHER) 选课（课程号，学号，成绩）SC(C#,S#,GRADE),关系代数实例5,1(1=4 22 5=3(SCSC),思考：以下表示方法是否可以？,1( 22 (SC) 1( 2=3(SC),检索至少学习课程号为2和3的学生的学号。,可以得到正确结果，但是查询进行了两次！,思考：以下表示方法是否可以？,Sno( CNO2 (SC) Sno( CNO=3(SC),检索学习课程号为2或3的学生的学号。,Sno(Cno2 Cno3(SC),关系代数实例6,检索不学习课程号为2的学生的姓名和年龄。,学号Sno、姓名Sname、年龄SageStudent表 学号Sno、课程号CnoSC表 Student SC,sno,涉及否定用“差”操作，先求出全体学生的姓名和年龄，再求出学习了2号课程的学生姓名和年龄，最后执行两个集合的差操作。,学生（学号，姓名，年龄，性别） S(S#,SNAME,SEX,AGE) 课程（课程号，课程名，教师） C(C#,CNAME,TEACHER) 选课（课程号，学号，成绩）SC(C#,S#,GRADE),关系代数实例6,Sname，Sage(S),求出全体学生的姓名和年龄。,求出学习了2号课程的学生姓名和年龄。,执行两个集合的差操作。,Sname，Sage(S),关系代数实例7,检索学习全部课程的学生姓名。,涉及“全部值”用除法操作，先求全部课程，再用除法求出学习了全部课程的学生的学号，最后求出学生姓名。,学号Sno、姓名SnameStudent表 课程号CnoCourse表 学号Sno、课程号CnoSC表 Student SCCourse,sno,cno,学生（学号，姓名，年龄，性别） S(S#,SNAME,SEX,AGE) 课程（课程号，课程名，教师） C(C#,CNAME,TEACHER) 选课（课程号，学号，成绩）SC(C#,S#,GRADE),关系代数实例7,学生的选课情况可用Sno，Cno(SC)表示,全部课程可用Cno(C) 表示,学了全部课程的学号可以用除法得到（学号集） Sno，Cno(SC) Cno(C),检索所学课程包含学号S3所学课程的学生学号。,涉及“全部值”用除法操作，先求学生的选课情况，再求S3学生所学的课程，最后用除法求出学习了所学课程包含学生S3所学课程的学生学号。,学号Sno、课程号CnoSC表,关系代数实例8,学生（学号，姓名，年龄，性别） S(S#,SNAME,SEX,AGE) 课程（课程号，课程名，教师） C(C#,CNAME,TEACHER) 选课（课程号，学号，成绩）SC(C#,S#,GRADE),关系代数实例8,学生的选课情况可用Sno，Cno(SC)表示,学生S3所学课程可用Cno(S#=S3(SC) ) 表示,所学课程包含学生S3所学课程的学生学号，可以用除法得到 Sno，Cno(SC) Cno(S#=S3(SC) ),所学课程包含学生S3所学课程的学生学号，可以用除法得到 Sno，Cno(SC) Cno(S#=S3(SC) ),练习（课堂消化）,用关系代数表达式实现： 1.查找所有女科长的姓名和家庭地址：,姓名，家庭地址(性别=女 职务科长(职工),现有关系数据库如下：职工(职工号，姓名，性别，职务，家庭地址，所在部门编号) 部门（部门编号，部门名称，地址，电话） 保健(保健卡编号，职工号，检查身体日期，健康状况),练习：,2.查找部门名称为“办公室”的科长姓名和家庭地址：,姓名，家庭住址(职务=科长部门名称=办公室(职工部门),姓名，家庭住址(职务=科长 (职工） 部门名称=办公室(部门),现有关系数据库如下： 职工(职工号，姓名，性别，职务，家庭地址，所在部门编号) 部门（部门编号，部门名称，地址，电话） 保健(保健卡编号，职工号，检查身体日期，健康状况),练习：,3.查找部门名称为“财务科”中健康状况为“良好”的职工姓名和家庭住址。,姓名，家庭住址(部门名称=财务科 健康状况=良好 (职工部门保健),姓名，家庭住址(职工部门名称=财务科(部门) 健康状况=良好 (保健) ),现有关系数据库如下： 职工(职工号，姓名，性别，职务，家庭地址，所在部门编号) 部门（部门编号，部门名称，地址，电话） 保健(保健卡编号，职工号，检查身体日期，健康状况),练习：,用关系代数表达式实现： 1.检索学习“数据库原理”课程且成绩不及格的学生的学号和教师编号。,学号，教师编号(课程名称=数据库原理 成绩60(授课),现有关系数据库如下： 学生(学号，姓名，性别，专业，出生日期) 教师(教师编号，姓名，所在部门，职称) 授课(教师编号，学号，课程编号，课程名称，教材，学分，学生成绩),练习：,2.检索学习“英语”课程的“计算机应用”专业的学生学号、姓名、成绩。,学号，姓名，成绩(专业=计算机应用 课程名称=英语(学生授课),现有关系数据库如下： 学生(学号，姓名，性别，专业，出生日期) 教师（教师编号，姓名，所在部门，职称） 授课(教师编号，学号，课程编号，课程名称，教材，学分，学生成绩),练习：,3.检索没有任何一门课程成绩不及格的所有学生的信息，包括学号、姓名和专业；,学号，姓名，专业(学生)学号，姓名，专业(分数60(学生授课),现有关系数据库如下： 学生(学号，姓名，性别，专业，出生日期) 教师（教师编号，姓名，所在部门，职称） 授课(教师编号，学号，课程编号，课程名称，教材，学分，学生成绩),2.2.4关系代数的七个扩充操作(自学),改名 广义投影 赋值 外连接（outer join） 左外连接、右外连接 外部并（outer union） 半连接（semijoin） 聚集操作,返回,*2.3 关系演算,把数理逻辑的谓词演算引入到关系运算中，就可得到以关系演算为基础的运算。关系演算又可分为元组关系演算和域关系演算，前者以元组为变量，后者以属性（域）为变量。 2.3.1 元组关系演算 2.3.2 域关系演算 2.3.3 关系运算的安全约束和等价性,返回,2.4 关系代数表达式的优化,2.4.1 关系代数表达式的优化问题 2.4.2 关系代数表达式的等价变换规则 2.4.3 关系代数表达式的优化算法,返回,查询优化,关系代数表达式的优化(1),在关系代数表达式中需要指出若干关系的操作步骤。那么，系统应该以什么样的操作顺序，才能做到既省时间，又省空间，而且效率也比较高呢？这