软件工程概论03

软件需求分析的任务和过程结构化分析方法原型化方法动态分析方法

数据及数据库需求软件需求分析软件需求求分析的的任务深入描述述软件的的功能和和性能确定软件件设计的的约束和和软件同同其它系系统元素素的接口口细节定义软件件的其它它有效性性需求需求分析析研究的的对象是是软件项项目的用用户要求求准确地表表达被接接受的用用户要求求确定被开开发软件件系统的的系统元元素将功能和和信息结结构分配配到这些些系统元元素中需求分析析的任务务就是借助助于当前前系统的的逻辑模模型导出出目标系系统的逻逻辑模型型，解决决目标系系统的““做什么”的问问题。通常软件件开发项项目是要要实现目目标系统统的物理理模型目标系统统的具体体物理模模型是由由它的逻逻辑模型型经实例例化，即即具体到到某个业业务领域域而得到到的需求分析析的过程程(1)问题识别别从系统的的角度来来理解软软件并评评审软件件范围是是否恰当当确定对目目标系统统的综合合要求，，即软件件的需求求提出这些些需求实实现条件件，以及及需求应应达到的的标准软件的需需求包括括：功能需求求性能需求求环境需求求可靠性需需求安全保密密要求用户界面面需求资源使用用需求成本消耗耗需求开发进度度需求预先估计计以后系系统可能能达到的的目标问题识别别的另一一项工作作是建立立分析所所需要的的通信途途径，以以保证能能顺利地地对问题题进行分分析。(2)分析与综综合从信息流和信息结构构出发，逐步细化化所有的的软件功功能，找出系统各元元素之间间的联系系、接口特性性和设计上的的约束，分析它它们是否否满足功功能要求求，是否否合理。。剔除其其不合理理的部分分，增加加其需要要部分。。最终综综合成系系统的解解决方案案，给出出目标系统统的详细细逻辑模模型。常用的分分析方法法面向数据据流的结构化化分析方方法(SA)面向数据据结构的Jackson方法(JSD))面向数据据结构的结构化化数据系系统开发发方法(DSSD)面向对象象的分析方方法(OOA))等(3)编制需求求分析阶阶段的文文档软件需求求说明书书数据要求求说明书书初步的用用户手册册修改、完完善与确确定软件件开发实实施计划划(4)需求分析析评审系统定义义的目标标是否与与用户的的要求一一致;系统需求求分析阶阶段提供供的文档档资料是是否齐全全;文档中的的所有描描述是否否完整、、清晰、、准确反反映用户户要求;;与所有其其它系统统成分的的重要接接口是否否都已经经描述;被开发项项目的数数据流与与数据结结构是否否足够，，确定;;所有图表表是否清清楚，在在不补充充说明时时能否理理解;主要功能能是否已已包括在在规定的的软件范范围之内内，是否否都已充充分说明明;设计的约约束条件件或限制制条件是是否符合合实际;;开发的技技术风险险是什么么;是否考虑虑过软件件需求的的其它方方案;是否考虑虑过将来来可能会会提出的的软件需需求;是否详细细制定了了检验标标准，它它们能否否对系统统定义是是否成功功进行确确认;需求分析析流程软件需求求分析的的原则需要能够够表达和和理解问问题的信信息域和和功能域要能以层层次化的的方式对对问题进进行分解和不断细化要给出系系统的逻辑视图图和物理视图图软件需求求规格说说明的原原则从现实中中分离功功能，即即描述要要“做什么”而不是是“怎样实现现”要求使用用面向处理理的规格说说明语言言（或称称系统定定义语言言）如果被开开发软件件只是一一个大系系统中的的一个元元素，那那么整个个大系统统也包括括在规格格说明的的描述之之中规格说明明必须包包括系统统运行环环境规格说明明必须是是一个认认识模型型规格说明明必须是是可操作作的规格说明明必须容容许不完完备性并并允许扩扩充规格说明明必须局局部化和和松散耦耦合软件需求求方法需求分析析方法由由对软件件问题的的信息域和功能域的系统分分析过程程及其表表示方法法组成大多数的的需求分分析方法法是由信息驱动动的信息域具具有三种种属性::信息流、信息内容容和信息结构构。结构化分分析方法法面向数据据流进行行需求分分析的方方法结构化分分析方法法适合于于数据处处理类型型软件的的需求分分析具体来说说，结构构化分析析方法就就是用抽象模型型的概念，，按照软软件内部部数据传递递、变换的关系，，自顶向下下逐层分分解，直到找找到满足足功能要要求的所所有可实实现的软软件为止止结构化分分析方法法使用工工具：数据流图图数据词典典结构化英英语判定表与与判定树树数据流图图数据流图图中的主主要图形形元素数据加工工(数数据变换换)数据源点点或终点点(外外部实体体)数据流数据存储储文件描述银行行取款过过程的数数据流图图数据流与与数据加加工之间间的关系系数据流图图的层次次结构为了表达达数据处处理过程程的数据据加工情情况，需需要采用用层次结构构的数据流流图。按按照系统统的层次次结构进进行逐步分解解，并以分分层的数数据流图图反映这这种结构构关系，，能清楚楚地表达达和容易易理解整整个系统统分层的数数据流图图在多层数数据流图图中，顶层流图图仅包含一个加工工，它代表表被开发发系统。。它的输输入流是是该系统统的输入入数据，，输出流流是系统统所输出出数据底层流图图是指其加工不需需再做分分解的数据流流图，它它处在最最底层中间层流流图则表示对其上层层父图的的细化。它的每每一加工工可能继继续细化化，形成成子图。。结构化分分析方法法步骤示示例商店业务务处理系系统这个数据据流图只只是一个个高层的的系统逻逻辑模型型，它反反映了目目标系统统要实现现的功能能数据流图图绘制步步骤首先确定定系统的的输入和和输出根据商店店业务，，画出顶顶层数据据流图，，以反映映最主要要业务处处理流程程经过分析析，商店店业务处处理的主要功能能应当有销售、采购、会计三大项。。主要数据据流输入入的源点点和输出终点点是顾客和供应商。然后从输输入端开开始，根根据商店店业务工工作流程程，画出出数据流流流经的的各加工工框，逐逐步画到到输出端端，得到到第一层层数据流流图第一层数数据流图图加细每一一个加工工框销售细化化采购细化化检查和修修改数据据流图的的原则数据流图图上所有有图形符符号只限于前述四种种基本图图形元素素数据流图图的主图必须须包括前前述四种种基本元元素，缺一不不可数据流图图的主图图上的数数据流必必须封闭闭在外部部实体之之间每个加工工至少有一一个输入入数据流流和一个个输出数数据流在数据流流图中，，需按层给加加工框编编号。编号表表明该加加工所处处层次及及上下层层的亲子子关系规定任何何一个数数据流子子图必须须与它上上一层的的一个加加工对应应，两者者的输入入数据流流和输出出数据流流必须一一致。此此即父图与子子图的平平衡可以在数数据流图图中加入入物质流流，帮助助用户理理解数据据流图图上每个个元素都都必须有有名字数据流图图中不可可夹带控控制流初画时可可以忽略略琐碎的的细节，，以集中中精力于于主要数数据流数据词典典数据词典典与数据据流图配配合，能能清楚地地表达数数据处理理的要求求词条描述述———对于于在数据据流图中中每一个个被命名名的图形形元素，，均加以以定义，，其内容容有:名字，别名或编编号，分类，描述，定义，位置，其它，等（1）数数据流词词条描述述数据流名名：说明：简简要介绍绍作用即即它产生生的原因因和结果果数据流来来源：来来自何方方数据流去去向：去去向何处处数据流组组成：数数据结构构数据量流流通量：：数据量量，流通通量（2）数数据元素素词条描描述数据元素素名：类型：数数字（离离散值，，连续值值），文文字（编编码类型型）长度：取值范围围：相关的数数据元素素及数据据结构：：（3）数数据文件件词条描描述数据文件件名：简述：存存放的是是什么数数据输入数据据：输出数据据：数据文件件组成：：数据结结构存储方式式：顺序序，直接接，关键键码存取频率率：（4）加加工逻辑辑词条描描述加工名：：加工编号号：反映映该加工工的层次次简要描述述：加工工逻辑及及功能简简述输入数据据流：输出数据据流：加工逻辑辑：简述述加工程程序，加加工顺序序（5）源源点及汇汇(终))点词条条描述名称：外外部实体体名简要描述述：什么么外部实实体有关数据据流：数目：数据结构构的描述述符号含义举例例＝被定义为为＋与x=a＋b[....,....]或[....||....]或x=[a,b]，x=[a|b]{....}}或m{....}n重复x={a}，x=3{a}8(....)可选x=(a)“....”基本数据据元素x=“a”..连结符x=1...9存折格式式存折＝户户名＋所所号＋帐帐号＋开开户日＋＋性质＋＋(印密密)＋1{存取取行}50户名＝2{字母母}24所号＝““001”...“999”帐号＝““00000001””..““99999999””开户日＝＝年＋月月＋日性质＝““1”...“6”注：“1”表示示普通户户，“5”表示示工资户户等印密＝““0”注：印密密在存折折上不显显示存取行＝＝日期＋＋（摘要要）＋支支出＋存存入＋余余额＋操操作＋复复核

对数据流流图的每每一个基基本加工工，必须须有一个个基本加加工逻辑辑说明基本加工工逻辑说说明必须须描述基基本加工工如何把输输入数据据流变换换为输出出数据流流的加工工规则加工逻辑辑说明必必须描述述实现加加工的策策略而不不是实现现加工的的细节加工逻辑辑说明中中包含的的信息应应是充足足的，完完备的，，有用的的，无冗冗余的基本加工工逻辑说说明用于写加加工逻辑辑说明的的工具结构化英英语判定表判定树（1）结结构化英英语结构化英英语的词词汇表由由英语命令令动词数据词典典中定义义的名字字有限的自自定义词词逻辑关系系词IF_THEN_ELSE、CASE_OF、WHILE_DO、REPEAT__UNTIL等组成。。是一种介介于自然然语言和和形式化化语言之之间的语语言语言的正文用基基本控制制结构进进行分割割，加工中中的操作用自自然语言言短语来来表示其基本控控制结构构有三种种：简单陈述述句结构构：避免复复合语句句；重复结构构：while_do或repeat_until结构。判定结构构：if_then_else或case_of结构；商店业务务处理系系统中““检查发发货单””if发货单金金额超过过$500thenif欠款超过过了60天then在偿还欠欠款前不不予批准准else（欠款未超超期）发批准书书，发货货单else（发货单金金额未超超过$500））if欠款超过过60天天then发批准书书，发货货单及赊赊欠报告告else（欠款未超超期）发批准书书，发货货单（2）判判定表如果数据据流图的的加工需需要依赖赖于多个逻辑辑条件的的取值，使用判判定表来来描述比比较合适适以“检查查发货单单”为例例（3）判判定树判定树也也是用来来表达加加工逻辑辑的一种种工具。。有时侯侯它比判判定表更更直观。。检查发货单金额>$$500金额$500欠款>60天不发出批批准书欠款60天发货单发出批准准书、欠款>60天发出批准准书、发货单及及赊欠报报告欠款60天发出批准准书、发货单原型化方方法在开发初初期，要要想得到到一个完完整准确确的规格格说明不不是一件件容易的的事。特特别是对对一些大大型的软软件项目目。用户往往往对系统统只有一一个模糊糊的想法法，很难难完全准准确地表表达对系系统的全全面要求求。软件开发发者对于于所要解解决的应应用问题题认识更更是模糊糊不清随着开发发工作向向前推进进，用户户可能会会产生新新的要求求，或因因环境变变化，要要求系统统也能随随之变化化；开发发者又可可能在设设计与实实现的过过程中遇遇到些没没有预料料到的实实际困难难，需要要以改变变需求来来解脱困困境。因此规格格说明难难以完善善、需求求的变更更、以及及通信中中的模糊糊和误解解，都会会成为软软件开发发顺利推推进的障障碍。为解决这这些问题题，逐渐渐形成了了软件系系统的快快速原型型的概念念。软件原型型的分类类在软件开开发中，，原型是是软件的的一个早早期可运运行的版版本，它它反映最最终系统统的部分分重要特特性。探索型：：目的是要要弄清对对目标系系统的要要求，确确定所希希望的特特性，并并探讨多多种方案案的可行行性。实验型：：这种原型型用于大大规模开开发和实实现之前前，考核核方案是是否合适适，规格格说明是是否可靠靠。进化型：：这种原型型的目的的不在于于改进规规格说明明，而是是将系统统建造得得易于变变化，在在改进原原型的过过程中，，逐步将将原型进进化成最最终系统统。原型使用用策略废弃策略略追加策略略建立快速速原型，，进行系系统的分分析和构构造的好好处：增进软件件者和用用户对系系统服务务需求的的理解，，使比较较含糊的的具有不不确定性性的软件件需求（（主要是是功能））明确化化。软件原型型化方法法提供了了一种有有力的学学习手段段。使用原型型化方法法，可以以容易地地确定系系统的性性能，确确认各项项主要系系统服务务的可应应用性，，确认系系统设计计的可行行性，确确认系统统作为产产品的结结果。软件原型型的最终终版本，，有的可可以原封封不动地地成为产产品，有有的略加加修改就就可以成成为最终终系统的的一个组组成部分分，这样样有利于于建成最最终系统统。原型开发发技术可执行规规格说明明基于脚本本(scenario)的设计自动程序序设计专用语言言可复用((reusable)的软件简化假设设可执行规规格说明明可执行规规格说明明是用于于需求规规格说明明的一种种自动化化技术。。使用这这种方法法，人们们可以直直接观察察他们用用语言规规定的任任何系统统性行为为。包括括代数规格格说明有限状态态模型可执行的的数据流流图（1）代数规格格说明代数规格格说明使使用集合合、定义义于这些些集合上上的函数数和定义义于这些些函数上上的方程程来描述述对象。。规格说说明的操操作语义义用这些些方程表表示。NEW__STACK：：→StackPUSH：Stack，Element→→StackPOP：：Stack→((Element||Undefined))POP((NEW_STACK(()))＝＝UndefinedPOP((PUSH((stk，elem))＝＝elem其中，前前三行定定义了操操作的语语法，后后两行把把它们的的语义定定义为一一些方程程。举例：定定义一个个无界的的栈及其其操作（2）有限状态态模型parnas提出的使使用最广广泛的一一种可执执行规格格说明形形式。从从一个初初始状态态开始接收输入入，到产生输出出，状态在推移变化化。施加在在状态元元素上的的约束确确定了有有效状态态的推移移。举例：建建立用户户／程序序对话（3）可执行的的数据流流图数据流图图是基于于结构化化开发方方法的结结构化规规格说明明用一种可可执行的的语言程程序代替替定义处处理逻辑辑的结构构化英语语，数据据流图就就成为由由可执行行语言程程序模块块组成的的网络，，在一定定环境或或工具的的支持下下就可成成为一个个可以执执行的原原型系统统。基于脚本本的设计计脚本是指指用户界界面的原原型。一一个脚本本用以模模拟在系系统运行行期间用用户经历历的事件件。它提提供了输输入─处处理─输输出的屏屏幕格式式和有关关对话的的模型。。因此，，软件开开发者能能够给用用户显示示系统的的逼真的的视图，，使用户户得以判判断是否否符合他他的意图图。可在任一一脚本中中使用一一套可复复用的软软件模块块，以表表达某一一方面的的要求。。可使用一一种原型型语言来来描述原原型系统统。原型型开发过过程中用用这种语语言来定定义屏幕幕、数据据项、及及其相关关的操作作。从系系统的外外部描述述开始，，开发与与数据库库的接口口、错误误处理和和恢复过过程等系系统的与与外部视视图一致致的细节节。自动程序序设计自动程序序设计是是指在程程序自动动生成环环境的支支持下，，利用计计算机实实现软件件的开发发。它可可以自动动地或半半自动地地把用户户的非过过程式问问题规格格说明转转换为某某种高级级语言程程序：演绎综合合手段：：基于数学学推理的的构造式式证明。。程序变换换手段：：将一程序序转换成成另一功功能等价价的程序序，并保保持其正正确性不不变。实例推广广手段：：从实例特特征出发发，将它它推广为为待编程程序的特特征，最最后得到到程序。。过程化手手段：研究甚高高级语言言的编译译和知识识的过程程化。专用语言言专用语言言是应用用领域的的模型化化语言。。在原型型开发中中使用专专用语言言，可方方便用户户和软件件开发者者在计划划中的系系统特性性方面的的交流。。软件复用用技术利用可复复用的模模块，做做出适当当的组合合，就可可得到快快速构造造的原型型系统。。为了快速速地构造造原型，，这些模模块首先先必须有有简单而而清晰的的界面；；其次它它们应当当尽量不不依赖其其它的模模块或数数据结构构；第三三，它们们应具有有一些通通用的功功能。简化假设设简化假设设是在开开发过程程中使设设计者迅迅速得到到一个简简化的系系统所做做的假设设。尽管管这些假假设可能能实际上上并不能能成立，，但它们们在原型型开发过过程中可可以使开开发者的的注意力力集中在在一些主主要的方方面。在修改一一个文件件时，可可以假设设这个文文件确实实存在在存取文文件时，，待存取取的记录录总是存存在一旦计划划中的系系统满足足用户所所有的要要求，就就可以撤撤消这些些假设，，并追加加一些细细节。系统动态态分析系统的需需求规格格说明通通常是用用自然语语言来叙叙述的，，但是用用自然语语言描述述往往会会出现歧歧义性。。为了直观观地分析析系统的的动作，，从特定定的视点点出发描描述系统统的行为为，需要要采用动动态分析析的方法法。最常用的的动态分分析方法法状态迁移移图时序图Petri网状态迁移移图状态迁移移图是描描述系统统的状态态如何相相应外部部的信号号进行推推移的一一种图形形表示。。圆圈“○”表示可可得到的的系统状态箭头“→”表示从从一种状状态向另另一种状状态的迁移。例如,当当有多多个申请请占用CPU运行的进进程时,,有有关CPU分配的进进程的状状态迁移移。可得到的的状态＝＝就绪，，运行，，等待生成的事事件＝t1，t2，t3，t4t1──中断事件件t2──中断已处处理t3──分配CPUt4──用完CPU时间状态迁移移图的优优点状态之间间的关系系能够直直观地捕捕捉到由于状态态迁移图图的单纯纯性，能能够机械械地分析析许多情情况，可可很容易易地建立立分析工工具在系统分分析中，，用时序图于对比在在系统中中处理事事件的时时序和相相应的处处理时间间。在右右图中,,对于事件e,功能1～～功能3的处理时时间总计为(T1＋T2＋＋T3））其中功能能间切换时间间0。时序图采用扩充充时序图图可表示示进程间间的通信信流,用用于分析析几个事事件的的交错现现象。，，C1与C2，R1与R2是交错的的。因此此，可以以做如下下分析：：“必须设计计成HOST1在等待C1的回答R1期间要能能接收从从HOST2发出的命命令C2。”Petri网Petri网已广泛泛地应用用于硬件件与软件件系统的的开发中中，它适适用于描描述与分分析相互互独立、、协同操操作的处处理系统统，也就就是并发发执行的的处理系系统。Petri网简称PNG(PetriNetGraph)，它有两种种结点：：位置(place)：符号为““○”，，它用来来表示系系统的状态。转移(transition)：符号为““”,它它用来表表示系统统中的事件。图中的有有向边表表示对转移的的输入，或由转移的的输出标记，或称令牌(token)，是表明系系统当前前处于什什么状态态的标志志处理两个个进程的的同步问问题数据及数数据库需需求在数据词词典中，，强调对对数据存存储结构构的逻辑辑设计，，并用数数据结构构表达数数据项之之间的逻逻辑关系系。但任何一一个软件件系统都都可能有有成千上上万个数数据项，，仅仅描描述这些些数据项项是不够够的，更更重要的的是如何何把它们们以最优优的方式式组织起起来，以以满足系系统对数数据的要要求。有关数据据库的基基本概念念在软件系系统中需需要处理理的数据据是现实实世界中中存在的的事物及及其联系系的反映映。人们通常常将与数数据处理理有关的的的领域域分为三三个世界界：现实世界界信息世界界数据世界界现实世界界是存在于于人们头头脑之外外的客观观世界，，现实世世界中的的事物可可分成对象和性质两大类。。对象可以是人人、是物物，还可可以是实实际的东东西或概概念的东东西，例例如，大大学、城城市等。。对象还还可以指指事物与与事物间间的联系系。性质则是指事事物的性性质或特特征。信息世界界也叫做观观念世界界，是现现实世界界在人们们头脑中中的反映映。客观世界界中的事事物在信信息世界界中叫做做实体，反映事物物之间联联系的叫叫做实体模型型。实体是由由若干属属性的属属性值组组成。属性是实体某某一方面面的特征征，相应应于事物物的性质质。例如如，一个个学生实实体是如如下的一一个5元元组：(951149,袁袁秋慧慧,女女,19,软软件))5元组中中每一元元素是学学生的某某一属性性的属性性值。他他们对应应的属性性集合是是：这些属性性集合表表征了““学生””实体的的类型，，叫做实体型。同一类类型的实实体的集集合叫做做实体集。数据世界界则是信息息世界中中信息的的数据化化，现实实世界中中的事物物及其联联系在数数据世界界中用数数据模型型描述。。(学号,,姓名名,性性别,年年龄,,专业业)描述每一一实体的的数据称称为记录，描述属性性的数据据叫做数据项或字段。与实体集集相对应应的称为为文件。例如，学学生文件件就由多多个记录录组成，，这些记记录放在在一起构构成一个个二维表表。表中中每一横横排叫做做一个记记录或元元组，每每一纵列列叫做一一个属性性。记录由数据项组成，正如实实体由若若干属性性的属性性值组成成一样。。一般数据据项沿用用属性名名。用做做属性名名时表示示观念信信息，用用做数据据项名时时表示数数据信息息。每个个数据项项包括两两个特征征：即数据类型型和数据长度度。若干同类类型的记记录构成成文件。为了对文文件中的的记录有有效组织织和存取取，通常常指定一一个数据据项进行行区别，，这个数数据项叫叫做关键键字。E-R方法(Entity-RelationshipApproach))和实体模模型在需求分分析阶段段进行数数据库逻逻辑设计计过程中中，使用E-R图，可定定义一个个实体体模型。实体模型型是现实实世界的的纯表示示，它不涉涉及数据据世界的的数据结结构、存存取路径径、存取取效率等等问题。。因此，，它可以转换换成数据据库中的的数据模模型。数据可以以按相应应数据模模型进行行组织。。E-R图中表示示实体联联系的符符号如下下：在E-R图中，每每个方框表示实体型或属性，方框之之间的连线表示实体之间间，或实体与属属性之间间的联系系。出现在在连线上上的短竖竖线可以以看成是是“1””，而圆圆圈隐含含表示““0”。。例如，在在教学管管理中，，一个教教师可以以教授零零门、一一门或多多门课程程，每位位学生也也需要学学习几门门课程。。因此，，教学管管理中涉涉及的对对象（实实体型））有学生、教师和课程。用E-R图描述它它们之间间的联系系，得下下图。其其中，学学生与课课程是多多对多的的联系，，而教师师与课程程的联系系是零、、一对多多。进一步，，要确定定属性。。例如，，学生具有有学号、姓名、性别、年龄、专业（其它略略）等属属性；课程具有有课程号、课程名、学分、学时数等属性；；教师具有有职工号、姓名、年龄、职称等属性。。此外，学学生通过过学号、、分数与与课程发发生联系系。如此此可得教教学实体体模型。。教学实体体模型数据结构构的规范范化信息域分分析需要要确定数据的内内容，每个数数据项要要用表格格列出，，最后组组织成文文件的逻逻辑结构构，即面面向应用用而不是是面向存存储的结结构。为了便于于数据库库的设计计，常常常要对这这种结构构做一些些简化，，其中最最常见的的一种方方法就是是规范化化技术。。“规范化化”将数据的逻逻辑结构构归结为满满足一定定条件的的二维表（关系））。表格中每每个信息息项必须须是一个个不可分分割的数数据项，，不可是是组项。。表格中每每一列((列表表示属性性)中所所有信息息项必须须是同一一类型，，各列的的名字((属性性名)互互异，，列的次次序任意意。表格中各各行((行表示示元组))互不不相同，，行的次次序任意意。不满足上上述要求求的二维维表或关关系，叫叫做非规规范化关关系。对对于非规规范化的的关系，，必须将将它规范范化，即即利用更更单纯、、更规则则的关系系来代替替原来的的关系。。规范化的的目的是是：消除数据据冗余，即消除除表格中中数据的的重复；；消除多义义性，使关系系中的属属性含义义清楚、、单一；；使关系的的“概念念”单一一化，让每个个数据项项只是一一个简单单的数或或字符串串，而不不是一个个组项或或重复组组；方便操作作。使数据据的插入入、删除除与修改改操作可可行并方方便；使关系模模式更灵灵活，易于实实现接近近自然语语言的查查询方式式。用教学管管理例说说明如何何规范化化有三个实实体型，，即课程、学生和教师，用三个个关系保保存它们们的信息息：学生(学号，姓名，，性别，，年龄，，专业，，籍贯))教师(职工号，姓名，，年龄，，职称，，工资级级别，工工资)课程(课程号，课程名名，学分分，学时时，课程程类型))为表示实实体型之之间的联联系，又又建立两两个关系系：选课(学号，课课程号，听课出出勤率，，作业完完成率，，分数))教课(职工号，，课程号号)这五个关关系，组组成了数据库的的模型。在每个关关系中，，属性名名下加下下划线））指明关键字。并规定定关键字字能唯一一地标识识一个元元组。关系规范范化的程程度，通通常按属属性间的的依赖程程度来区区分，并并以范式式NF(NormalForm))来表达。。常用的的范式分分为第一一范式（（1NF）、、第二范式式（2NF）和第三范范式（3NF）。。设Ｒ是一个关系系，Ｘ和Ｙ是Ｒ中的两个属性性。若对于于Ｘ的任任一个值值，Ｙ仅仅有一个个值与之之对应，，则称ＲＲ的属性性Ｙ函数数依赖于于属性ＸＸ。例如，教师(职工号,姓名名,年年龄,)其中，属属性“姓名”，“年龄”等都函函数依赖赖于属性性“职工号”。属性性Ｘ可以以是复合合属性，，如：选课((学号,课课程号号,听课课出勤率率,)如果属性Ｙ函函数依赖赖于复合合属性ＸＸ，而不与Ｘ的的任何真真子集函函数依赖赖，则称属性Ｙ完完全函