资源预览内容
第1页 / 共83页
第2页 / 共83页
第3页 / 共83页
第4页 / 共83页
第5页 / 共83页
第6页 / 共83页
第7页 / 共83页
第8页 / 共83页
第9页 / 共83页
第10页 / 共83页
亲,该文档总共83页,到这儿已超出免费预览范围,如果喜欢就下载吧!
资源描述
第3章 计算学科中的三个学科形态,凌贺飞 博士 副教授lhefeihust.edu.cn智能与分布计算实验室(http:/idc.hust.edu.cn)华中科技大学计算机学院,三个学科形态,抽象理论设计(三种形态):计算学科中的基本内容,基本概念;同时反映了人们的认识是从感性认识(抽象)到理性认识(理论),再由理性认识(理论)回到实践(设计)中来的一般科学思维方法,一般科学技术方法论中有关抽象形态的论述,科学抽象是指在思维中对同类事物去除其现象的、次要的方面,抽取其共同的、主要的方面,从而做到从个别中把握一般,从现象中把握本质的认知过程和思维方法。是科学认识由感性认识到理性认识飞跃的决定性环节,计算学科中抽象形态,计算作为一门学科报告认为:抽象源于实验科学、源于现实世界(建立对客观事物进行抽象描述的方法,建立概念模型)。包括以下4个步骤:(1)形成假设;(2)建造模型并作出预测;(3)设计实验并收集数据;(4)对结果进行分析。,抽象过程的目的-建立概念模型例:封建社会形成框架-天地君亲师。 资本主义社会阶级斗争(资产阶级、无产阶级)。 大学层次模型 ( 学校 院 系 组),一般科学技术方法论中有关理论形态的论述,科学认识由感性阶段上升为理性阶段,就形成了科学理论。科学理论是经过实践检验的系统化了的科学知识体系,它是由科学概念、科学原理以及对这些概念、原理的理论论证所组成的体系。理论源于数学,是从抽象到抽象的升华,它们已经完全脱离现实事物,不受现实事物的限制,具有精确的、优美的特征,因而更能把握事物的本质。,计算学科中理论形态,在计算学科中,源于数学(建立理论体系,建立数学模型)。包括以下4个步骤:(1)表述研究对象的特征(定义和公理);(2)假设对象之间的基本性质和对象之间可能存在的关系(定理);(3)确定这些关系是否为真(证明);(4)结论。,例:封建社会形成框架-天地君亲师,上升到理论-法则(约束)-天人合一,男女收授不亲等 资本主义社会以私营经济为主,资产阶级政党掌权,或实行资本主义的民主政治制度。 一、生产力高度发展,社会富裕,鼓励自由的市场经济,政府对经济的干预尽量少。二,商品生产发展到很高的阶段,成为社会生产普遍的和统治的形式,劳动力变成了商品。 三,资本家占有生产资料,用雇佣劳动的方式剥削工人阶级,生产的目的是创造利润。四,以使用机器的大生产为特征,生产社会化同资本主义的私人占有之间的矛盾构成资本主义社会的基本矛盾。 大学培养学生, 上下级管理。,一般科学技术方法论中有关设计形态的论述,设计源于工程,并用于系统或设备的开发,以实现给定的任务。设计必须以对自然规律的认识为前提。设计必须创造出相应的人工系统和人工条件,还必须认识自然规律在这些人工系统中和人工条件下的具体表现形式.设计形态的主要特征与抽象、理论两个形态的主要区别: 设计形态具有较强的实践性、社会性、综合性。,计算学科中的设计形态,源于工程(完成一个具体任务,总结与升华)包括以下4个步骤:(1)需求分析;(2)建立规格说明;(3)设计并实现该系统;(4)对系统进行测试与分析。,例:学校 各种规章制度; 信息公开; 教师聘任制; 考核制度。,一般科学技术方法论中有关3个学科形态内在联系的简要论述,在计算机科学与技术方法论的原始命题中,蕴含着人类认识过程的两次飞跃,第一次飞跃是从物质到精神,从实践到认识的飞跃。这次飞跃包括两个决定性的环节:一个是科学抽象,另一个是科学理论。第二次飞跃是从精神到物质,从认识到实践的飞跃。这次飞跃的实质对技术学科(计算学科就是一门技术学科)而言,其实就是要在理论的指导下,以抽象的成果为工具来完成各种设计工作。,计算学科中有关3个学科形态内在联系 的论述,3个学科形态的内在联系 抽象源于现实世界。建立对客观事物进行抽象描述的方法,建立具体问题的概念模型,实现对客观世界的感性认识。 理论源于数学。建立完整的理论体系,建立具体问题的数学模型,从而实现对客观世界的理性认识。设计源于工程 。对客观世界的感性认识和理性认识的基础上,完成一个具体的任务;对工程设计中所遇到的问题进行总结,提出问题,由理论界去解决它。,4、各领域中三个形态的主要内容 (P54-P59),二、例子1 信息系统(数据库)三种形 态实例 (P44-P48),1、问题:实体:学生与课程,联系:多对多,要 建立一个信息管理系统。,信息管理系统涉及的软件: 应用软件 中间件及工具软件 数据库管理系统 DBMS (Database management system) 操作系统(operating system,OS),高,低,语言,实体:客观存在并可相互区别的事物 实体集 属性:实体所具有的某一方面的特性 关键字(码):能唯一标识实体的属性集 联系:不同实体集之间的联系 1:1, 1:N, N:M,2、抽象形态建模,(1)实体(Entity)、属性(Atribute)、关键字(Key) 与联系(Relationship),联系,联系:不同实体集之间的联系1:1(一对一)对于实体集E1 和E2,如果E1 和E2中每一个实体至多与另一个实体集中的一个实体有联系。例: 省省长,国家国旗,学生学号身份证(约束条件)。1:N (一对多)对于实体集E1 和E2,如果E1 中至少有一个实体与E2中的多个实体有联系,且E2 中每一个实体至多与与E1中的一个实体有联系。例: 班主任学生,经理员工(约束条件)。 N:M (多对多)对于实体集E1 和E2,如果E1 中至少有一个实体与E2中的多个实体有联系,且E2 中至少有一个实体与E1中的多个实体有联系。例: 老师学生,学生社团,学生课程。,三种图元素:实体(矩形)、属性(椭圆)、联系(菱形) P45 图3.1 学生选课E-R图,(2)E-R模型,E-R模型(Entity-Relationship),1976年,美籍华人陈品山(Peter Pingshan Chen)提出的。用E-R模型来描述客观世界并建立概念模型的抽象方法。实体用矩形表示,属性用椭圆形表示,联系用菱形表示,实体间的联系有一对一(1:1)、一对多(1:N)和多对多(N:M)3种情况。要实现对客观事物的感性认识,必须将客观世界(在例中客观世界就是“学生选课”)抽象为信息世界。,E-R模型(Entity-Relationship),型与值的区别实体与实体集的区别例子:作者写书、储户在储蓄所存钱,劫匪抢劫银行等。,E-R图示例1,E-R图示例2,图3.1 学生选课E-R图,学生选课E-R图扩展,概念模型,概念模型:用于信息世界的建模,是客观世界到信息世界的抽象。描述系统中实体集与实体集之间的联系,同时要便于计算机实现。概念模型不是机器世界所支持的数据模型,而是客观世界到机器世界的一个中间层次。概念模型还需要转换成机器世界能支持的数据模型。随描述方法不同会产生不同的概念模型在数据库领域中,数据库管理系统(DBMS)能支持的数据模型有:层次、网状、关系以及面向对象等数据模型。,实体及实体之间的联系均用关系(二维表)表示 笛卡尔积:设D1,D2,Dn为任意集合,定义 D1,D2,Dn笛卡尔积为:D1 D2 Dn = (d1, d2, , dn)|diDi, i=1, , n 关系:笛卡尔积D1 D2 Dn的任意一个子集,称为 D1,D2,Dn上的一个n元关系 关系模式:二维表的表框架,R = U:关系中所有属性的集合 F:属性集合U上的一组函数依赖,(3)关系模型,准备知识-笛卡尔积,给定一组域D1,D2,Dn,这些域中可以有相同的。D1,D2,Dn的笛卡尔积为: D1D2Dn(d1,d2,dn)diDi,i1,2,n 所有域的所有取值的一个组合不能重复。案例给出三个域: D1=SUPERVISOR = 张清玫,刘逸 D2=SPECIALITY=计算机专业,信息专业 D3=POSTGRADUATE=李勇,刘晨,王敏 则D1,D2,D3的笛卡尔积为D:,案例给出三个域: D1=SUPERVISOR = 张清玫,刘逸 D2=SPECIALITY=计算机专业,信息专业 D3=POSTGRADUATE=李勇,刘晨,王敏 则D1,D2,D3的笛卡尔积为D:D=D1D2D3 (张清玫,计算机专业,李勇),(张清玫,计算机专业,刘晨), (张清玫,计算机专业,王敏),(张清玫,信息专业,李勇), (张清玫,信息专业,刘晨),(张清玫,信息专业,王敏), (刘逸,计算机专业,李勇),(刘逸,计算机专业,刘晨), (刘逸,计算机专业,王敏),(刘逸,信息专业,李勇), (刘逸,信息专业,刘晨),(刘逸,信息专业,王敏) 这样就把D1,D2,D3这三个集合中的每个元素加以对应组合,形成庞大的集合群。 本个例子中的D中就会有2X2X3个元素,,二维表例,关系模式设计的问题,例:描述学校的数据库:教务管理系统,需要存储下列信息 学号,姓名, 系名,系主任名,课名, 成绩 SNO, SNAME, SDEPT, MNAME, CNAME, GRADE设计一个关系模式:S=SNO, SNAME, SDEPT, MNAME, CNAME, GRADE,关系模式设计的问题,学校数据库的语义: 一个系有若干学生, 一个学生只属于一个系; 一个系只有一名主任; 一个学生可以选修多门课程, 每门课程有若干学生选修; 每个学生所学的每门课程都有一个成绩。,S=SNO, SNAME, SDEPT, MNAME, CNAME, GRADE,Student中的样本数据,3、理论形态规范化理论,定义:设有关系模式R(A1, A2, , An),X和Y均为 A1, A2, , An的子集,r是R的任一具体关系(R-型, r-值)。如果R的所有关系r都存在着:对于X的每一 个具体值,都有Y唯一的具体值与之对应,则称X函数 决定Y,或Y函数依赖于X。记为X Y,(1)函数依赖:属性间的关系,函数依赖判别简法:设有属性集X、Y及关系模式R 如果X、Y之间是“1:1”关系,则 XY YX 例:国家 国旗 , 国旗 国家 如果X、Y之间是“N:1”关系,则 XY 例:员工 经理,反之则不行。 如果X、Y之间是“N:M”关系,则 X、Y之间不存在函数依赖,属性组S上的一组函数依赖F: F Sno Sdept, Sdept Mname, (Sno, Cname) Grade ,Student中存在的问题,S=SNO, SNAME, SDEPT, MNAME, CNAME, GRADE,关系模式设计的问题, 数据冗余太大浪费大量的存储空间 例:每一个系主任的姓名重复出现 更新异常(Update Anomalies)数据冗余 ,更新数据时,维护数据完整性代价大。例:某系更换系主任后,系统必须修改与该系学生有关的每一个元组3.插入异常(Insertion Anomalies)该插的数据插不进去 例,如果一个系刚成立,尚无学生,我们就无法把这个系及其系主任的信息存入数据库。 删除异常(Deletion Anomalies)不该删除的数据不得不删例,如果某个系的学生全部毕业了, 我们在删除该系学生信息的同时,把这个系及其系主任的信息也丢掉了。,
网站客服QQ:2055934822
金锄头文库版权所有
经营许可证:蜀ICP备13022795号 | 川公网安备 51140202000112号