计算机科学和技术方法论3.pptVIP

第3章 计算学科中的三个学科形态;?三个学科形态;一般科学技术方法论中有关抽象形态的论述;计算学科中抽象形态;;一般科学技术方法论中有关理论形态的论述;计算学科中理论形态;;一般科学技术方法论中有关设计形态的论述;计算学科中的设计形态;;一般科学技术方法论中有关3个学科形态内在联系的简要论述;计算学科中有关3个学科形态内在联系 的论述;4、各领域中三个形态的主要内容 （P54-P59）;二、例子1 信息系统（数据库）三种形 态实例 （P44-P48）;信息管理系统涉及的软件： 应用软件 中间件及工具软件 数据库管理系统 DBMS (Database management system) 操作系统（operating system，OS）; 实体：客观存在并可相互区别的事物 ? 实体集 属性：实体所具有的某一方面的特性 关键字（码）：能唯一标识实体的属性集 联系：不同实体集之间的联系 1:1， 1:N， N:M;联系; 三种图元素：实体(矩形)、属性(椭圆)、联系(菱形) P45 图3.1 学生选课E-R图;E-R模型（Entity-Relationship）;E-R模型（Entity-Relationship）;E-R图示例1;E-R图示例2;图3.1 学生选课E-R图;学生选课E-R图扩展;;概念模型; 实体及实体之间的联系均用关系（二维表）表示 笛卡尔积：设D1，D2，…，Dn为任意集合，定义 D1，D2，…，Dn笛卡尔积为： D1 ? D2 ? … ? Dn = {(d1, d2, …, dn)|di?Di, i=1, …, n} 关系：笛卡尔积D1 ? D2 ? … ? Dn的任意一个子集，称为 D1，D2，…，Dn上的一个n元关系 关系模式：二维表的表框架，R = U，F U：关系中所有属性的集合 F：属性集合U上的一组函数依赖;准备知识-笛卡尔积;;二维表例;关系模式设计的问题;关系模式设计的问题;Student中的样本数据;3、理论形态——规范化理论; 函数依赖判别简法：设有属性集X、Y及关系模式R ① 如果X、Y之间是“1:1”关系，则 X?Y Y?X 例：国家 国旗 ， 国旗 国家 ② 如果X、Y之间是“N:1”关系，则 X?Y 例：员工 经理，反之则不行。 ③ 如果X、Y之间是“N:M”关系，则 X、Y之间不存在函数依赖; 属性组S上的一组函数依赖F： F ＝｛ Sno → Sdept, Sdept → Mname, (Sno, Cname) → Grade ｝;关系模式设计的问题; 插入异常 删除异常 冗余太大; 1NF（1 Normal Form）:每个属性值都是不可再分的 最小单元 2NF：若R?1NF，且每一非主属性不存在对关键字的 部分依赖，则R?2NF。 部分依赖：设R中X?Y，Y–X??，如果存在X的真 子集X1?Y成立，则称Y部分依赖于X，否则称Y完 全函数依赖于X。; 3NF：若R?2NF，且每一非主属性不存在对关键字 的传递依赖，则R?3NF。 传递依赖：对R，X、Y、Z均为R的属性子集，如果 X?Y，Y–Z，则称Z传递依赖于X。;规范化理论;第一范式(1NF) (1 of 2) ;第一范式(1NF) 例 ;;三、第二范式(2NF) (1 of 2) ;第二范式(2NF) (2 of 2) ;;第三范式(3NF);;结论：从感性认识（抽象）而来的关系模式，必须 用规范化（理论）方法，使之在3NF以上。;4、设计形态——依赖具体的DBMS进行定义与应用 （SQL语句）;SQL功能;典型语句：;基本表的定义示例 I;基本表的定义示例 II;SELECT 从数据库中检索行，并允许从一个或多个表中选择一个或多 个行或列。虽然 SELECT 语句的完整语法较复杂，但是其主 要的子句可归纳如下： SELECT select_list[ INTO new_table ] FROM table_source [ WHERE search_condition ] [ GROUP BY group_by_expressi