第3章学科形态和内在联系2015教程方案.pptVIP

第3章 学科形态和内在联系;三个学科形态：抽象，理论，设计 ;现实问题: 现给出“学生”和“课程”二个实体，它们的联系为：一个学生可以选修若干门课程，每门课程可以被任意学生所选修。建立一个信息管理系统，以实现对“学生选课”这一信息的管理。 解题步骤: 感性认识(抽象)：概念模型(E-R模型)，数据模型 理性认识（理论）：关系模型的形式化 实践（设计）：关系数据库、编程;概念模型;E-R模型（Entity-Relationship）;选修;数据模型;对“学生选课”的感性认识;问题形式化：关系模式的形式化定义 关系模式（R）是一个四元组，即：R=U，D，dom，F 其中：（1）U表示关系中所有属性的集合； （2）D表示属性集合U中属性所来自的域； （3）dom是属性到域的映射； （4）F是属性集合U上的一组数据依赖。 数据依赖 1NF的定义：每一个分量必须是不可再分的数据项。 2NF的定义：R∈1NF，且每一个非主属性不存在对码的部分函数依赖。即每一个非主属性完全函数依赖于码。 3NF的定义：R∈2NF，且每一个非主属性不存在对码的传递函数依赖。 BCNF、4NF、5NF。;例子最初是属于1NF、2NF、3NF，但是当在属性集U中增加系名和系主任后，它就不属于3NF了。因为出现了传递函数依赖：学号（码）→系名，系名→系主任。 不属于3NF的所有关系模型都会出现插入异常、删除异常和冗余的问题。 还必须依靠分解算法对模式进行分解，并满足3NF的要求。例如，可以再划分一个关系，即系（系号，系名，系主任名），从而满足了关系模式规范化的要求，实现了对例子的理性认识。 在数据依赖理论的指导下，可完成模式的分解。;总 结： 从概念模型向满足规范化要求的数据模型（关系模型）的转换，其实质是认识过程由感性认识（抽象）上升到理性认识（理论）的过程，这个过程包含两方面的内容： 一方面是有关理论的建立；（如3NF） 另一方面是如何在理论的指导下，在具体的设计中，实现对客观世界的理性认识。 前者是对科学研究而言的，而后者是对工程设计而言的。;“学生选课”系统的工程设计;完成对“学生选课”的管理：输入，修改，查询 一个简单的查询： 查询性别为男性、年龄在20岁以上的所有学生的学号和姓名： SELECT SNO, SN FROM STUDENT WHERE SEX=‘M’ AND SAGE20;;三个学科形态及内在联系; 三个过程 学科主领域;二维定义矩阵与计算学科本质问题;（1）抽象形态;计算学科中的抽象形态;一般科学技术方法论中的理论形态 科学认识由感性阶段上升为理性阶段，就形成了科学理论。科学理论是经过实践检验的系统化了的科学知识体系，它是由科学概念、科学原理以及对这些概念、原理的理论论证所组成的体系。 理论源于数学，是从抽象到抽象的升华，它们已经完全脱离现实事物，不受现实事物的限制，更能把握事物的本质。;在计算学科中，从统一的理论发展过程来看，理论形态包括以下4个步骤的内容： （1）表述研究对象的特征（定义和公理）； （2）假设对象之间的基本性质和对象之间可能存在的关系（定理）； （3）确定这些关系是否为真（证明）； （4）结论。 在与“学生选课”例子有关的关系数据库领域中，理论形态的主要内容可以用集合的方式表示为：T={关系代数，关系演算，数据依赖理论，…} 在数据库理论的指导下，在关系模型（感性认识）的基础上，建立对“学生选课”问题的理性认识，从而为“学生选课”管理系统的设计奠定基础。;设计形态与抽象、理论两个形态存在的联系 设计源于工程，并用于系统或设备的开发，以实现给定的任务。设计形态（技术方法）和抽象、理论两个形态（科学方法）具有许多共同的特点。 设计作为变革、控制和利用自然界的手段，必须以对自然规律的认识为前提，可以是科学形态的认识，也可以是经验形态的认识。;设计形态与抽象、理论两个形态存在的联系 设计要达到变革、控制和利用自然界的目的，必须创造出相应的人工系统和人工条件，还必须认识自然规律在这些人工系统中和人工条件下的具体表现形式。所以，科学认识方法（抽象、理论两个形态），对具有设计形态的技术研究和开发是有作用的。 设计形态的主要特征（抽象、理论形态的区别） 设计形态具有较强的实践性。 设计形态具有较强的社会性。 设计形态具有较强的综合性。;在计算学科中，从为解决某个问题而实现系统的过程来看，设计形态包括以下4个步骤的内容： （1）需求分析； （2）建立规格说明； （3）设计并实现该系统； （4）对系统进行测试与分析。 设计、抽象