数据库系统概论-关系数据理论.ppt_第1页
数据库系统概论-关系数据理论.ppt_第2页
数据库系统概论-关系数据理论.ppt_第3页
数据库系统概论-关系数据理论.ppt_第4页
数据库系统概论-关系数据理论.ppt_第5页
已阅读5页,还剩92页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、数据库系统概论 An Introduction to Database System 第六章 关系数据理论,第六章 关系数据理论,6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.5 小结,6.1 问题的提出,关系数据库逻辑设计 针对具体问题,如何构造一个适合于它的数据模式 数据库逻辑设计的工具关系数据库的规范化理论,问题的提出,一、概念回顾 二、关系模式的形式化定义 三、什么是数据依赖 四、关系模式的简化定义 五、数据依赖对关系模式影响,一、概念回顾-关系,单一的数据结构-关系 D1D2Dn的子集叫作在域D1,D2,Dn上的 关系,表示为 R(D1,D

2、2,Dn) 现实世界的实体以及实体间的各种联系均用关系来表示 逻辑结构-二维表 从用户角度,关系模型中数据的逻辑结构是一张二维表 建立在集合代数的基础上,一、概念回顾-关系模式,关系模式(Relation Schema)是型、静态的 关系是值、动态的 关系模式是对关系的描述 元组集合的结构 属性构成、属性来自的域 、属性与域之间的映象关系 元组语义以及完整性约束条件 属性间的数据依赖关系集合,一、概念回顾-关系数据库,关系数据库 在一个给定的应用领域中,所有关系的集合构成一个关系数据库 关系数据库的型: 关系数据库模式 关系数据库模式包括 若干域的定义 在这些域上定义的若干关系模式 关系数据库

3、的值: 关系模式在某一时刻对应的关系的集合,简称为关系数据库,二、定义关系模式,关系模式可以形式化地表示为: R(U,D,DOM,F) R 关系名 U 组成该关系的属性名集合 D 属性组U中属性所来自的域 DOM 属性向域的映象集合 F 属性间的数据依赖关系集合 关系模式通常可以简记为 R (U) 或 R (A1,A2,An) A1,A2,An : 属性名 注:域名及属性向域的映象常常直接说明为 属性的类型、长度,三、什么是数据依赖,1. 完整性约束的表现形式 限定属性取值范围:例如学生成绩必须在0-100之间 定义属性值间的相互关连,就是数据依赖,是数据库模式设计的关键,什么是数据依赖(续)

4、,2. 数据依赖 一个关系内部属性与属性之间的约束关系 现实世界属性间相互联系的抽象 数据内在的性质 语义的体现,什么是数据依赖(续),3. 数据依赖的类型 函数依赖(Functional Dependency,简记为FD) 多值依赖(Multivalued Dependency,简记为MVD) 其他,四、关系模式的简化表示,关系模式R(U, D, DOM, F) 简化为一个三元组: R(U, F) 当且仅当U上的一个关系r满足F时,r称为关系模式 R(U, F)的一个关系,五、数据依赖对关系模式的影响,例1建立一个描述学校教务的数据库: 学生的学号(Sno)、所在系(Sdept) 系主任姓名

5、(Mname)、课程名(Cname) 成绩(Grade) 单一的关系模式 : Student U Sno, Sdept, Mname, Cname, Grade ,数据依赖对关系模式的影响(续),属性组U上的一组函数依赖F: F Sno Sdept, Sdept Mname, (Sno, Cname) Grade ,关系模式Student中存在的问题,1. 数据冗余太大:浪费大量的存储空间 例:每一个系主任的姓名重复出现 2. 更新异常(Update Anomalies):数据冗余 ,更新数据时,维护数据完整性代价大。 例:某系更换系主任后,系统必须修改与该系学生有关的每一个元组 3. 插入异

6、常(Insertion Anomalies):该插的数据插不进去 例:如果一个系刚成立,尚无学生,我们就无法把这个系及其系主任的信息存入数据库。 4. 删除异常(Deletion Anomalies):不该删除的数据不得不删 例:如果某个系的学生全部毕业了, 我们在删除该系学生信息的同时,把这个系及其系主任的信息也丢掉了。,数据依赖对关系模式的影响(续),结论: Student关系模式不是一个好的模式。 “好”的模式: 不会发生插入异常、删除异常、更新异常, 数据冗余应尽可能少 原因:由于模式中存在的某些数据依赖引起的 解决方法:通过分解关系模式来消除其中不合适的数据依赖,分解关系模式,把这个

7、单一模式分成3个关系模式: S(Sno,Sdept,Sno Sdept); SC(Sno,Cno,Grade,(Sno,Cno) Grade); DEPT(Sdept,Mname,Sdept Mname),关系数据库设计中存在的问题(),示例: 考虑为管理职工的工资信息而设计一个关系模式。,关系数据库设计中存在的问题(),问题: 插入异常:如果没有职工具有8级工资,则8级工资的工资数额就难以插入。 删除异常:如果仅有职工赵明具有4级工资,如果将赵明删除,则有关4级工资的工资数额信息也随之删除了。 数据冗余:职工很多,工资级别有限,每一级别的工资数额反复存储多次。 更新异常:如果将5级工资的工资

8、数额调为1620,则需要找到每个具有5级工资的职工,逐一修改。,关系数据库设计中存在的问题(),解决之道:模式分解!,第六章 关系数据理论,6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.5 小结,6.2 规范化,规范化理论正是用来改造关系模式,通过分解关系模式来消除其中不合适的数据依赖,以解决插入异常、删除异常、更新异常和数据冗余问题。,6.2 规范化,6.2.1 函数依赖 6.2.2 码 6.2.3 范式 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 规范化小结,6.2.1 函数

9、依赖,函数依赖 平凡函数依赖与非平凡函数依赖 完全函数依赖与部分函数依赖 传递函数依赖,一、函数依赖,定义6.1 设R(U)是一个属性集U上的关系模式,X和Y是U的子集。若对于R(U)的任意一个可能的关系r,r中不可能存在两个元组在X上的属性值相等, 而在Y上的属性值不等, 则称 “X函数确定Y” 或 “Y函数依赖于X”,记作XY。,函数依赖(续),例: Student(Sno, Sname, Ssex, Sage, Sdept) 假设不允许重名,则有: Sno Ssex, Sno Sage , Sno Sdept, Sno Sname, Sname Ssex, Sname Sage Snam

10、e Sdept 但Ssex Sage 若XY,并且YX, 则记为XY。 若Y不函数依赖于X, 则记为XY。,说明,1. 所有关系实例均要满足 2. 语义范畴的概念 3. 函数依赖关系的存在与时间无关。,4函数依赖与属性之间的联系类型有关。 (1)在一个关系模式中,如果属性X与Y有1:1联系时,则存在函数依赖XY,YX,即X Y。 例如,当学生无重名时,SNO SNAME。 (2)如果属性X与Y有1:m联系,则只存在函数依赖YX 。 例如,AGE,DEPT与SNO之间均为1:m联系,所以有SNOAGE,SNODEPT。 (3)如果属性X与Y有m: n联系,则X与Y之间不存在任何函数依赖关系。 例

11、如,一个学生可以选修多门课程,一门课程又可以为多个学生选修,所以SNO与CNO之间不存在函数依赖关系。 由于函数依赖与属性之间的联系类型有关,所以在确定属性间的函数依赖关系时,可以从分析属性间的联系类型入手,便可确定属性间的函数依赖。,1投影性。 根据平凡的函数依赖的定义可知,一组属性函数决定它的所有子集。 例如,在关系SC中,(SNO,CNO)SNO和(SNO,CNO)CNO。 2扩张性。 若XY且WZ,则(X,W)(Y,Z)。 例如,SNO(SNAME,AGE),DEPTMN,则有(SNO,DEPT)(SNAME,AGE,MN)。 3合并性。 若XY且XZ则必有X(Y,Z)。 例如,在关系

12、SC中,SNO(SNAME,AGE),SNO(DEPT,MN),则有SNO(SNAME,AGE,DEPT,MN)。 4分解性。 若X(Y,Z),则XY且XZ。很显然,分解性为合并性的逆过程。 由合并性和分解性,很容易得到以下事实: XA1,A2,,An成立的充分必要条件是XAi(i=1,2,n)成立。,函数依赖的基本性质,二、平凡函数依赖与非平凡函数依赖,在关系模式R(U)中,对于U的子集X和Y, 如果XY,但Y X,则称XY是非平凡的函数依赖 若XY,但Y X, 则称XY是平凡的函数依赖 例:在关系SC(Sno, Cno, Grade)中, 非平凡函数依赖: (Sno, Cno) Grade

13、 平凡函数依赖: (Sno, Cno) Sno (Sno, Cno) Cno,平凡函数依赖与非平凡函数依赖(续),若XY,则X称为这个函数依赖的决定属性组,也称为决定因素(Determinant)。 若XY,YX,则记作XY。 若Y不函数依赖于X,则记作XY。,三、完全函数依赖与部分函数依赖,定义6.2 在R(U)中,如果XY,并且对于X的任何一个真子集X,都有X Y, 则称Y对X完全函数依赖,记作X F Y。也称为“左部不可约依赖” 。 若XY,但Y不完全函数依赖于X,则称Y对X部分函数依赖,记作X P Y。 例1 中(Sno,Cno) Grade是完全函数依赖, (Sno,Cno)Sdep

14、t是部分函数依赖 因为Sno Sdept成立,且Sno是(Sno,Cno)的真子集,F,P,四、传递函数依赖,定义6.3 在R(U)中,如果XY,(Y X) ,YX ,YZ, 则称Z对X传递函数依赖。 记为:X Z 注: 如果YX, 即XY,则Z直接依赖于X。 (Y X),表明是XY非平凡的依赖,否则Z对X是部分函数依赖。 例: 在关系Std(Sno, Sdept, Mname)中,有: Sno Sdept,Sdept Mname Mname传递函数依赖于Sno,传递,6.2 规范化,6.2.1 函数依赖 6.2.2 码 6.2.3 范式 6.2.4 2NF 6.2.5 3NF 6.2.6 B

15、CNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 规范化小结,6.2.2 码,定义6.4 设K为R中的属性或属性组合。 若KU, 则K称为R的侯选码(Candidate Key)。如果XU(K X)在R上成立,那么称X是R的一个超键。 若候选码多于一个,则选其中的一个做为主码(Primary Key)。 主属性与非主属性 包含在任何一个候选码中的属性 ,称为主属性 不包含在任何码中的属性称为非主属性或非码属性 全码 整个属性组是码,称为全码(All-key),F,P,码(续),例2 关系模式S(Sno,Sdept,Sage),单个属性Sno是码, SC(Sno,Cno,Grade)

16、中,(Sno,Cno)是码 例3 关系模式R(P,W,A) P:演奏者 W:作品 A:听众 一个演奏者可以演奏多个作品 某一作品可被多个演奏者演奏 听众可以欣赏不同演奏者的不同作品 码为(P,W,A),即All-Key,外部码,定义6.5 关系模式 R 中属性或属性组X 并非 R的码,但 X 是另一个关系模式的码,称 X 是R 的外部码(Foreign key)也称外码 在SC(Sno,Cno,Grade)中,Sno不是码,但Sno是关系模式S(Sno,Sdept,Sage)的码,则Sno是关系模式SC的外码 主码与外部码一起提供了表示关系间联系的手段,关系码的性质,1) 每个关系必有码。 2

17、) 主码具有标识元组的唯一性。主码是用来唯一标识关系中的元组的。 3) 关系码具有最小性。若抽去主码中任意一属性,则主码就失去标识的唯一性。 4) 主码中的任一属性值不能取空。,范例,关系模式S(S# , SN , SD , DEAN , C# , G) 主码:(S#,C#) 函数依赖: (S#,C#) G S# SN,(S#,C#)SN S# SD,(S#,C#)SD SD DEAN, S# DEAN (S#,C#) DEAN,6.2 规范化,6.2.1 函数依赖 6.2.2 码 6.2.3 范式 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8

18、 4NF 6.2.9 规范化小结,6.2.3 范式,范式是符合某一种级别的关系模式的集合, (Normal Forms,简记为NF)。 关系数据库中的关系必须满足一定的要求。满足不同程度要求的为不同范式 范式的种类: 第一范式(1NF) 第二范式(2NF) 第三范式(3NF) BC范式(BCNF) 第四范式(4NF) 第五范式(5NF),6.2.3 范式,各种范式之间存在联系: 某一关系模式R为第n范式,可简记为RnNF。 一个低一级范式的关系模式,通过模式分解可以转换为若干个高一级范式的关系模式的集合,这种过程就叫规范化,6.2 规范化,6.2.1 函数依赖 6.2.2 码 6.2.3 范式

19、 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 规范化小结,6.2.4 2NF,1NF的定义 如果一个关系模式R的所有属性都是不可分的基本数据项,则R1NF 第一范式是对关系模式的最起码的要求。不满足第一范式的数据库模式不能称为关系数据库 但是满足第一范式的关系模式并不一定是一个好的关系模式,2NF(续),例4 关系模式 S-L-C(Sno, Sdept, Sloc, Cno, Grade) Sloc为学生住处,假设每个系的学生住在同一个地方 函数依赖包括: (Sno, Cno) F Grade Sno Sdept (Sno

20、, Cno) P Sdept Sno Sloc (Sno, Cno) P Sloc Sdept Sloc,2NF(续),S-L-C的码为(Sno, Cno) S-L-C满足第一范式。 非主属性Sdept和Sloc部分函数依赖于码(Sno, Cno),Sno,Cno,Grade,Sdept,Sloc,S-L-C,SLC不是一个好的关系模式,(1) 插入异常 假设Sno95102,SdeptIS,SlocN的学生还未选课,因课程号是主属性,因此该学生的信息无法插入SLC。 (2) 删除异常 假定某个学生本来只选修了3号课程这一门课。现在因身体不适,他连3号课程也不选修了。因课程号是主属性,此操作将

21、导致该学生信息的整个元组都要删除。 (3) 数据冗余度大 如果一个学生选修了10门课程,那么他的Sdept和Sloc值就要重复存储了10次。 (4) 修改复杂 例如学生转系,在修改此学生元组的Sdept值的同时,还可能需要修改住处(Sloc)。如果这个学生选修了K门课,则必须无遗漏地修改K个元组中全部Sdept、Sloc信息。,S-L-C不是一个好的关系模式(续),原因 Sdept、 Sloc部分函数依赖于码。 解决方法 S-L-C分解为两个关系模式,以消除这些部分函数依赖 SC(Sno, Cno, Grade) S-L(Sno, Sdept, Sloc),2NF(续),函数依赖图:,关系模式

22、SC的码为(Sno,Cno) 关系模式S-L的码为Sno 这样非主属性对码都是完全函数依赖,2NF(续),2NF的定义 定义6.6 若R1NF,且每一个非主属性完全函数依赖于码,则R2NF。 例:S-L-C(Sno, Sdept, Sloc, Cno, Grade) 1NF S-L-C(Sno, Sdept, Sloc, Cno, Grade) 2NF SC(Sno, Cno, Grade) 2NF S-L(Sno, Sdept, Sloc) 2NF,2NF(续),采用投影分解法将一个1NF的关系分解为多个2NF的关系,可以在一定程度上减轻原1NF关系中存在的插入异常、删除异常、数据冗余度大、

23、修改复杂等问题。 将一个1NF关系分解为多个2NF的关系,并不能完全消除关系模式中的各种异常情况和数据冗余。,6.2 规范化,6.2.1 函数依赖 6.2.2 码 6.2.3 范式 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 规范化小结,6.2.5 3NF,3NF的定义 定义6.7 关系模式R 中若不存在这样的码X、属性组Y及非主属性Z(Z Y), 使得XY,YZ成立,Y X,则称R 3NF。 由定义若R3NF,则每一个非主属性不传递依赖于码 若R3NF,则R2NF即每一个非主属性不部分依赖于码 (给出证明过程),3NF(

24、续),例:2NF关系模式S-L(Sno, Sdept, Sloc)中 函数依赖: SnoSdept Sdept Sno SdeptSloc 可得: SnoSloc, 即S-L中存在非主属性对码的传递函数依赖,S-L 3NF,传递,3NF(续),函数依赖图:,不良特性 插入异常:如果系中没有学生,则有关系的信息就无法插入。 删除异常:如果学生全部毕业了,则在删除学生信息的同时有关系的信息也随之删除了。 更新异常:如果学生转系,不但要修改SDept,还要修改Sloc,如果换Sloc,则该系每个学生元组都要做相应修改。 数据冗余:每个学生都存储了所在系的Sloc的信息。,3NF(续),3NF(续),

25、解决方法 采用投影分解法,把S-L分解为两个关系模式,以消除传递函数依赖: S-D(Sno, Sdept) D-L(Sdept,Sloc) S-D的码为Sno, D-L的码为Sdept。 分解后的关系模式S-D与D-L中不再存在传递依赖,3NF(续),S-D的码为Sno, D-L的码为Sdept,S-L(Sno, Sdept, Sloc) 2NF S-L(Sno, Sdept, Sloc) 3NF S-D(Sno,Sdept) 3NF D-L(Sdept, Sloc) 3NF,3NF,说明 (1) 每个非主属性既不部分依赖,也不传递依赖于R的任何码。 (2) 从1NF2NF:消除非主属性对码的

26、部分函数依赖 (3) 从2NF3NF:消除非主属性对码的传递函数依赖 (4) 从一个表中删去不依赖于主码的数据列。,3NF(续),采用投影分解法将一个2NF的关系分解为多个3NF的关系,可以在一定程度上解决原2NF关系中存在的插入异常、删除异常、数据冗余度大、修改复杂等问题。 将一个2NF关系分解为多个3NF的关系后,仍然不能完全消除关系模式中的各种异常情况和数据冗余。,6.2 规范化,6.2.1 函数依赖 6.2.2 码 6.2.3 范式 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 规范化小结,6.2.6 BC范式(BC

27、NF),定义6.8 关系模式R1NF,若XY且Y X时X必含有码,则R BCNF。 等价于:每一个非平凡依赖的决定属性因素都包含码,BCNF(续),若RBCNF 所有非主属性对每一个码都是完全函数依赖 所有的主属性对每一个不包含它的码,也是完全函数依赖 没有任何属性完全函数依赖于非码的任何一组属性 R BCNF R 3NF(证明),BCNF(续),例5 关系模式C(Cno,Cname,Pcno) C3NF CBCNF 例6 关系模式S(Sno,Sname,Sdept,Sage) 假定S有两个码Sno,Sname S3NF。 S BCNF,BCNF(续),例7关系模式SJP(S,J,P), S、

28、J、P分别表示学生、课程、名次 函数依赖:(S,J)P;(J,P)S (S,J)与(J,P)都可以作为候选码,属性相交 SJP3NF, SJPBCNF,BCNF(续),例8在关系模式STJ(S,T,J)中, S、 T 、 J分别表示学生、教师、课程 函数依赖:(S,J)T,(S,T)J,TJ (S,J)和(S,T)都是候选码 STJ3NF 没有任何非主属性对码传递依赖或部分依赖 STJBCNF T是决定因素,T不包含码,BCNF,不良特性 插入异常:如果没有学生选修某位老师的任课,则该老师担任课程的信息就无法插入。 删除异常:删除学生选课信息,会删除掉老师的任课信息。 更新异常:如果老师所教授

29、的课程有所改动,则所有选修该老师课程的学生元组都要做改动。 数据冗余:每位学生都存储了有关老师所教授的课程的信息。 原因: 主属性对码的不良依赖。,BCNF(续),解决方法:将STJ分解为二个关系模式: ST(S,T) BCNF, TJ(T,J) BCNF 没有任何属性对码的部分函数依赖和传递函数依赖,3NF与BCNF的关系,R BCNF R 3NF 如果R3NF,且R只有一个候选码 R BCNF R 3NF BCNF在函数依赖的范畴已实现了彻底的分解 3NF的不彻底是可能存在主属性对码的部分依赖和传递依赖,6.2 规范化,6.2.1 函数依赖 6.2.2 码 6.2.3 范式 6.2.4 2

30、NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 规范化小结,6.2.7 多值依赖,例9 学校中某一门课程由多个教师讲授,他们使用相同的一套参考书。每个教员可以讲授多门课程,每种参考书可以供多门课程使用。 关系模式Teaching(C, T, B) 课程C、教师T 和 参考书B,多值依赖(续),非规范化关系,多值依赖(续),用二维表表示Teaching,多值依赖(续),TeachingBCNF Teaching具有唯一候选码(C,T,B), 即全码,多值依赖(续),Teaching模式中存在的问题 (1)数据冗余度大:有多少名任课教师,参考书

31、就要存储多少次 (2)插入操作复杂:当某一课程增加一名任课教师时,该课程有多少本参照书,就必须插入多少个元组 (3) 删除操作复杂:某一门课要去掉一本参考书,该课程有多少名教师,就必须删除多少个元组 (4) 修改操作复杂:某一门课要修改一本参考书,该课程有多少名教师,就必须修改多少个元组,存在 多值依赖,多值依赖(续),定义6.9 设R(U)是一个属性集U上的一个关系模式, X、 Y和Z是U的子集,并且ZUXY。关系模式R(U)中多值依赖 XY成立,当且仅当对R(U)的任一关系r,给定的一对(x,z)值,有一组Y的值,这组值仅仅决定于x值而与z值无关 例 Teaching(C, T, B) 对

32、于C的每一个值,T有一组值与之对应,而不论B取何值,多值依赖(续),用二维表表示Teaching,多值依赖(续),多值依赖的另一个等价的形式化的定义: 在R(U)的任一关系r中,如果存在元组t,s 使得tX=sX,那么就必然存在元组 w,v r,(w,v可以与s,t相同),使得wX=vX=tX,而wY=tY,wZ=sZ,vY=sY,vZ=tZ(即交换s,t元组的Y值所得的两个新元组必在r中),则Y多值依赖于X,记为XY。 这里,X,Y是U的子集,Z=U-X-Y。 t x y1 z1 s x y2 z2 w x y1 z2 v x y2 z1,多值依赖(续),平凡多值依赖和非平凡的多值依赖 若X

33、Y,而Z,则称 XY为平凡的多值依赖 否则称XY为非平凡的多值依赖,多值依赖,找出关系上所满足的多值依赖。,CB?若使BC成立,需加入哪些元组?,AC CA,多值依赖(续),例10关系模式WSC(W,S,C) W表示仓库,S表示保管员,C表示商品 假设每个仓库有若干个保管员,有若干种商品 每个保管员保管所在的仓库的所有商品 每种商品被所有保管员保管,多值依赖(续),多值依赖(续),WS且WC,用下图表示这种对应,多值依赖的性质,(1)多值依赖具有对称性 若XY,则XZ,其中ZUXY (2)多值依赖具有传递性 若XY,YZ, 则XZ Y (3)函数依赖是多值依赖的特殊情况。 若XY,则XY。 (4)若XY,XZ,则XY Z。 (5)若XY,XZ,则XYZ。 (6)若XY,XZ,则XY-Z,XZ -Y。,多值依赖与函数依赖的区别,(1) 有效性 多值依赖的有效性与属性集的范围有关 若XY在U上成立,则在W(X Y W U)上一定成立;反之则不然,即XY在W(W U)上成立,在U上并不一定成立 多值依赖的定义中不仅涉及属性组 X和 Y,而且涉及U中其余属性Z。 一般地,在R(U)上若有XY在W(W U)上成立,则称XY为R(U)的嵌入型多值依赖,多值依赖与函数依赖的区别,只要在R(U)的任何一个关系r中,元组在X和Y上的值满足定义(函数依赖),则函数依赖XY在任

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论