數(shù)據(jù)庫(kù)課程設(shè)計(jì)-火車站售票系統(tǒng)(編輯修改稿)
2025-01-12 08:59 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 出票 組成 車票 數(shù)據(jù)存儲(chǔ)名 車次信息 說(shuō)明 記錄車次的基本信息 輸入的數(shù)據(jù)流 輸入車次、站點(diǎn)查詢 輸出的數(shù)據(jù)流 顯示車次信息 組成 車次 5. 處理過(guò)程 處理過(guò)程的具體處理邏輯一般用判定表或判定樹來(lái)描述。數(shù)據(jù)字典中只需要處理過(guò)程的說(shuō)明性信息，由以下內(nèi)容組成： 處理過(guò)程描述 ={處理過(guò)程名，說(shuō)明，輸入： {數(shù)據(jù)流 }，輸出： {數(shù)據(jù)流 }， 組成： {簡(jiǎn)要說(shuō)明 }} 該系統(tǒng)設(shè)計(jì)的處理過(guò)程有： 數(shù)據(jù)過(guò)程名 車次查詢 說(shuō)明 記錄車次的全部信息 輸入 車次信息 輸出 車次信息 數(shù)據(jù)過(guò)程名 買票 說(shuō)明 記錄車票的全部信息 輸入 車次信息 輸出 車票信息 數(shù)據(jù)過(guò)程名 退票 說(shuō)明 記錄與購(gòu)票時(shí)相同的信息 輸入 車票信息 輸出 票價(jià)信息 數(shù)據(jù)過(guò)程名 插入列車 說(shuō)明 記錄新增加的零時(shí)列車 輸入 車次信息 輸出 車次信息 數(shù)據(jù)過(guò)程名 刪除列車 說(shuō)明 記錄要?jiǎng)h除的列車 輸入 車次信息 輸出 車次信息 三、 系統(tǒng)設(shè)計(jì) 在需求分析階段所得到的應(yīng)用需求應(yīng)該首先抽象為信息世界的結(jié)構(gòu)，才能更好地、更準(zhǔn)確地用某一 DBMS 實(shí)現(xiàn)這些需求。在概念結(jié)構(gòu)設(shè)計(jì)階段，首先需要了解概念結(jié)構(gòu)設(shè)計(jì)的方法和步驟。 (1)概念結(jié)構(gòu)設(shè)計(jì)的方法： 本系統(tǒng)采用自底向上的概念結(jié)構(gòu)設(shè)計(jì)方法。即首先定義各局部應(yīng)用的概念結(jié)構(gòu)，然后將它們集成起來(lái)得到全局概念模式。 (2)概念結(jié)構(gòu)設(shè)計(jì)的步驟： a、抽象數(shù)據(jù)并設(shè)計(jì)局部視圖。就是對(duì)需求分析階段收集到的數(shù)據(jù)按照 ER 模型 的要求進(jìn)行分類、組織，標(biāo)識(shí)實(shí)體的鍵，確定實(shí)體之間的聯(lián)系類型，設(shè)計(jì)出 ER圖的框架。 b、豐富 ER，為其添上屬性，得到全局的概念結(jié)構(gòu)。 ER 圖 ER 圖也即實(shí)體 聯(lián)系圖 (Entity Relationship Diagram)，提供了表示實(shí)體型、屬性和聯(lián)系的方法，用來(lái)描述現(xiàn)實(shí)世界的概念模型 。 ER 方法是 “實(shí)體 聯(lián)系方法 ”（ EntityRelationship Approach）的簡(jiǎn)稱 ， 它是描述現(xiàn)實(shí)世界概念結(jié)構(gòu)模型的有效方法 ， 構(gòu)成 ER 圖的基本要素是實(shí)體型、屬性和聯(lián)系 。 首先畫出每個(gè)實(shí)體的 屬性圖 以及聯(lián)系的 屬性圖 ，即： 售 票 點(diǎn)編 號(hào) 名 稱 地 址 聯(lián) 系 電 話 出 售 數(shù) 量 車 票 日 期出 售 車 票車 次 編 號(hào) 票 類 名 稱 票 價(jià)額 定 票 數(shù) 車 次車 次 編 號(hào)起 始 站 名終 點(diǎn) 站 名列 車 類 型里 程運(yùn) 行 時(shí) 間到 達(dá) 時(shí) 間發(fā) 車 時(shí) 間 抽象數(shù)據(jù)，得到數(shù)據(jù)的總體 ER： 車 次 對(duì) 應(yīng) 車 票出 售售 票 點(diǎn)1nmn 具體的 E— R 圖為： 車 次 對(duì) 應(yīng) 車 票售 票 點(diǎn)1 nm車 次 編 號(hào)起 始 站 名 終 點(diǎn) 站 名列 車 類 型里 程運(yùn) 行 時(shí) 間到 達(dá) 時(shí) 間發(fā) 車 時(shí) 間車 次 編 號(hào) 票 類 名 稱票 價(jià)額 定 票 數(shù)出 售 數(shù) 量 車 票 日 期編 號(hào) 名 稱 地 址 聯(lián) 系 電 話出 售n 售票點(diǎn)：｛ 編號(hào) ，名稱，地址，聯(lián)系電話｝ 車票：｛ 車次編號(hào)，票類名稱 ，票價(jià)，額定票數(shù)｝ 車次：｛ 車次編號(hào) ，列車類型，起始站名 ，終點(diǎn)站名，發(fā)車時(shí)間，到達(dá)時(shí)間，運(yùn)行時(shí)間，里程｝ 出售：｛ 車次編號(hào)，票類名稱，編號(hào) ，車票日期，出售數(shù)量｝ 邏輯結(jié)構(gòu)設(shè)計(jì) ER 圖向關(guān)系模型的轉(zhuǎn)化： 售票點(diǎn)表 (Sale): 字段名稱 數(shù)據(jù)類型 寬度 可否為空 是否為主鍵 說(shuō)明 Sno char 10 否 是 編號(hào) Sname char 30 否 否 名稱 Address char 30 否 否 地址 Tel char 11 否 否 聯(lián)系電話 車票表 (Ticket)： 字段名稱 數(shù)據(jù)類型 寬度 可否為空 是否為主鍵 說(shuō)明 Tno char 6 否 是 車次編號(hào) Tname char 4 否 是 票類名稱 Price char 10 否 否 票價(jià) Tamount numeric 5 否 否 額定票數(shù) 車次表 (Train)： 字段名稱 數(shù)據(jù)類型 寬度 可否為空 是否為主鍵 說(shuō)明 Tno char 6 否 是 車次編號(hào) Type char 20 否 否 列車類型 Bstation Char 10 否 否 起始站名 Estation Char 10 否 否 終點(diǎn)站名 Btime Char 10 否 否 發(fā)車時(shí)間 Etime Char 10 否 否 到達(dá)時(shí)間 Ttime Char 10 否 否 運(yùn)行時(shí)間 Distance char 10 否 否 里程 出售表（ ST)： 字段名稱 數(shù)據(jù)類型 寬度 可否為空 是否為主鍵 說(shuō)明 Tno char 6 否 是 車次編號(hào) Tname char 4 否 是 票類名稱 Sno char 10 否 是 編號(hào) Ddate char 20 否 否 車票日期 Samount numeric 5 否 否 出售數(shù)量 二維表 在 關(guān)系模型 中，數(shù)據(jù)結(jié)構(gòu)表示為一個(gè)二維表，一個(gè)關(guān)系就是一個(gè)二維表 ， 但不是任意一個(gè)二維表都能表示一個(gè)關(guān)系，二維表名就是關(guān)系名。表中的第一行通常稱為屬性名，表中的每一個(gè)元組和屬性都是不可再分的，且元組的次序是無(wú)關(guān)緊要的。 數(shù)據(jù)模型的規(guī)范化： 規(guī)范化理論是用來(lái)改造 關(guān)系模式 ，通過(guò)分解關(guān)系模式來(lái)消除其中不合適的 數(shù)據(jù)依賴，以解決插入異常、刪除異常、更新異常和數(shù)據(jù)冗余問(wèn)題。 關(guān)系數(shù)據(jù)庫(kù)中關(guān)系是滿足一定要求的，滿足不同程度要求的為不同范式。一般有 1NF， 2NF，3NF 及 BCNF。 對(duì)于售票點(diǎn)表 (Sale)，因?yàn)槊總€(gè)分量都是不可分的數(shù)據(jù)項(xiàng)，所以它已滿足一范式（ 1NF），又因?yàn)樗闹鞔a是售票點(diǎn)編號(hào)，唯一決定了每一個(gè)非主屬性，即每一個(gè)非主屬性完全函數(shù)依賴于主碼，達(dá)到二范式（ 2NF）。 由此可以看出，上圖是規(guī)范化了的 BCNF。 對(duì)于車票表 (Ticket)，首先它是一范式 (1NF), 又它的主碼是車次編號(hào)（ Tno）和票類名稱（ Tname），可以完全決定其他非主屬性，所以達(dá)到二范式（ 2NF）。 編號(hào) 名稱 地址 聯(lián)系電話 車次編號(hào)
研究報(bào)告相關(guān)推薦
鄂ICP備17016276號(hào)-1