9.1系统详细设计概述 9.1.1软件系统的详细设计 9.1.2数据库系统的详细设计 9.2数据库的逻辑设计 9.2.1数据库逻辑设计的过程 9.2.2关系数据库的逻辑设计 9.3数据库的物理设计 9.3.1获取数据库系统事务对象的基本信息 9.3.2确定数据库的存取方法 9.3.3确定数据库的存储结构 9.3.4数据的物理结构评价 9.4详细设计的工具 9.4.1程序流程图 9.4.2IPO图

主要任务：得出详细的系统逻辑模型。 具体内容为： 1 进一步准确定义对系统包括功能要求、性能要求、运行要求及以后的修改、维护及扩充要求在内的综合要求；

一. 多维数组 知识点： 1.多维数组的逻辑结构和存储结构（理解） 2.特殊矩阵的压缩存储(掌握)

数据结构是一门研究数据的逻辑关系、存储方法和基本运算的一般方法的学科

什么是I/O接口？ 把外设连接到总线上的一组逻辑电路的总称。实现外设与主机之间的信息交换

定义：能根据程序指令和要求，自动进行高速的数值运算和逻辑运算，同时具有存储、记忆功能的电子继承设备

4.1关系运算及其表达式 4.2逻辑运算及其表达式 4.3if语句 4.4 switch语句 4.5选择结构程序举例

分布式B 物理上分布在网络不同节点上的数据,从 逻辑上可看作是一个整体(DB)

一、线性表及逻辑结构 二、线性表的顺序存储 三、线性表的链式存储 四、链式存储结构的应用

• 程序逻辑：描述和论证程序行为的逻辑 – Hoare逻辑 – Dijkstra最弱前条件演算 • 从程序到定理 – 验证条件生成 • 从定理到证明 – 定理证明器 – 判定过程 • 循环不变式的推断 • 以George C. Necula教授的讲稿为主来介绍