工學(xué)動車售票系統(tǒng)主文檔1

文檔規(guī)則（必讀）：文檔內(nèi)部一致格式表(依照目錄逐層向下分為1標(biāo)題、2標(biāo)題、)文字內(nèi)容文字大小一級標(biāo)題小一二級標(biāo)題三號三級標(biāo)題四號文字內(nèi)容小四寬圖片/表格4-44（指標(biāo)尺號，上面那個）窄圖片/表格0-40文字內(nèi)容0-40該頁用于文字格式化定義，文字格式一致采用宋體（或微軟雅黑），在達(dá)成文檔后刪除。下面是開發(fā)者代號，文檔中各自屬職的未達(dá)成部分均已用該代號注明：（名字排名不分先后）姓名代號汪茂忠Leader王小剛Adam王群Dance王榮濤You_can_hear沈詩文RV代號沒有任何意義，不要介懷，最后凡是被注明”*UC*”即代表該項(xiàng)目當(dāng)前不屬于馬上需被達(dá)成的目標(biāo)。由于文檔中缺乏文字描述，所以顯得不夠強(qiáng)力，所以盡量多敲字，最后凡是已達(dá)成自己職分內(nèi)工作后，不要刪掉該部分上的代號，只需將其文字顏色注成紅色即可。下面的文字請隊(duì)長閱讀，請看完后刪掉，感謝：為了文檔的格式確定我私自對我們的接下來工作進(jìn)行了分配，詳細(xì)在文檔中的注明上有表現(xiàn)，特別是測試那一塊，希望你不要見怪，你可以依照你的想法自己來分配。有問題的話你直接改吧！封面頁*UC*目錄頁*UC*一.前言介紹1.1問題定義;1.2系統(tǒng)簡介;1.3開發(fā)技術(shù)與措施二.系統(tǒng)要求三.可行性分析1.1初步可行性分析;1.2系統(tǒng)流程圖及分析;1.3初級數(shù)據(jù)流圖;1.4初級數(shù)據(jù)字典;1.5可行性分析小結(jié)四.需求分析1.1系統(tǒng)功能實(shí)現(xiàn)清單;1.2系統(tǒng)數(shù)據(jù)模型簡介;1.3成立數(shù)據(jù)模型;1.4成立行為模型;1.5成立功能模型;1.6需求分析小結(jié)五.整體設(shè)計1.1基本設(shè)計看法;1.2結(jié)構(gòu);1.3數(shù)據(jù)庫基本大綱設(shè)計;1.4整體設(shè)計小結(jié)六.詳細(xì)設(shè)計1.1數(shù)據(jù)庫詳細(xì)設(shè)計;1.2系統(tǒng)功能詳細(xì)設(shè)計;1.3系統(tǒng)模塊詳細(xì)設(shè)計;1.4詳細(xì)設(shè)計小結(jié)七.編碼....7.X編碼小結(jié)八.測試1.1模塊測試;1.2集成測試;1.3系統(tǒng)白盒測試;1.4系統(tǒng)黑盒測試;1.5測試小結(jié)九.總結(jié)1.1議論記錄;1.2各成員總結(jié);1.3領(lǐng)隊(duì)總結(jié);1.4結(jié)束語一.前言介紹1.1問題定義rv動車售票系統(tǒng)旨在開發(fā)一款可對動車車票銷售、訂購行為進(jìn)行管理的管理信息系統(tǒng)，其中包括對車票信息的盤問、儲蓄、變換，對動車行為信息的盤問、儲蓄等功能實(shí)現(xiàn)。1.2系統(tǒng)簡介rv名稱：動車售票系統(tǒng)；項(xiàng)目描述：本系統(tǒng)主要實(shí)現(xiàn)動車盤問售票功能，主要的功能以下：客戶端管理功能:動車基本信息管理模塊;車次盤問模塊，兩站之間的車次盤問,某車站全部的車次的盤問,詳細(xì)某車次的盤問;售票模塊,車票的預(yù)約;系統(tǒng)安全管理模塊:用戶的登陸與注冊,個人信息的管理,個人訂單的管理。后臺管理功能:對訂單的管理對管理員的管理。1.3開發(fā)技術(shù)與措施Adam二.系統(tǒng)要求硬件環(huán)境以上及內(nèi)存1G以上軟件環(huán)境：操作系統(tǒng)以上后臺數(shù)據(jù)庫：Microsoftofficeaccess2007開發(fā)工具：VisualBasic硬盤空間：相關(guān)組件：Microsoftoffice組件三.可行性分析3.1初步可行性分析dance3.2系統(tǒng)流程圖及分析rv該動車售票系統(tǒng)的邏輯模型，即系統(tǒng)流程圖以下：任何盤問信息必定經(jīng)過手工輸入或電子填寫表單的方式轉(zhuǎn)變?yōu)樵揗IS的內(nèi)部數(shù)據(jù)形式，再將該信息與數(shù)據(jù)庫內(nèi)的已存檔信息比較得出盤問結(jié)果，再將該盤問結(jié)果與用戶央求相聯(lián)合達(dá)成操作，也就是對該數(shù)據(jù)庫中的相關(guān)數(shù)據(jù)進(jìn)行不可以逆轉(zhuǎn)式的更正，再生成相應(yīng)的歷史文件儲蓄在額外的售票歷史數(shù)據(jù)庫中以備將來進(jìn)行查驗(yàn)或校驗(yàn)的可能，最后依照該歷史記錄的種類執(zhí)行相關(guān)操作，比方該歷史記錄為購票歷史記錄時，需打印出真實(shí)車票；而當(dāng)該條歷史記錄為退票或改簽時，需對回收的車票進(jìn)行銷毀。最后一步是達(dá)成善后活動，比方收取現(xiàn)金或退還現(xiàn)金等。人工輸入購票信息車輛信息盤問盤問結(jié)果車輛信息數(shù)據(jù)庫購票/訂票/退票/改簽程序購票記錄生成車票/改簽后車票/金錢3.3初級數(shù)據(jù)流圖縱觀購票整個過程，將分為兩部分：售票與訂票。從而該數(shù)據(jù)流圖的上半部是售票部分執(zhí)行過程，而下半部為訂票的過程。其余解說圖中出現(xiàn)的兩個“動車數(shù)據(jù)記錄”與“客戶”都是一個個體，而全部需保存的文件如“用戶記錄”、“動車數(shù)據(jù)記錄”都是實(shí)質(zhì)數(shù)據(jù)庫的構(gòu)成部分之一。3.4初級數(shù)據(jù)字典則對應(yīng)的數(shù)據(jù)字典為：名字:車票信息描述:車票的相關(guān)信息定義:車票信息=出發(fā)地+目的地+車次+座位種類+票價+始發(fā)時間+抵達(dá)時間+座位號地點(diǎn):售票名字:目的地描述:旅客需要抵達(dá)的地方定義:目的地=2{漢字}5地點(diǎn):車票信息名字:座位種類描述:為不一樣樣的旅客安排不一樣樣樣級的地點(diǎn)定義:旅客種類=[一等座|二等座|軟臥]地點(diǎn):車票信息

名字:出發(fā)地描述:旅客從哪里出發(fā)定義:出發(fā)地=2{漢字}5地點(diǎn):車票信息名字:車次描述:為每一列列車表示的獨(dú)一的一個表記碼.定義:車次=D+2{數(shù)字}4地點(diǎn):車票信息名字:票價描述:車票的價格定義:票價=0{數(shù)字}+.+{數(shù)字}地點(diǎn):車票信息名字:始發(fā)時間描述:列車從出發(fā)地發(fā)車的時間定義:始發(fā)時間=日期+小時+分鐘地點(diǎn):車票信息名字:節(jié)余票數(shù)描述:一班車次節(jié)余的票數(shù)定義:節(jié)余票數(shù)=0{數(shù)字}4地點(diǎn):車票信息名字:登錄信息描述:管理員售票員登錄系統(tǒng)所需要的信息定義:登錄信息=登錄帳號+登陸密碼地點(diǎn):用戶記錄名字:登錄密碼描述:管理員售票員登錄系統(tǒng)密鑰定義:登錄密碼=8{數(shù)字字符|字母字符}16地點(diǎn):登錄信息名字:客戶登錄信息描述:客戶登錄系統(tǒng)時需要的信息定義:客戶登錄信息=客戶登錄帳號+客戶登錄密碼地點(diǎn):客戶記錄名字:客戶登錄密碼描述:客戶登錄系統(tǒng)的密碼定義:登錄密碼=8{數(shù)字字符|字母字符}16地點(diǎn):客戶登錄信息名字:證件號別名:身份證號描述:獨(dú)一表示個人身份的號碼定義:證件號=18{數(shù)字}18地點(diǎn):客戶記錄登錄車票信息名字:訂票信息描述:與訂票相關(guān)的信息定義:訂票信息=(車次)+(始發(fā)時間)+始發(fā)地+目的地+(座位號)+(座位種類)+證件號地點(diǎn):售票模塊

名字:抵達(dá)時間描述:列車抵達(dá)目的地的的時間定義:抵達(dá)時間=日期+小時+分鐘地點(diǎn):車票信息名字:座位號描述:旅客在動車中所坐的地點(diǎn)定義:座位號=[1|2|...99||100]地點(diǎn):車票信息名字:登錄帳號描述:管理員|售票員登錄售票系統(tǒng)用的用戶名定義:登錄帳號=5{數(shù)字字符|字母字符}8地點(diǎn):登錄信息名字:客戶信息描述:已注冊客戶的基本信息定義:客戶信息=客戶登陸信息+個人資料地點(diǎn):客戶記錄登錄名字:客戶登錄帳號描述:客戶用來登錄系統(tǒng)的用戶名定義:客戶登錄帳號=5{數(shù)字字符|字母字符}8地點(diǎn):客戶登錄信息名字:個人資料描述:個人基本信息定義:個人資料=姓名+證件號+性別+年齡地點(diǎn):客戶記錄登錄名字:售票信息描述:訂票,退票,換票信息的會合定義:售票信息=[訂票信息|退票信息|換票信息]地點(diǎn):售票模塊名字:退票信息描述:達(dá)成退票流程所需的基本信息定義:退票信息=車票信息地點(diǎn):售票模塊名字:換票信息名字:用戶信息描述:用戶需要兌換車票的必要信息描述:全部被記錄取戶全部信息的會合定義:換票信息=售票信息+退票信息定義:用戶信息=1{登錄信息}n地點(diǎn):登錄模塊,用戶記錄名字：動車信息描述：動車的相關(guān)信息定義：動車信息=車次+座位號+時間+余票地點(diǎn)：動車數(shù)據(jù)記錄，售票模塊3.5可行性分析小結(jié)leader四.需求分析4.1系統(tǒng)功能實(shí)現(xiàn)清單rv該系統(tǒng)須實(shí)現(xiàn)以下功能：1.實(shí)現(xiàn)動車各項(xiàng)數(shù)據(jù)的儲蓄、盤問、更正；2.實(shí)現(xiàn)安全性保障，詳細(xì)有該系統(tǒng)考據(jù)身份登錄，操作權(quán)限制義、授權(quán)與授權(quán)回收或作廢；3.實(shí)現(xiàn)打印、顯示數(shù)據(jù)信息、操作信息、警告信息；4.實(shí)現(xiàn)歷史儲蓄功能，即對已進(jìn)行的購票、退票、改簽操作記錄入庫，并在已授權(quán)的情況下可對該庫進(jìn)行接見盤問及考據(jù)操作。4.2系統(tǒng)模型簡介rv該系統(tǒng)模型分別由數(shù)據(jù)模型、功能模型及行為模型構(gòu)成，并分別由實(shí)體聯(lián)系圖、數(shù)據(jù)流圖及狀態(tài)變換圖表示，詳細(xì)表示請參照本文檔4.3-4.5節(jié)的詳細(xì)描述。4.3成立數(shù)據(jù)模型為成立數(shù)據(jù)模型，則初級E-R（實(shí)體聯(lián)系圖）為：該E-R圖的元素分別由管理員、售票員、客戶、車票、車票數(shù)據(jù)文件（即數(shù)據(jù)庫中動車塊的數(shù)據(jù)）、售票數(shù)據(jù)構(gòu)成。以下為各元素之間的詳細(xì)關(guān)系：管理員管理整個數(shù)據(jù)庫，其中在此處詳細(xì)表現(xiàn)為對車次數(shù)據(jù)的管理，從而圖中沒有提及其余管理功能，但不代表沒有相關(guān)的功能；再由客戶與售票員交流獲得客戶信息與購票信息，遠(yuǎn)程訂票服務(wù)時將不是由售票員接受相關(guān)信息，而是由訂票模塊接收，但大體相同從而不再贅述；售票員盤問車票數(shù)據(jù)文件；車票數(shù)據(jù)文件產(chǎn)生售票記錄；依照售票記錄打印車票；最后由用戶獲得車票，則整個售票過程結(jié)束。4.4成立行為模型為成立行為模型，則狀態(tài)變換圖為：依照初步分析的思想得出以上狀態(tài)變換圖，而其中諸如“購票”、“管理”的詳細(xì)步驟及內(nèi)部狀態(tài)變換需待進(jìn)一步的分析得出。4.5成立功能模型you_can_hear該系統(tǒng)擁有以下主要功能：1.閱讀功能2.盤問功能3.增添功能4.更正功能5.刪除功能4.5.2功能描述1.閱讀功能：列出當(dāng)前數(shù)據(jù)庫文件中車票的全部記錄，可選定一項(xiàng)記錄，顯示所有域2.盤問功能：車次信息般配盤問始發(fā)站信息般配盤問3.增添功能：增添一條車票的信息4.更正功能：更正某一已存在的記錄內(nèi)容，供應(yīng)確認(rèn)系統(tǒng)5.刪除功能：刪除一條記錄，供應(yīng)確認(rèn)系統(tǒng)為成立功能模型，則細(xì)化數(shù)據(jù)流圖為：登錄進(jìn)入售票點(diǎn)客戶車次信息登車次信息錄進(jìn)入1.0更新2.0盤問篩選符合車票客戶打算購票3.0售票出票車票不測情況客戶需退票

節(jié)余票數(shù)4.0退票車票信息動車系統(tǒng)流圖車次信息售票點(diǎn)登錄1.1插入零時列車車次信息登錄1.2刪除已停運(yùn)列車登錄車次信息售票點(diǎn)節(jié)余票數(shù)進(jìn)入2.1按車次連續(xù)盤問客戶盤問進(jìn)車次信息入節(jié)余票數(shù)

優(yōu)選切合車次信息2.2輸入車次連續(xù)盤問2.4輸入出優(yōu)選切合站點(diǎn)信息登錄2.3按站點(diǎn)發(fā)、目的站盤問點(diǎn)售票點(diǎn)售票點(diǎn)

登錄登錄

篩選符合車票3.1輸入車次、出發(fā)目的站點(diǎn)4.1確認(rèn)退票

節(jié)余票數(shù)連續(xù)選擇種類連續(xù)3.2選擇日3.3選擇座位期、車票種類種類確認(rèn)車票信息車票3.5確認(rèn)付連續(xù)3.4核實(shí)車款票信息出票車票車票信息進(jìn)一步確認(rèn)4.2輸入與4.3返還實(shí)連續(xù)購票系統(tǒng)相際票價80%同信息返還現(xiàn)金4.6需求分析小結(jié)you_can_hear動車售票應(yīng)用系統(tǒng)軟件：基本元素為構(gòu)成動車售票及相關(guān)行為所必定的各種部分需求分析：提煉，分析并仔細(xì)審查已收到的需求，保證全部的風(fēng)險肩負(fù)者都明確其含義并找出其中的錯誤模塊的獨(dú)立性：動車售票的各個模塊只涉及軟件要求的詳細(xì)的子功能，而和軟件其余的模塊的接口是簡單的五.整體分析5.1基本設(shè)計看法rv起初設(shè)置該系統(tǒng)為訂售一體，則該系統(tǒng)應(yīng)有1.售票；2.訂票功能。對于“售票”功能塊應(yīng)有售票盤問、售票記錄相關(guān)、打印車票相關(guān)的功能；對于“訂票”功能塊應(yīng)適用戶登錄/注冊、售票盤問、售票記錄相關(guān)、系統(tǒng)通知相關(guān)的功能。在這兩者之上，還應(yīng)增添“系統(tǒng)”模塊，由管理員與售票員實(shí)現(xiàn)對數(shù)據(jù)庫文件的更正5.2結(jié)構(gòu)dance-增添分析文字登錄系統(tǒng)注冊輸賬號輸密碼考據(jù)賬號考據(jù)密碼錯誤提示填輸輸存資賬密儲料號碼購票系統(tǒng)車票盤問車票記錄車票購買打印車票數(shù)車據(jù)票庫信信息息時始目座等價發(fā)的位間級格地地號退票系統(tǒng)車車價車票票格票信記計銷息錄算毀時始目座等價發(fā)的位間級格地地號換票系統(tǒng)退票系統(tǒng)購票系統(tǒng)價格計算5.3數(shù)據(jù)庫基本大綱設(shè)計1.動車信息數(shù)據(jù)庫一共有三張表：分別為CSTS、CS、CSPL表，采用的主碼為動車車票編碼EMU_TC）。下面供應(yīng)各表的詳細(xì)屬性以及實(shí)例元組：(全部的元組實(shí)例都是隨機(jī)生成的)關(guān).系（CodeSectionandTimeSection）動車出站時間動車抵達(dá)時間初步城市目標(biāo)城市車次編碼STETSCECTC20:08:0021:30:00南京合肥D38121:40:0023:50:00合肥南京D38121:45:0023:55:00合肥南京D45621:00:0022:30:00北京南京D57721:08:0022:45:00北京南京D55817:05:0019:00:00南京北京D685C.S.P.L.關(guān)系（CodesectionandPrice&LevelSection，此處規(guī)定前N個車廂為A等，從第N+1到N+M為B等，以此類推C、D等，其中N與M分別為A等與B等車廂的數(shù)量，這樣就不用額外儲蓄等級與車廂號的對應(yīng)關(guān)系了）初步城目標(biāo)城車次編車廂數(shù)（節(jié)）座位數(shù)折扣（%）價格（元）等級余票市市碼BN（座）DTPELVTL(元)SCECTCCN南京合肥D3811040100120B35南京合肥D381520100200A46合肥南京D3811040100119B99合肥·南京D381520100220A105合肥南京D456104085135B30北京南京D577820120246A12北京南京D558154095195B45南京北京D6851020100228A72C.S.關(guān)系（CitySection）初步/目標(biāo)城市（SC/EC）城市代碼(CC)北京B001合肥A001南京S001上海H001..有以上三種關(guān)系與用戶輸入信息導(dǎo)出車票信息：即車票代碼+車票價格+車票時間信息，如男性甲身份證號為，欲購買一張南京開往北京的A等車廂車票（假如不提等級，直接默認(rèn)為一般B等），則其車票代碼，不打折，價格為228元人民幣。（其中黑粗體為數(shù)據(jù)庫中數(shù)據(jù)，紅粗體斜體部分為依照車廂數(shù)、單位車廂載人數(shù)以及余票轉(zhuǎn)算出的、節(jié)余部分為該人的身份信息）2.購票記錄數(shù)據(jù)庫（P.R.關(guān)系）則購票記錄形成的購票記錄表（P.R.關(guān)系）為：車票代碼購買人姓名購買時間操作員甲2012/3/20056這些信息足夠退票、改簽、檢查時使用的，所以不再追加節(jié)余項(xiàng)。（其中紅色粗體部分特別重點(diǎn)）3.用戶&客戶記錄數(shù)據(jù)庫（User關(guān)系與Guest關(guān)系）下面給出詳細(xì)關(guān)系成立：a.User關(guān)系用戶名密碼權(quán)限詳細(xì)權(quán)限設(shè)置ROOT[][][][]0SUADMINIST[][]1動車、用戶&客戶數(shù)據(jù)庫文件合法管理（紅色粗體表示贊同最高8位，但未填滿處使用由程序員規(guī)定的一致字符代替，相同權(quán)限問題也由程序員規(guī)定，但黑色粗體部分給出簡單表示）b.Guest關(guān)系用戶名密碼身份證號碼性別RJ[][][][][][][][][][]M由于該部分用戶權(quán)限一致被鎖死為客戶級別，故不做權(quán)限域的設(shè)置。4.數(shù)據(jù)庫基本運(yùn)算法規(guī)實(shí)現(xiàn)下面對上述的動車數(shù)據(jù)庫文件進(jìn)行簡單關(guān)系代數(shù)演算以證明其設(shè)計的有效性：（仍以男性甲購票為例）查找動車->相關(guān)信息獲得->輸出車票編號a.查找動車：該動車的條件是南京開往北京，且預(yù)約為A等車廂。則該盤問關(guān)系代數(shù)表達(dá)式為：π(BN,CN,DT,DT,PE,TL,LV)（σ(SC=’南京‘∧EC=’北京‘∧LV=’A‘（)C.S.P.L.））b.相關(guān)信息獲得：第一獲得BN、TL與CN項(xiàng)，計算出車廂號bn與座位號cnbn=MOD((BN*CN-TL+1),CN),cn=(BN*CN-TL+1)%CN;再將TL減1，計算實(shí)質(zhì)價格為Price=DT*PE再進(jìn)一步獲得城市代碼與城市其余信息，最后合成為S001B001D685A,再加上bn、cn、身份證號碼、性別代碼，從而最后合成為：再將購買人姓名、操作員代號以及當(dāng)前時間等信息錄入，合成購票歷史，并儲蓄在P.R.關(guān)系中。5.4整體設(shè)計小結(jié)leader六.詳細(xì)設(shè)計6.1數(shù)據(jù)庫詳細(xì)設(shè)計此后再附上數(shù)據(jù)庫設(shè)計中未詳細(xì)定義的功能字段的詳細(xì)定義圖表，同時也附上數(shù)據(jù)庫字段定義完滿版以供此后使用：數(shù)據(jù)庫字段定義完滿版：關(guān).系：字段名種類長度字段含義備注csts_starttimeTime12動車出站時間notnullPKcsts_endtimeTime12動車抵達(dá)時間nullpermittedcsts_startcityint4初步城市notnullPKcsts_endcityint4目標(biāo)城市notnullPKcsts_traincodechar4車次編碼notnullPKC.S.P.L.關(guān)系：字段名種類長度字段含義備注cspl_startcityint4初步城市notnullPKcspl_endcityint4目標(biāo)城市notnullPKcspl_traincodechar4cspl_boxnumint2cspl_chairnumint4cspl_discountint2cspl_pricefloat7cspl_levelint2cspl_ticketleftint4

車次編碼車廂數(shù)座位數(shù)折扣價格等級余票

notnullPKnotnullPKnotnullPKnullpermittednotnullPKnullpermittednotnullPKC.S.關(guān)系字段名種類長度字段含義備注cs_citynamechar8城市名稱notnullPKcs_citycodeint4城市代碼notnullPKP.R.關(guān)系字段名種類長度字段含義備注pr_ticketcodechar36車票代碼notnullPKpr_purchasernamechar8購買人姓名nullpermittedpr_purchasetimeint12購買時間notnullPKpr_operatercodeint2操作員notnullPKpr_printflagint1打印標(biāo)志notnullPKUser關(guān)系字段名種類長度字段含義備注user_namechar8用戶名notnullPKuser_codechar8密碼notnullPKuser_authorizationint2權(quán)限notnullPKGuest關(guān)系字段名種類長度字段含義備注guest_namechar8用戶名notnullPKguest_codechar8密碼notnullPKguest_idchar19權(quán)限notnullPKguest_sexint2性別nullpermitted6.2系統(tǒng)功能詳細(xì)設(shè)計you_can_hear-模塊功能描述以及對應(yīng)關(guān)系6.3系統(tǒng)模塊詳細(xì)設(shè)計rv/dance/you_can_hear-pad圖及分析6.3.1leader6.3.2you_can_hear6.3.3dance6.3.4Pad圖-購票模塊rv購票模塊車票盤問車票購買打印車票數(shù)車車據(jù)查票購車票庫詢購其買票信信結(jié)買他息果確記信信息錄輸查顯認(rèn)(息息入示歷詢史)依照購票模塊的層次圖顯示，將程序劃分為以下幾個步驟與小模塊：信息輸入模塊->盤問模塊->顯示模塊->記錄模塊->打印模塊；從而依照這些簡要的分析得出以下購票模塊的Pad圖：（已達(dá)成細(xì)化）購票主模塊：信息輸入子模塊購票主模塊盤問子模塊顯示子模塊信息輸入子模塊：Input終點(diǎn)Input起點(diǎn)設(shè)起點(diǎn)為購票所在地起點(diǎn)為”NULL”保持起點(diǎn)值不變輸入其余信息P1將其余條件全部置空DEF信息輸入子模塊其余信息為”NULL”將未填入者置空合法性檢查轉(zhuǎn)入下一模塊合法性檢查經(jīng)過

提示輸入錯誤并逼迫重新輸入P2輸入開始時間輸入抵達(dá)時間DEF輸入其余信息P1

輸入票價輸入座位折扣輸入車座等級類型提示輸入錯誤并逼迫重新輸入P2

提示輸入不合法并指出不合法地域?qū)⒉缓戏ǖ赜蛑脼榭誅EF將光標(biāo)置于不合法地域提示重新輸入合法性檢查轉(zhuǎn)入下一模塊合法性檢查經(jīng)過提示輸入錯誤并逼迫重新輸入P2盤問子模塊：接受來自信息輸入模塊的合法信息分析輸入信息的盤問要求并DEF盤問子模塊產(chǎn)生盤問函數(shù)表達(dá)P3式介入數(shù)據(jù)庫管理系統(tǒng)依照查詢函數(shù)查找指定元P4組置盤問標(biāo)志為0盤問結(jié)果為空置盤問標(biāo)志為1，并生成視圖表分析輸入信息的盤問要求并產(chǎn)生盤問函數(shù)表達(dá)式P3

DEF

將值不存在的輸入查詢信息拋棄用關(guān)系代數(shù)表示盤問要求將上述關(guān)系代數(shù)轉(zhuǎn)變?yōu)橄鄳?yīng)SQL語句顯示子模塊：檢查盤問標(biāo)志DEF顯示子模塊顯示該P(yáng)5視圖表標(biāo)志為1提示無切合提示客戶要求的元組提示選擇購票DEFP5