会计电算化系统设计

会计电算化系统设计系统设计是在系统分析的根底上，进一步确定系统的实现方法，给出系统的实现方案。本讲将引见系统设计的普通概念，设计方法和工具。系统设计的义务系统设计的义务是将系统分析得到的系统逻辑模型，转化为可以实现的系统的物理模型。即处理如何做的问题。系统设计的详细义务包括：系统总体设计系统配置设计〔确定系统的硬件构造〕模块构造设计〔确定系统的软件构造〕数据库设计〔确定系统的数据构造〕系统的详细设计代码设计输入输出设计模块设计平安严密设计编写系统设计报告系统设计的原那么经济性原那么地投入，高产出。少花钱，多办事。适用性原那么满足用户的需求〔包括功能、性能等方面〕，运用方便。顺应性原那么顺应环境的变化，容易维护。系统配置设计系统配置设计包括确定系统的体系构造，选择计算机硬件设备，选择系统软件。系统的体系构造单机批处置体系构造联机处置体系构造分布式处置体系构造选择系统软件操作系统、网络操作系统的选择数据库管理系统的选择软件开发工具的选择选择计算机硬件设备机型选择数据量的估算及存储器的选择网络衔接设备的选择输入输出方式确实定及输入输出设备的选择数据库设计信息系统是数据处置系统，哪些数据应该存放在系统中，数据在系统中存放方式如何，对系统的适用性，顺应性，及系统的效率将产生艰苦的影响。数据库设计就是要确定哪些数据应该保管在系统中，以及数据应该怎样被保管在系统中。数据库设计包括数据库的概念设计，数据库的逻辑设计，及数据库的物理设计三个阶段。数据库的概念设计概念设计是对用户的数据需求进展分析，选择出用户感兴趣的有关数据，对其进展笼统，分类，命名，并描画数据之间的关系，得到数据库的概念模型。数据库设计的根据是系统分析阶段的数据字典，概念设计的方法是实体联络方法，所对应的工具是E-R图。概念模型〔实体—联络模型〕实体:客观存在并可以相互区分的事物。实体集：同类实体的集合。属性：实体某方面的特征。实体经过其假设干属性来描画。域：属性的取值范围。实体型：用实体集的称号及其属性名的集合来描画描写同类实体，即得到相应实体集的实体型。实体型是对实体集的笼统。码：独一标识实体的属性集合。联络〔实体型内部的联络，实体型之间的联络〕张三男350.00001王丽女360.00099实体集：职工编号根本工资姓名性别实体:张三属性码实体型：职工〔编号，姓名，性别，根本工资〕三位数字的集合域前往属性值实体型之间的联络的种类及其表示一对一〔1:1〕：假设实体集A中的一个实体，在实体集B中至多只需一个实体与之对应，反之亦然，那么称实体集A与实体集B的联络是一对一的。一对多〔1:m〕：假设实体集A中的一个实体，在实体集B中有多个实体与之对应，反之，实体集B中的一个实体，在实体集A中至多只需一个实体与之对应，那么称实体集A与实体集B的联络是一对多的。多对多〔m:n〕：假设实体集A中的一个实体，在实体集B中有多个实体与之对应，反之亦然，那么称实体集A与实体集B的联络是多对多的。班长学生学生班级管理班级社团隶属隶属111mmn实体B实体A联络名？？实体型之间的联络的种类及其表示例：E-R图用图形方式直观的描画实体型及其联络。实体联络模型是概念级的模型，是各种机器数据模型的根底。在实践运用中要转换成机器数据模型才干得到DBMS的支持。学生学号姓名出生日期性别班级编号课程课程编号课程称号学时数学分选修mn成果E-R图例如学生学号姓名出生日期性别班级编号课程课程编号课程称号学时数学分选修mn成果E-R图例如属性实体实体间的联络也能够需求属性来描画联络数据库的逻辑设计数据库的逻辑设计要将数据库的概念模型转换为数据库管理系统所支持的机器数据模型，并进展优化。机器数据模型可分为:层次模型，网状模型和关系模型，前两者已被淘汰。以下现引见关系模型，在引见将概念模型转换为关系模型的方法及其优化方法。关系模型数据构造〔二维表〕关系模型用二维表来表示实体集和实体间的联络。一张二维表就是一个关系。二维表既可以表示实体集，也可以表示实体集之间的联络，且不论这种联络是什么类型的〔1:1/1:m/m:n〕，都不需求作任何转换。关系模型实例概念模型学生学号姓名出生日期性别班级编号课程课程编号课程称号学时数学分选修mn成果学号姓名出生日期性别班号s01张三1980.2.1男9801︰︰：：：：：课号课名学时数学分c01数学806：：：：学生关系课程关系学号课号成绩s01c0185:::选课关系关系模型关系模型的常用术语域〔Domain〕：值的集合迪卡尔积〔CartesianProduct〕：一组域D1,D2,…,Dn的迪卡尔积D1×D2×…×Dn记为: D1×D2×…×Dn={(d1,d2,…,dn)|di∈Di,i=1,2,…,n}如：假设有域D1={s01,s02},D2={张三，李四}，D3={01,02}那么：D1×D2×D3={(s01,张三,01),(s01,张三,02),(s01,李四,01),(s01,李四,02),(s02,张三,01),(s02,张三,02),(s02,李四,01),(s02,李四,02)}关系模型的常用术语〔续〕关系〔Relation〕:迪卡尔积的子集。元组〔Tuple〕：表中的一行，表示一个实体。在一个关系中，不得有两个一样的元组，元组的次序无关紧要。属性〔Attribute〕：关系二维表中的一列，列的次序无关紧要。分量〔Component〕：元组中的属性值取前述迪卡尔积的子集构成学生关系：学生关系={(s01,张三,01),(s02,李四,01)}用表格表示：学号姓名班号s01张三01s02李四02元组属性分量关系模型的常用术语〔续〕主码〔Primarykey〕：关系的一个最小属性集合，关系中的每个元组在此属性集上的取值不同。因此能独一地域分关系中的各元组。有时一个关系中有多个这样的属性集，那么取一个为主码，其他的叫候选码〔Candidatekey〕学号姓名班号s01张三01s02李四02主码关系模型的常用术语〔续〕关系方式〔Relationschema〕：关系方式是对关系的描画，它包括关系名、组成关系的各属性、属性到域的映射关系、属性间的依赖关系等。属性到域的映射关系经常直接阐明为属性的类型和长度。关系方式可简记为：关系名〔属性集〕学号姓名班号s01张三01s02李四02上述关系的关系方式：学生〔学号，姓名，班号〕关系模型的完好性约束关系模型的完好性约束可分为三类实体完好性约束(EntityIntegrity)〔主码约束/主键约束〕假设属性A是根本关系R的主码的组成部分，那么属性A不能取空值。根本关系：所谓根本关系〔根本表/基表〕是实践存在的表，是实践存储数据的逻辑表示。它与视图表、查询表不同，后者不对应实践存储的数据。空值：不知道的或无意义的值。学号姓名班号s01张三01s02李四02学生〔学号，姓名，班号〕不得取空值关系模型的完好性约束〔续〕参照完好型约束(ReferentialIntegrity)假设根本关系R1中含有与另一个根本关系R的主码K对应的的属性组FK〔FK称为R1的外部码〕,且K和FK定义在同一个〔一组〕域上，那么对R1的元组来说，FK要么取空值，要么取R中某个元组对应的主码值。学号姓名出生日期性别班号s01张三1980.2.1男9801︰︰：：：：：课号课名学时数学分c01数学806：：：：学生关系课程关系学号课号成绩s01c0185:::选课关系关系模型的完好性约束〔续〕用户定义的完好性约束实体完好性约束和参照完好性约束用于任何关系数据库系统，而用户定义的完好性约束那么是针对某个详细的数据库的。它由用户的详细运用要求而定。如：规定属性根本工资的取值不得低于300元。关系模型必需提供定义和检查上述三类完好性约束的机制。职工号姓名基本工资E01张三400:::不得低于300关系模型的数据支配关系模型的数据支配是基于严厉的数学实际的。它具有以下特点：操作是集合操作：操作的对象和操作的结果都是记录集合〔关系〕言语是非过程化的：用户只需指出干什么，而不用指出怎样干。关系数据支配言语的数学根底：关系代数或关系演算，前者是基于代数方式的，而后者那么是基于逻辑方式的。关系演算按谓词变元的根本对象是元组变量还是域变量又可分为元组关系演算和域关系演算，这两〔三〕种方式的才干是等价的。即：用关系代数能完成的操作，用关系演算也能完成，反之亦然。将概念模型转换为关系模型将概念模型中的每个实体转换为一个关系转换规那么：实体名为关系名，实体的属性为关系的属性，实体的码为关系的码。将概念模型中实体与实体的联络转换为一个关系转换规那么：联络名为关系名，相联络的两个实体的码以及描画联络的属性成为关系的属性，假设联络是多对多的，那么两个实体的码共同组成关系的码；假设联络是一对多的，那么多方实体的码成为关系的码；假设联络是一对一的，那么两个实体的码均可作为关系的候选码。将码一样的关系进展合并概念模型转换为关系模型例如概念模型学生学号姓名出生日期性别班号课程课程编号课程称号学时数学分选修mn成果选课关系(学号，课程编号，成果)课程关系(课程编号，课程称号，学时数，学分)关系模型学生关系(学号,姓名,出生日期,性别,班号〕关系的规范化一个关系中的属性相互之间存在联络，我们称之为数据依赖。不良的数据依赖使得在存放数据时产生许多问题。这些问题是：数据冗余以及由此引起的空间浪费，数据修正困难。数据插入异常和删除异常例如：对下述关系，假设有100个学生，这些学生同属一个专业，该专业为一年制，每个同窗选修了同样的20门课程。试分析其存在的问题。学生〔学号，姓名，性别，年龄，专业编号，专业称号，课程编号，课程称号，成果〕问题学号姓名性别年龄专业编号专业名称课程编号课程名称成绩1张一男2001理财01计算机801张一男2001理财02英语78………………………1张一男2001理财20会计912李二男1901理财01计算机85………………………100陈百女2001理财20会计67冗余度大插入异常删除异常函数依赖函数依赖定义：设R(U)是属性集U上的一个关系方式，X,Y是U的子集，假设对关系方式R(U)的任何一个当前关系，不能够有两个元组在属性集X上的值一样而在属性集Y上的值不同，那么称X函数决议Y或Y函数依赖于X，记作XY。完全函数依赖和部分函数依赖假设XY，且对X的任何一个真子集X’都有XY，那么称X完全函数决议Y，或Y完全函数依赖于X。记作XY。否那么称X部分函数决议Y，或Y部分函数依赖于X，记作：XY。传送函数依赖假设对于属性集X、Y、Z，有XY，YX，YZ，那么称X传送函数决议Z，或Z传送函数依赖于X，记作XZ。tfp码、主属性与非主属性码：对于关系方式R(U)，K包含于U中，假设KU，那么称K为R(U)的码。主属性与非主属性：包含在码中的属性为主属性，否那么为非主属性。f范式范式的概念满足某些确定的约束条件的关系的集合，称之为范式。按照约束条件的严厉程度，将范式分为不同的级别。在函数依赖的范畴中，范式按级别高低依次是1NF,2NF,3NF和BCNF。1NF假设一个关系的一切属性都是原子属性，那么该关系属于第一范式。2NF假设关系R∈1NF，且R中不存在非主属性对码的部分函数依赖，那么称R∈2NF。3NF假设关系R∈2NF，且R中不存在非主属性对码的传送函数依赖，那么称R∈3NF。BCNF假设关系R中任何非平凡函数依赖的左面均包含了R的一个码，那么称关系R∈BCNF。关系的规范化1NF2NF学生〔学号，姓名，性别，年龄，专业编号，专业称号〕学生〔学号，姓名，性别，年龄，专业编号，专业称号，课程编号，课程称号，成果〕学生选课〔学号，课程编号，成果〕课程〔课程编号，课程称号〕投影破坏非主属性对码的部分函数依赖不丧失属性维持原有数据间的关系关系的规范化2NF3NF学生〔学号，姓名，性别，年龄，专业编号，专业称号〕学生〔学号，姓名，性别，年龄，专业编号〕学生〔专业编号，专业称号〕投影破坏非主属性对码的传送函数依赖不丧失属性维持原有数据间的关系数据库的物理设计略模块构造设计模块构造设计的义务是设计出软件的总体构造，即软件由哪些功能模块组成，模块间的相互关系如何。构造化设计方法：模块化，由顶向下，逐渐求精模块的概念模块是组成系统的，可以组合，分解，改换的，易于处置的具有一定功能的程序单元。模块之间具有一定的独立性，可以单独的被了解、编程、测试和修正。模块具有的特性：外部特性：功能，输入输出。内部特性：程序逻辑，内部数据。模块构造设计的义务是确定系统中各模块的外部特性。详细设计中的模块设计那么是确定模块的内部特性。模块化及模块化的益处模块化：将一个系统分成假设干模块，每一个模块完成一定的功能，一切模块合在一同协同地完成系统的功能优点：〔1〕采取“分二治之〞的战略，减少开发任务量系统 复杂度 任务量S C〔S〕 E〔S〕S1，S2，---SnC〔S1+S2+---+Sn〕E〔S1+S2+---+Sn〕C〔S〕=C〔S1+S2+------+Sn〕>C〔S1〕+-------+C〔Sn〕E〔S〕=E〔S1+S2+------+Sn〕>E〔S1〕+--------+E〔Sn〕=En〔S〕模块过多，需求处置模块间接口的任务量大。〔2〕便于进展团队开发模块划分的优劣判别实现系统所要求的功能;便于系统的研制和维护〔减少系统开发的任务量：减少编写每个模块的任务量