民航售票管理系统实验报告

1、数据库课程设计民航售票管理系统安徽大学计算机科学与技术1班陈t -/ fT 叶+中"Ki?fk 广管/,遇 r m ；，MT ZuTl*', «£1D> ' vj *'""广邛"山匚" 卜；工.小 ¥*卜-T 丁*" % |/'； J，1、叫",*111 喧".工',r,J *' T, ，+?卜 1” 为齐呻"：可 七 r* 号管* * < r j ,“ "" "L' '

2、 t ',j J*X J,、J,z < -, ''! B' "J：，*i- « ： , k F'i- * 1 V - B J , lt '> n ' »I '' >' * i '-j r i -7； "1: J# '" %1，k . . ;丫；.,f .卜 k； -1' ' , >.口.灯 1nl中工/叫.7r“k1：'工*士T*h-卜川飞!手1!15壮|！£,。+-，：；,3瞥工"

3、算金*：',，:，"：箱z""'” -'.71'，。.闺守号的"'；二制R；J；' bX：1,乜泻冷片 >宜炉上岔d$：)看值"?皆圮泳立口"¥±f/沸""设口叫曲.咫?工立;'斗上贷工工£*邛鲁口彳；1。至,心学"出窗f； "f * .'乜* ：*，号您?也封，Hi:；t力H昌 /英；' '：；止1；*丐此；后七野二力J七二射彳维釜1举叫'！, *拼渣另: 二；工广；上了

4、切忠：电4装匚、第七£端工汇即委/疔泮，;上，吃，：，5手帝%3 Hii »rAilKLrtj5Wp- «7Wjp< 1« T - l£ ££lJv|» *£1 J-Wrji-3 Wl ri'- ； *&*-1| |4r-1ib vr.' J：，： «，匚 lyf, NaqiU- Kim M七CfATW潘i> 4'得心目理>/E 型于Fi4% E：+ , £1*, r*i whj*w L*f-Ln.：. jjm；$G*,7f t,出炉箱

5、*；丁葭串哈二；T. i»口刊厂,丁二匕产虹- vJ&'t?' 闩山""亡"fflja；工:懑“士;呻f 7rl J,4Iiffivit-S F *吟：匚. 限工；;"金7'' 'ir 1!', 1*/ 苏"1 V1 1 j-.1,中M以耦黑5黑爵旦窗替翡噌豳嫂i啜弹氏 黛蛋热南翦翁/胜魅海超限量虢*2越嗡留梨筑?崎 5,/4；代& U广、#P, ,士丁二工工小。；“” FJ妙工：闪.：i i 方；1, ： I 心 M：f d*W*T，W "二中"i

6、T 时/:_ 一；吟”t L； .啊&； g'f%，k：7；t 'r； rl 尸 U：*?，*J y IIlF # EjZ. lLh" i V JL . *-iU- ' . ' ' _,. I I-' 1 _V_'jf.,. , *' k：JH ' *L=",' V ifc ." I'iii'f* T "=厂'" *.1tl. ' Br""J 'V|J-P - -lS J" "j

7、" ,= j* f iQ k： "1 .窜. b! ii '. fc« r： 。T. J 匚 |,I ."1 j 1 c* ,JFI .,J 芋,._k .fcj j*T-fl. "i1 L i妣FJ? 泮晒取'.察s to,母匹工姓曾磴富通由摩出轨,?北亚纪i&r'M里*iifx*产：七项?槽呼1莽摩储ifh如断药*呈¥门雄代修1.归郭旭手心彳*$启5喳卜;迎rMfflS/叩 i" 1 '' ' h-.vjxj- .：户由挖便嵋找四t缶货海jt静地虫£就得牌

8、痣蜀需匕也4g0 扑寓4 " 一 ；”. 一 .用,况唐也£国口匕"柒的融?夕心尸Vft：工等£»玉时方齐力辞黑更隹M?：f茨¥支近由专飞 m#：C* 岸总室；a七打雷强.Xbj户3依舞纪jdjbXJ"晚，J月工552016-9-20¥£ :季赳&X：配部雷曲鲸解3?：；： ：；.：净整修%或感添iK趣鹤谟英珠吞蠢罐靛舞塞堪眺.0 J?T、玩®d ' H 1 , *3 r正7H :'- i?i, 1 , <,11 » ' fl- z,-,t /)

9、J IT"". I iyjCl'Hj 了；1：卜 _j'U j J 占"、. .ALhj .!7 bj Tj1 rii"1' " 1J ，丫，, . 加亡 肝 b_：及F*产 I ¥ ;口"用f"r.»> _,.n' 1 '%: E式工X量-1；'甫、：K/1*上,涧，电工 '： ： ；' "上ri/3M ,3.匚*。*七零受我昔汹可L 暇*4可；1:七"12L b：* 不/1n芦拶电席:则旅叫鼻阳宫既琬麻岑宫：港简

10、内禊比度毕书融黑飒闹8S站那汽至货圈g二二"b "阙世五S毛脚冏吃就圈罩制R 题曲声春理鲤甲筱皴喷鹤子叫海回 通蹴曜E 廿号出讷窝加期加，加淬的公驾物浦吟堰熟软：,邙力黎T出；齿:雄身；此F触就.域喻弧产吩感性概谈仃丁或相"依:*聘白炉阴K永;:% W 丁理、目录一、 目的及要求1. 实验目的(1)通过本次课程设计，熟练掌握一种开发语言(如C#)和一种数据库系统软件(如SQL?server?2014 的使用。(2) 加深对软件工程的理解， 训练编写程序的良好习惯。 包括： 认真编写需求分析文档、做好系统功能和数据库设计、学会自己进行程序的算法、数据结构设计。(3)

11、 培养良好的程序设计风格(模块划分、接口设计、程序界面、应用系统设计)和习惯(程序备份、版本更新与控制) ，提高软件测试、调试的能力与技巧。(4) 通过本次课程设计，应该达到具有独立完成小型应用系统设计的能力，具备编写较为规范的软件设计文档的能力。2. 实验要求民航售票管理系统主要分为机场、 航空公司和客户三方的服务。 航空公司提供航线和飞机的资料， 机场则对在本机场起飞和降落的航班和机票进行管理， 而客户能得到的服务应该有航班线路和剩余票数的查询，以及网上订票等功能。客户又可以分为两类，一类是普通客户， 对于普通客户只有普通的查询功能和订票功能， 没有相应的机票优惠，另一种是经常旅客， 需要

12、办理注册手续， 但增加了里程积分功能和积分优惠政策。 机场还要有紧急应对措施，在航班出现延误时，要发送相应的信息。本系统至少能完成如下查询功能：(1) 查某代售地某月售出的票数和金额。(2) 查航空公司拥有多少航班。(3) 查某天某航空还剩多少票或座位。(4)查某大某航空还剩商务舱座位以及经济舱座位票价。(5)查某航空公司拥有多少售票点、某月售出总金额以及某航线售出票数。二、实验环境本系统开发平台及运行环境如下：系统开发平台：Microsoft Visual Studio 2015系统开发语言：C#数据库管理软件：SQL Server 2014运行平台：Windows10教育版运行环境：Fra

13、mework SDK实验内容与步骤1.系统需求分析(1)信息要求：指用户需要从数据库中获得信息的内容与性质。数据库中需要存储哪些 数据。本系统是针对民航售票进行管理，主要涉及航空公司信息、客户信息、飞机信息、 航线信息、航班信息、订票信息等多种数据信息。用户名和密码信息：字段名数据类型长度主键否描述Usernamevarchar16是用户名Passwordvarchar16密码Userclasschar1用户类别航空公司信息:字段名数据类型长度主键否描述Aidvarchar16是编号Anamevarchar64名称Aaddrvarchar64地址Acontvarchar32联系方式机场信息:字

14、段名数据类型长度主键否描述APidvarchar16是编号APnamevarchar64名称APaddrvarchar64地址APcontvarchar32联系方式客户信息:字段名数据类型长度主键否描述Cidvarchar16是:编号Cnamevarchar16姓名Ccontchar11,联系方式IsSpecchar1r特殊客户？Pointsint里程积分飞机信息:字段名数据类型长度主键否描述Pidvarchar16是编号Typevarchar32型号SeatsNumint座位数Aidvarchar16外键航空公司编号座位信息:字段名数据类型长度主键否描述Sidvarchar16是编号Leve

15、lchar1座位等级Pidvarchar16外键飞机编号:IsChoosechar1是否被选航线信息:字段名数据类型长度主键否描述Lidvarchar16是编号SPositionvarchar32起点EPositionvarchar32然占 八、Distancereal里程Aidvarchar16外键航空公司编号航班信息:字段名数据类型长度主键否描述Fidvarchar16是编号Ftimedatetime时间Pidvarchar16外键飞机编号Lidvarchar16外键航线编号APidvarchar16外键机场编号Levelchar1座位等级；Pricereal票价订票信息:字段名数据类型长

16、度主键否描述BidintIdentity(1,1)是编号Fidvarchar16外键航班编号Cidvarcharr 16外键客户编号:Sidvarchar16外键座位编号Payreal购票金额1Btimedatetime购票时间（2）处理要求：用户需要完成什么处理功能，对处理的响应时间有什么要求（给出功能 模块图）。民航售票管理系统主要满足三类用户的要求，这三类用户分别是航空公司管理员、 机场管理员和客户（分为普通客户和经常旅客）。航空公司管理员提供航线和飞机 的资料，机场管理员则对在本机场起飞和降落的航班和机票进行管理，而客户能得 到的服务应该有航班线路和剩余票数的查询，以及网上订票等功能。

17、具体的需求分 析如下：1）航空公司管理员：提供飞机基本信息提供航班基本信息 查询售票点信息、某月售出总金额以及某航线售出票数2） 机场管理员： 对本机场的航班信息进行管理 对本机场的机票信息进行管理 查询某月售票数量和金额3） 客户： 查询航班信息 机票订购 里程积分优惠（经常旅客）功能模块图如下所示：图 1 功能模块图（3） 安全性与完整性要求。数据库的安全性是指保护数据库， 防止不合法的使用所造成的数据泄露和破坏。数据库系统中保证数据安全性的主要措施是进行存取控制， 即规定不同用户对于不同数据对象所允许执行的操作，并控制各用户只能存取他有权（操作权力）存取的数据。存取控制机制分为自主存取控

18、制？（DA。与强制存取控制（MAC）,主要包括两部分： ?一是定义用户权限，并将用户权限登记到数据字典中；二是合法权限检查。数据库完整性指数据的（逻辑而非物理）正确性和相容性。为了防止数据库中存在不合语义的数据，防止错误数据的输入和输出。数据库完整性技术包括完整性约束条件与完整性检查两部分。完整性约束条件指为维护数据库的完整性，DBMS提供加在数据库数据之上的语义约束条件，作为数据库模式的一部分存入数据库。完整性检查意味检查数据库是否满足完整性约束条件的机制。 完整性约束条件作用的对象可以是关系、元组、列三种。其中列约束主要是列的类型、取值范围、精度、排序等的约束条件。元组的约束是元组中各个字

19、段间的联系的约束。关系的约束是若干元组间、关系集合上以及关系之间的联系的约束。完整性约束条件涉及这三类对象，其状态可以是静态的，也可以是动态的。？完整性约束条件一般分为实体完整性、参考完整性？自定义完整性。定义实体完整性约束条件要考虑修改关系中主码的问题；定义参考完整性约束条件要考虑外码能否接受空值问题、在被参照关系中删除元组的问题（级联删除或受限删除） 、在参照关系中插入元组时的问题。2 . 概念结构设计根据分析，民航售票管理系统包含航空公司、机场、客户、飞机、座位、航线、航班及机票8个实体，各个实体的局部E-R图如下所示，其中航空公司编号是航空公司实体的主码， 机场编号是机场实体的主码，

20、客户编号是客户实体的主码， 飞机编号是飞机实体的主码， 座位编号是座位实体的主码， 航线编号是航线实体的主码， 航班编号是航班实体的主码，机票编号是机票实体的主码。图 2 航空公司实体及属性图 3 机场实体及属性图 4 客户实体及属性图 5 飞机实体及属性图 6 座位实体及属性图 7 航线实体及属性图 8 航班实体及属性图9机票实体及属性(1)逐一设计分ER图，合并分ER图，生成基本ER图。根据需求分析的结果可以看到，在民航售票管理系统中一个航空公司可以提供多条 航线、多架飞机，飞机拥有多个座位，一个机场可以安排多个航班，一个航班对应 一架飞机、涉及一条航线、可以有多个客户选择乘坐，一个客户可

21、以订购多张机票， 一张机票对应一个座位。由以上分析可得各个局部的E-R图，如下所示(忽略各个实体的属性)：图10航空公司与飞机及航线之间的 E-R图图11飞机与航班之间的E-R图图12航班与航线之间的E-R图图13机场与航班之间的E-R图图14客户与航班之间的E-R图图15客户与机票之间的E-R图图16飞机与座位之间的E-R图图17座位与机票之间的E-R图(2)若在合并中存在属性冲突、命名冲突以及结构冲突，给出解决办法，若存在不必要 的冗余，则消除并给出设计方法。合并分E-R图并不是单纯地将各个分E-R图画在一起，而是必须消除各个分 E-R图 中的不一致，以形成一个能为全系统中所有用户共同理解

22、和接受的统一的概念模型。各个分E-R图之间的冲突包括3种：属性冲突、命名冲突以及结构冲突。经过分析，将航空公司、机场、客户、飞机、座位、航线、航班及机票之间进行关 联。因此，合并各个分E-R图，生成基本E-R图，如下所示：图18民航管理系统基本E-R图(3)基本ER图中要求标明主码、外码、联系类型。基本E-R图中，各实体的主码用下划线加粗显示，外码倾斜加粗表示，联系类型表 明于连接线上。3 .逻辑结构设计(1)给出由ER得到的关系模型，并注明转换过程中应用的规则。E-R图向关系数据模型转换的 基本规则如下:1) 一个实体转换为一个关系模式，实体的属性就是关系的属性，实体的键就是关 系的键；2)

23、 一个联系转化为一个关系模式，与该联系相连的各个实体的键以及联系的属性为该关系的属性，该关系的键分为 3种情况：1:1联系：任一相连实体的键都可以作为该关系的主键。1:n联系：n端(多端)实体的键作为该关系的主键。m:n联系：各端实体的键的组合为该关系的主键。其中，1:1联系可以和联系的任意一端实体的关系模式合并， 将联系的属性和另 一端关系模式的键加入该关系模式即可；1：n联系则需要和多端的关系模式合并， 在多端关系模式中加入联系的属性和 1端关系模式白键即可；m:n联系不能与 实体合并，必须转换为单独的关系模式。根据E-R图向关系数据模型转换的相关规则，将图18所示的E-R图转换为关系数据

24、模型，得到民航售票管理系统的关系模式如下：航空公司（缅臣，名称，地址，联系方式），应用规则1）。航线（编生，航空公司编号，起点，终点，里程），应用规则2）-1:n联系。飞机（叁匹，航空公司编号，型号，座位数），应用规则2）-1:n联系。机场（豆，名称，地址，联系方式）,应用规则1）。航班（缩汽，飞机编号,航线编号,机场编号,时间，座位等级，票价），应用规 则2）-1:1联系及规则2）-1:n联系。座位（组号，飞机编号,等级，被选？），应用规则2）-1:n联系。客户（组号，姓名，联系方式，特殊客户？，积分），应用规则1）。机票（业，座位编号,航班编号,客户编号,金额），应用规则2）-1:1联系及

25、 规则2）-1:n联系。（2）数据模型的优化。数据库的逻辑设计的结果不是唯一的。为了进一步提高数据库应用系统的性能，还 应该根据应用需要适当地修改、调整数据模型的结构，这就是数据模型的优化。关 系数据模型的优化通常以规范化理论为指导。（3）确定数据依赖。分别写出每个关系内部属性的以及不同关系模式属性间的数据依赖。根据需求分析可知：1.航空公司关系模式的数据依赖：编号，名称，编号，地址，编号，联系方式;2.3.4.5.航线关系模式的数据依赖: 编号，里程;飞机关系模式的数据依赖: 机场关系模式的数据依赖: 航班关系模式的数据依赖: 号，编号-时间，（编号,编号-航空公司编号，编号-起点，编号-终

26、点,编号-期亢空公司编号，编号，型号，编号，座位数;编号-名称，编号，地址，编号，联系方式;编号-飞机编号，编号-航线编号，编号-机场编 座位等级），票价;6 .座位关系模式的数据依赖:7 .客户关系模式的数据依赖: 编号，积分;8 .机票关系模式的数据依赖: 号，编号，金额;编号-飞机编号，编号-等级，编号-被选？ ;编号-姓名，编号，联系方式，编号-特殊客户？，编号-座位编号，编号-航班编号，编号-客户编（4）对各个关系模式之间的数据依赖进行极小化处理，消除冗余的联系。采用分析方法，根据数据项之间逻辑关系的说明，已经消除了各个关系模式之间的 数据冗余联系。（5）按照数据依赖的理论确定个关系

27、模式分别属于第几范式。根据各个范式的定义：1）航空公司关系模式属于BCNF因为该关系模式的码是航空公司编号，且每一个决定因素都包含码，所以e bcnf2） 航线关系模式属于BCNF， 因为该关系模式的码是航线编号，且每一个决定因素都包含码，所以e bcnf3） 飞机关系模式属于BCNF， 因为该关系模式的码是飞机编号，且每一个决定因素都包含码，所以e bcnf4） 机场关系模式属于BCNF， 因为该关系模式的码是机场编号， 且每一个决定因素都包含码，所以e bcnf5）航班关系模式属于1NF,因为该关系模式的码是（编号,座位等级），存在非主属性部分依赖于码，所以e 1NF；6） 座位关系模式属

28、于BcNF， 因为该关系模式的码是座位编号， 且每一个决定因素都包含码，所以e BCNF7） 客户关系模式属于BcNF， 因为该关系模式的码是客户编号，且每一个决定因素都包含码，所以e BCNF8） 机票关系模式属于BcNF， 因为该关系模式的码是机票编号，且每一个决定因素都包含码，所以e BCNF（6） 用户子模式设计。将概念模型转换为全局逻辑模型后，还应该根据局部应用需求，结合具体DBMS的特点设，计用户的外模式。机场管理员查某代售地某月售出的票数和金额，建立相应视图：视图 1（机场编号，机场名称，月售票数，月售票金额） ；客户查航空公司拥有多少航班，建立相应视图：视图2（航空公司编号，航

29、空公司名称，航班总数）；客户查某天某航空还剩多少票或座位，建立相应视图：视图3（航空公司编号，航空公司名称，剩余票数，剩余座位数）客户查某天某航空还剩商务舱座位以及经济舱座位票价，建立相应视图：视图4（航空公司编号，航空公司名称，航班编号，座位等级，票价）；航空公司管理员查某航空公司拥有多少售票点、 某月售出总金额以及某航线售出票数，建立相应视图：视图5（航空公司编号，航空公司名称，售票点总数，月售总金额）；视图6（航空公司编号，航空公司名称，航线编号，售出票数）；（7） 对不同级别用户定义不同的视图保证系统安全性。客户只能查看航空公司、 机场等基本信息， 及票价信息、 座位信息， 个人基本信

30、息；航空公司管理员可以查看涉及该航空公司的所有信息（如售票统计信息等） ，机场管理员可以查看涉及该机场的所有信息（如该机场售票统计信息等） 。4. 数据库与应用系统的实施和维护（1） 应用程序的编码和调试。（2） 给出截图（标明图号）简单阐述该模块的基本功能。给出该模块的设计思路，针对难点部分进行详细地阐述。首先是登录模块：输入用户名和密码，选择登录用户，点击登录。链接数据库，检查数据库中是否存在该 用户，以及密码是否正确，如果错误，提示用户名或密码错误，否则进入相应的用户界 面。相关代码：string sql =switch ( type)case 1:sql = ( "inser

31、t into Plane values('0','1',2,'3')”i . Cells 0.(), i . Cells 1.(), i. Cells 2. Value), Aid);break;case 2:sql = ( "insert into Sit values('0','1','2','N')"1 . Cells 0.(),i. Cells 1.(), i. Cells 2.();break;case 3:sql = ( "insert in

32、to Line values('0','1','2',3,'4')”i . Cells 0.(), i . Cells 1.(), i. Cells 2.(), i . Cells 3.(), Aid);break; Iells j . Value = null )(“存在不完整信息，请检查录入信息"，"提示")；return ;string sql = ( "insert into Flightvalues('0','1','2','

33、3','4','5',6)", i . Cells 0.(), i . Cells 1.() +" " +i . Cells 2.(), i . Cells 3.(), i . Cells 4.(), APid, i . Cells 5.(), i . Cells 6. Value)； ells 0. Value = reader "Fid" . ToString ();Exception ex)预定机票相关代码为:private void dgvflight_CellContentClick (obje

34、ct sender, DataGridViewCellEventArgs e) if >= 0)DataGridViewColumn column =;if ( column is DataGridViewButtonColumn ) oString (); Dist = ( reader "Points" ); | (); if ( Dist > 2000)zhekou =;ells 5.(), . Cells 7. Value) * zhekou,;using ( SqlCommandcmd = new SqlCommandsql , con) ()；sql

35、 = ( "update Plane set SeatsNum = SeatsNum-1 where Pid='0'.Cells 1.()；using ( SqlCommandcmd = new SqlCommandsql , con) ()；ells 5.();using ( SqlCommandcmd = new SqlCommandsql , con) ();ells 7. Value) * zhekou + "元")； else("订票成功！"，"提示");else("订票成功！"

36、，"提示")； catch ( Exception ex) ; else oString (); (); catch ( Exception ex) ；if (isspec ="Y")(“您已经是经常旅客了！"，"提示")；return ;工if ("成为经常旅客可以享受积分优惠政策(里程积分需达到2000分)，是否注册？"，"提示"，=sql = ( "update Users set IsSpec='Y' where Cid='0'&quo

37、t;, cid );using ( SqlConnection con = new SqlConnection (strCon ) I try ()；using ( SqlCommandcmd = new SqlCommanQsql , con)int n =();if ( n > 0)("注册成功！","提示")；现在再次购票即可增加里程积分，当里程积分达到2000分即可享受8折优惠。由于现在里程积分为0,需要先购票使得里程积分达到 2000分，之后便可享受8折优惠：现在登录航空公司管理员账号进行查询统计：首先查询航班情况：查询售票点情况：查询售

38、出票数及金额： 相关代码为：private void 查询航班情况 ToolStripMenuItem_Click (object sender, EventArgs e) "c1","航班编号")；"c2","起点")；"c3","终点")；string sql = ("select distinct Fid,SPosition,EPosition from Flight,Line where = and Aid='0'" Aid);us

39、ing ( SqlConnection con = new SqlConnection (strCon )匚using ( SqlCommandcmd = new SqlCommandsql , con) try ()；SqlDataReader reader = (); | while () 二int i =i . Cells 0. Value = reader "Fid" . ToString ()；i . Cells 1. Value = reader "SPosition" . ToString ();i . Cells 2. Value = r

40、eader "EPosition" . ToString ()；：()； catch ( Exception ex) ； private void 查询售票点个数 ToolStripMenuItem_Click (object sender, EventArgs e)"c1","机场编号")；"c2","机场名称")；"c3","机场地址")；"c4","联系方式")；string sql = ( "sel

41、ect distinct ,APname,APaddr,APcont from Flight,Line,Airport where = and = and Aid='0'", Aid);using ( SqlConnection con = new SqlConnection (strCon ) using ( SqlCommandcmd = new SqlCommandsql , con) try ();SqlDataReader reader =(); while () int i =i . Cells 0. Value = reader "APid&q

42、uot; . ToString ();i.Cells1.Value=reader"APname".ToString();i.Cells2.Value=reader"APaddr" .ToString();i.Cells3.Value=reader"APcont" .ToString(); (); catch ( Exception ex) | ；private void 查询售出票数及金额 ToolStripMenuItem_Click (object sender, EventArgs e)"c1","

43、售出总票数");"c2","售票总金额");string sql = ( "select count(*) as Count,sum(Pay) as Sum from Tickets,Flight,Sit,Line where = and = and = and = and Aid='0'", Aid);using ( SqlConnection con = new SqlConnection (strCon) using ( SqlCommandcmd = new SqlCommandsql , con) try ();SqlDataReader reader =(); while () int i =i . Cells 0. Value = reader &qu