收費(fèi)停車場(chǎng)管理系統(tǒng)數(shù)據(jù)庫設(shè)計(jì).doc

東方學(xué)院 實(shí)實(shí) 驗(yàn) 實(shí)訓(xùn) 報(bào)驗(yàn) 實(shí)訓(xùn) 報(bào) 告告 項(xiàng)項(xiàng) 目目 名名 稱稱 收費(fèi)停車場(chǎng)管理系統(tǒng) 所屬課程名稱所屬課程名稱 數(shù)據(jù)庫原理及應(yīng)用 項(xiàng)項(xiàng) 目目 類類 型型 設(shè)計(jì) 綜合型 實(shí)驗(yàn)實(shí)驗(yàn) 實(shí)訓(xùn)實(shí)訓(xùn) 日期日期 班班 級(jí)級(jí) 09 信息 2 班 學(xué)學(xué) 號(hào)號(hào) 0920400204 0920400211 姓姓 名名 曹歡歡 林婉怡 指導(dǎo)教師指導(dǎo)教師 嚴(yán)素蓉 目錄目錄 1 1 需求分析需求分析 4 1 1 引言 4 1 2 任務(wù) 4 1 2 1 需求分析階段的目標(biāo) 4 1 2 2 具體任務(wù) 4 1 2 3 結(jié)果 5 2 2 概念設(shè)計(jì)概念設(shè)計(jì) 11 2 1 目標(biāo) 11 2 2 設(shè)計(jì)過程 11 2 3 階段成果 11 3 3 邏輯設(shè)計(jì)邏輯設(shè)計(jì) 12 3 1 目標(biāo) 12 3 2 任務(wù)與結(jié)果 12 3 2 1 數(shù)據(jù)組織 12 圖圖 9 9 系統(tǒng)功能模塊圖系統(tǒng)功能模塊圖 15 4 4 物理設(shè)計(jì)物理設(shè)計(jì) 16 4 1 目標(biāo) 16 4 2 任務(wù) 16 4 2 1 數(shù)據(jù)存取方面 16 4 2 2 功能模塊圖 16 4 3 結(jié)果 18 4 3 1 存儲(chǔ)過程 18 4 3 2 觸發(fā)器 18 5 5 數(shù)據(jù)庫實(shí)施階段數(shù)據(jù)庫實(shí)施階段 19 5 1 目標(biāo) 19 5 2 任務(wù)與結(jié)果 19 5 2 1 建立數(shù)據(jù)庫 19 6 6 數(shù)據(jù)庫調(diào)試與測(cè)試數(shù)據(jù)庫調(diào)試與測(cè)試 20 3 1 1 需求分析 1 1 引言 需求分析是設(shè)計(jì)數(shù)據(jù)庫的起點(diǎn) 需求分析的結(jié)果是否準(zhǔn)確地反映了用戶的實(shí)際要求 將直接影 響到后面各個(gè)階段的設(shè)計(jì) 并影響到設(shè)計(jì)結(jié)果是否合理和實(shí)用 目前停車場(chǎng)的管理方式比較落后 已經(jīng)不能適應(yīng)現(xiàn)代社會(huì)的實(shí)際需求 本系統(tǒng)的開發(fā)能給管理 上帶來新鮮的活力 提高管理的效率 具有較高的實(shí)用性和開發(fā)價(jià)值 1 2 任務(wù) 4 1 2 1 需求分析階段的目標(biāo) 通過調(diào)查了解分析停車管理的現(xiàn)狀 弄清用戶對(duì)開發(fā)的數(shù)據(jù)庫應(yīng)用系統(tǒng)的確切要求 以及停車 場(chǎng)管理的流程 系統(tǒng)的具體功能和數(shù)據(jù)庫中數(shù)據(jù)信息 1 2 2 具體任務(wù) 1 處理對(duì)象 系統(tǒng)處理的對(duì)象包括車輛信息 固定車位信息 自由車位信息 停車車輛信息以及收費(fèi)記錄等 五個(gè)方面 即 固定車位信息 車位編號(hào) 車位位置 車牌號(hào)碼 車主姓名 車輛品牌 車輛顏色 車輛照片 聯(lián)系地址 聯(lián)系方式 車位余額 自由車位信息 車位編號(hào) 車位位置 車輛信息 車牌號(hào)碼 車輛品牌 車輛顏色 停車信息 車位編號(hào) 車牌號(hào)碼 進(jìn)入時(shí)間 離開時(shí)間 時(shí)間段 車位類型 在位情況 收費(fèi) 費(fèi)率 收費(fèi)記錄 車位編號(hào) 車牌號(hào)碼 停車時(shí)間 停車費(fèi)用 發(fā)票編號(hào) 2 處理功能要求 整個(gè)系統(tǒng)具體包括三個(gè)子系統(tǒng) 分別為 停車處理子系統(tǒng) 車位綜合管理子系統(tǒng)以及收費(fèi)子系 統(tǒng) 處理的功能包括 車輛信息的查詢以及更新 空閑車位信息的查詢 固定車位信息的查詢 進(jìn) 出車輛記錄的更新和收費(fèi)信息的查詢與更新等 3 安全性與完整性要求 安全性可以通過視圖機(jī)制來完成 對(duì)不同用戶設(shè)置不同權(quán)限 不同的用戶只能訪問授權(quán)的視圖 這樣可以提高一定的程度的安全性 還可以通過存取控制機(jī)制 即定義用戶權(quán)限 并將用戶權(quán)限登 記到數(shù)據(jù)字典中以及合法的權(quán)限檢查來保障安全性 完整性可以通過聲明完整性 即在定義表時(shí)聲明數(shù)據(jù)完整性和過程完整性 在服務(wù)器端編寫觸 發(fā)器來實(shí)現(xiàn) 1 2 3 結(jié)果 1 體會(huì)和收獲 通過對(duì)現(xiàn)在的停車場(chǎng)管理狀況的調(diào)查 發(fā)現(xiàn)停車場(chǎng)管理缺少合適的管理系統(tǒng) 并了解了一下管 理的大致流程 與此同時(shí)通過網(wǎng)絡(luò)搜索查找現(xiàn)行的停車場(chǎng)管理系統(tǒng) 根據(jù)這兩者綜合來進(jìn)行需求分 析 調(diào)查時(shí)需要較強(qiáng)的信息捕捉能力以及事后的總結(jié)與思考 同時(shí)學(xué)會(huì)用網(wǎng)絡(luò)較快較準(zhǔn)確地搜索到 需要的資料是很關(guān)鍵的 5 2 業(yè)務(wù)流程圖 圖 1 停車處理子系統(tǒng)業(yè)務(wù)流程圖 6 圖 2 車位綜合管理子系統(tǒng)業(yè)務(wù)流程圖 7 圖 3 收費(fèi)子系統(tǒng)業(yè)務(wù)流程圖 3 數(shù)據(jù)流圖 頂層數(shù)據(jù)流程圖 圖 4 收費(fèi)停車場(chǎng)管理系統(tǒng)頂層數(shù)據(jù)流圖 第二層數(shù)據(jù)流圖 8 圖 5 收費(fèi)停車場(chǎng)管理系統(tǒng)第一層數(shù)據(jù)流圖 第三層數(shù)據(jù)流 圖 6 收費(fèi)停車場(chǎng)管理系統(tǒng)第二層數(shù)據(jù)流圖 1 9 圖 7 收費(fèi)停車場(chǎng)管理系統(tǒng)第二層數(shù)據(jù)流圖 2 圖 8 收費(fèi)停車場(chǎng)管理系統(tǒng)第二層數(shù)據(jù)流圖 3 10 4 數(shù)據(jù)字典 數(shù)據(jù)項(xiàng) 表 2 1 數(shù)據(jù)項(xiàng)說明 數(shù)據(jù)項(xiàng)編號(hào)數(shù)據(jù)項(xiàng)編號(hào)數(shù)據(jù)項(xiàng)名數(shù)據(jù)項(xiàng)名數(shù)據(jù)項(xiàng)含義數(shù)據(jù)項(xiàng)含義與其它數(shù)據(jù)項(xiàng)的關(guān)系與其它數(shù)據(jù)項(xiàng)的關(guān)系存儲(chǔ)結(jié)構(gòu)存儲(chǔ)結(jié)構(gòu)別名別名 DI 1Cwno 車位編號(hào) char 10 編號(hào) DI 2Carno 車牌號(hào)碼 char 10 車牌 DI 3Carname 車主姓名 char 10 姓名 DI 4Carcolor 車輛顏色 char 4 顏色 DI 5Carpho 車輛照片 bit 照片 DI 6Caradd 聯(lián)系地址 char 20 地址 DI 7Cartel 聯(lián)系方式 char 20 電話 DI 8Carat 在位情況 char 4 DI 9Carin 進(jìn)入時(shí)間 datetime DI 10Carout 離開時(shí)間 datetime DI 11Carmon 車位余額 float 余額 DI 12Montime 收費(fèi)費(fèi)率 float 費(fèi)率 DI 13Moneypay 停車費(fèi)用 float 收費(fèi) DI 14Cwtype 車位類型 char 4 DI 15Cartime 停車時(shí)間 float 時(shí)間 DI 16Piece 發(fā)票編號(hào) char 20 Dl 17Carsb 車輛品牌 char 10 車名 Dl 18Cwpace 車位位置 char 10 位置 Dl 19Timetype 時(shí)間段 char 6 數(shù)據(jù)結(jié)構(gòu) 表 2 2 數(shù)據(jù)結(jié)構(gòu) 11 數(shù)據(jù)結(jié)數(shù)據(jù)結(jié) 構(gòu)編號(hào)構(gòu)編號(hào) 數(shù)據(jù)結(jié)構(gòu)名數(shù)據(jù)結(jié)構(gòu)名 數(shù)據(jù)結(jié)構(gòu)數(shù)據(jù)結(jié)構(gòu) 定義定義 組成組成 DS 1Fixed 固定車位 信息 Cwno Cwpace Carno Carname Carcolor CarsbCarpho Caradd Cartel Carmon DS 2Free 自由車位 信息 Cwno Cwpace DS 3Stop停車信息Cwno Carno Carat Carin Carout Timetype Cwtype Montime DS 4Moneynote收費(fèi)記錄Cwno Carno Cartime Moneypay Piece DS 5Car車輛信息Carno Carsb Carcolor 5 處理邏輯描述 表 2 3 處理邏輯描述 處理編號(hào)處理編號(hào)處理功能處理功能處理過程處理過程 PR 1 判斷用戶查詢涉及的功能模塊 固定車位信息模塊 自由車位信息模塊 停車車輛信息 模塊 進(jìn)出車輛記錄信息模塊 收費(fèi)記錄模塊 先確定 查詢所涉及的功能模塊 然后 確定要查詢的內(nèi)容 確 定查詢數(shù)據(jù)流向 最后顯示查詢結(jié)果 PR 2 判斷用戶修改要涉及的模塊 同時(shí)把 相應(yīng)的修改數(shù)據(jù)傳到相應(yīng)的模塊之中 固定車位信息模塊 自由車位信息模塊 停車車輛信息 模塊 進(jìn)出車輛記錄信息模塊 收費(fèi)記錄模塊 先確定 更新所涉及的功能模塊 然后 把更新信息傳送到相應(yīng) 的模塊中 最后 進(jìn)行相應(yīng)的更新操作 2 概念設(shè)計(jì) 2 1 目標(biāo) 概念結(jié)構(gòu)設(shè)計(jì)師是將需求分析得到的用戶需求抽象為信息結(jié)構(gòu)即概念模型的過程 它是整個(gè)數(shù) 據(jù)庫設(shè)計(jì)的關(guān)鍵 概念結(jié)構(gòu)設(shè)計(jì)步驟分為兩步 第一步是抽象數(shù)據(jù)并設(shè)計(jì)局部視圖 第二步是集成 局部視圖 得到全局的概念結(jié)構(gòu) 2 2 設(shè)計(jì)過程 12 1 選擇中層數(shù)據(jù)流為切入點(diǎn) 通常選擇實(shí)際系統(tǒng)中的子系統(tǒng) 2 設(shè)計(jì)分 E R 圖 即各子模塊的 E R 圖 3 生成初步 E R 圖 通過合并方法 做到各子系統(tǒng)實(shí)體 屬性 聯(lián)系統(tǒng)一 4 生成全局 E R 圖 通過消除沖突等方面 通過分析系統(tǒng)的業(yè)務(wù)流圖與數(shù)據(jù)流圖 得到系統(tǒng)圍繞 車輛 與 車位 之間的相互關(guān)系 2 3 階段成果 分 E R 圖 全局 E R 圖 E R 圖屬性如下所示 車 輛 Car Carno Carsb Carcolor Carno 是主碼 固定車位 Fixed Cwno Carpace Carno Carname Carcolor Carpho Caradd Cartel Carmon 自由車位 Freed Cwno Carpace Cwno 是主碼 收 費(fèi) Moneynote Cwno Carno Cartime Moneypay Piece Cwno 和 Carno 是外碼 停 車 Stop Cwno Carno Carin Carout Timetype Cwtype Montime Cwno 和 Carno 是外碼 3 邏輯設(shè)計(jì) 13 3 1 目標(biāo) 邏輯結(jié)構(gòu)設(shè)計(jì)的任務(wù)是把概念結(jié)構(gòu)設(shè)計(jì)階段設(shè)計(jì)好的基本 E R 圖轉(zhuǎn)換為與選用 DBMS 產(chǎn)品所 支持的數(shù)據(jù)模型相符合的邏輯結(jié)構(gòu) 邏輯結(jié)構(gòu)設(shè)計(jì)時(shí)一般要分為 3 步進(jìn)行 將概念結(jié)構(gòu)轉(zhuǎn)換為一般 的關(guān)系 網(wǎng)狀 層次模型 將轉(zhuǎn)換來的關(guān)系 網(wǎng)狀 層次模型向特定 DBMS 支持下的數(shù)據(jù)模型轉(zhuǎn) 換 對(duì)數(shù)據(jù)模型進(jìn)行優(yōu)化 3 2 任務(wù)與結(jié)果 3 2 1 數(shù)據(jù)組織 1 將 E R 模型轉(zhuǎn)換為關(guān)系模型 轉(zhuǎn)換的原則是 一個(gè)實(shí)體型轉(zhuǎn)換為一個(gè)關(guān)系模式 實(shí)體的屬性就是關(guān)系的屬性 實(shí)體的碼就是 關(guān)系的碼 對(duì)于實(shí)體間的聯(lián)系則有以下不同的情況 一個(gè) 1 1 聯(lián)系可以轉(zhuǎn)換為一個(gè)獨(dú)立的關(guān)系模式 也可以與任意一端對(duì)應(yīng)的關(guān)系模式合并 三 個(gè)或三個(gè)以上實(shí)體間的一個(gè)多元聯(lián)系可以轉(zhuǎn)換為一個(gè)關(guān)系模式 與該多元聯(lián)系相連的各實(shí)體的碼以 及聯(lián)系本身的屬性均轉(zhuǎn)換為關(guān)系的屬性 而關(guān)系的碼為各實(shí)體碼的組合 一個(gè) 1 n 聯(lián)系可以轉(zhuǎn)換為一個(gè)獨(dú)立的關(guān)系模式 也可以與 n 端對(duì)應(yīng)的關(guān)系模式合并 如果轉(zhuǎn) 換為一個(gè)獨(dú)立的關(guān)系模式 則與該聯(lián)系相連的各實(shí)體的碼以及聯(lián)系本身的屬性均轉(zhuǎn)換為關(guān)系的屬性 而關(guān)系的碼為 n 端實(shí)體的碼 一個(gè) m n 聯(lián)系轉(zhuǎn)換為一個(gè)關(guān)系模式 與該聯(lián)系相連的各實(shí)體的碼以及聯(lián)系本身的屬性均轉(zhuǎn)換 為關(guān)系的屬性 而關(guān)系的碼為各實(shí)體碼的組合 3 個(gè)或 3 個(gè)以上實(shí)體間的一個(gè)多元聯(lián)系可以轉(zhuǎn)換位一個(gè)關(guān)系模型 與該多元聯(lián)系相連的各實(shí)體 的碼以及聯(lián)系本身的屬性均轉(zhuǎn)換為關(guān)系的屬性 各實(shí)體的碼組成關(guān)系的碼或關(guān)系碼的一部分 具有相同碼的關(guān)系模式可合并 E R 圖向關(guān)系模型轉(zhuǎn)換的結(jié)果是 車 輛 Car Carno Carsb Carcolor Carno 是主碼 固定車位 Fixed Cwno Carpace Carno Carname Carcolor Carpho Caradd Cartel Carmon 自由車 位 Freed Cwno Carpace Cwno 是主碼 收 費(fèi) Moneynote Cwno Carno Cartime Moneypay Piece Cwno 和 Carno 是外碼 停 車 Stop Cwno Carno Carin Carout Timetype Cwtype Carat Montime Cwno 和 Carno 是外碼 2 模型優(yōu)化 關(guān)系模型 Car 和 Moneynote 由于沒有出現(xiàn)部分函數(shù)依賴和傳遞函數(shù)依賴 所以以上模型已經(jīng)達(dá) 到 3NF 但是關(guān)系模型 Stop 存在函數(shù)傳遞依賴 Carin Timetype Timetype Carin 14 Timetype Montime 因此應(yīng)該將關(guān)系模型 Stop 轉(zhuǎn)換為 3NF 優(yōu)化后的關(guān)系模型為 停車 Stop Cwno Carno Carin Carout Timetype 與費(fèi)率信息 Moneyt Timetype Montime 關(guān)系模型 Fixed 和 Freed 之間存在數(shù)據(jù)冗余 因此可以將兩個(gè)關(guān)系模型合并為一個(gè)關(guān)系模型 FFed 并添加識(shí)別信息 合并后的關(guān)系模型為 Ffed Cwno Carpace Cartype Carno Carname Carsb Carcolor Carpho Caradd Cartel Carmon 模型優(yōu)化后的關(guān)系模型為 車輛 Car Carno Carsb Carcolor Carno 是主碼 車位 Ffed Cwno Cwpace Cwtype Carno Carname Carsb Carcolor Carpho Caradd Cartel Carmon 收費(fèi) Moneynote Cwno Carno Cartime Moneypay Piece Cwno 和 Carno 是外碼 被參照表是 Ffed 和 Car 停車 Stop Cwno Carno Carin Carout Carat Timetype 費(fèi)率信息 Moneyt Timetype Montime 3 數(shù)據(jù)庫模式定義 表 4 1 車輛信息 列名列名數(shù)據(jù)類型數(shù)據(jù)類型是否為主碼是否為主碼是否為外碼是否為外碼取值范圍取值范圍可否為空可否為空含義說明含義說明 CarnoChar是否否車牌號(hào)碼 CarsbChar否否可車輛品牌 CarcolorChar否否可車輛顏色 表 4 2 車位信息 列名列名數(shù)據(jù)類型數(shù)據(jù)類型是否為主碼是否為主碼是否為外碼是否為外碼取值范圍取值范圍可否為空可否為空含義說明含義說明 CwnoChar是否否車位編號(hào) CwpaceChar否否否車位位置 CwtypeChar否否否車位類型 CarnoChar否否可車牌號(hào)碼 CarnameChar否否可車主姓名 CarsbChar否否可車牌號(hào)碼 CarcolorChar否否可車輛顏色 CarphoBit否否可車輛照片 CaraddChar否否可聯(lián)系地址 CartelChar否否可聯(lián)系電話 CarmonFloat否否100 200可車位余額 表 4 3 停車信息 列名列名數(shù)據(jù)類型數(shù)據(jù)類型是否為主碼是否為主碼是否為外碼是否為外碼取值范圍取值范圍可否為空可否為空含義說明含義說明 CwnoChar否是否車位編號(hào) CarnoChar否是否車牌號(hào)碼 15 CaratBit否否否在位情況 Carindatetime否否否進(jìn)入時(shí)間 Caroutdatetime否否可離開時(shí)間 TimetypeChar 6 是否高峰 一般 低谷 否時(shí)間段 表 4 4 費(fèi)率信息 列名列名數(shù)據(jù)類型數(shù)據(jù)類型是否為主碼是否為主碼是否為外碼是否為外碼取值范圍取值范圍可否為空可否為空含義說明含義說明 TimetypeChar 6 是否高峰 一般 低谷 否時(shí)間段 MontimeFloat否否大于 0否收費(fèi)費(fèi)率 表 4 5 收費(fèi)記錄 列名列名數(shù)據(jù)類型數(shù)據(jù)類型是否為主碼是否為主碼是否為外碼是否為外碼取值范圍取值范圍可否為空可否為空含義說明含義說明 CwnoChar否是否車位編號(hào) CarnoChar否是否車牌號(hào)碼 CartimeFloat否否大于 0否停車時(shí)間 列名列名數(shù)據(jù)類型數(shù)據(jù)類型是否為主碼是否為主碼是否為外碼是否為外碼取值范圍取值范圍可否為空可否為空含義說明含義說明 MoneypayFloat 否否大于 0可停車費(fèi)用 PieceChar否否可發(fā)票編號(hào) 4 用戶子模式定義 表 4 6 用戶子模式定義 序號(hào)序號(hào)視圖名稱視圖名稱視圖定義視圖定義視圖作用視圖作用備注備注 V 1 Carinformation 車位號(hào) 車牌號(hào)查詢?cè)谖卉囕v信息 V 2Carfixedtion車位號(hào) 車牌號(hào) 車主 車名 車色 車照 地 址 電話 余額 查詢?cè)诠潭ㄜ囄煌＼嚨?車輛信息 V 3carfreetion車位號(hào) 車牌號(hào) 車名 車色查詢?cè)谧杂绍囄煌＼嚨?車輛信息 V 4Carinouttion車位號(hào) 車牌號(hào) 進(jìn)入時(shí)間 離開時(shí)間 時(shí)間段 查詢車輛進(jìn)出記錄作用與 V 1 不 一樣 V 5moneytime時(shí)間段 費(fèi)率查詢及修改收費(fèi)費(fèi)率 V 6Moneytion總收費(fèi)查詢停車場(chǎng)總收費(fèi) v 7Carmoney車牌號(hào) 繳費(fèi)總額查詢每輛車的繳費(fèi)額 5 功能模塊圖 16 圖 9 系統(tǒng)功能模塊圖 4 物理設(shè)計(jì) 4 1 目標(biāo) 物理設(shè)計(jì)就是為一個(gè)給定的邏輯數(shù)據(jù)結(jié)構(gòu)模型選取一個(gè)最合適應(yīng)用要求的物理結(jié)構(gòu)的過程 物 理設(shè)計(jì)通常分為兩步 確定數(shù)據(jù)庫的物理結(jié)構(gòu) 在關(guān)系數(shù)據(jù)庫中主要指存取方法和存儲(chǔ)結(jié)構(gòu) 對(duì)物 理結(jié)構(gòu)進(jìn)行評(píng)價(jià) 評(píng)價(jià)的重點(diǎn)是時(shí)間和空間效率 如果評(píng)價(jià)結(jié)果滿足原設(shè)計(jì)要求 則可進(jìn)入到物理 實(shí)施階段 否則 就需要重新設(shè)計(jì)或修改物理結(jié)構(gòu) 有時(shí)甚至要返回邏輯設(shè)計(jì)階段修改數(shù)據(jù)模型 物理設(shè)計(jì)的內(nèi)容包括 為關(guān)系模型選擇存取方法 設(shè)計(jì)關(guān)系 索引等數(shù)據(jù)庫文件的物理存儲(chǔ)結(jié)構(gòu) 4 2 任務(wù) 4 2 1 數(shù)據(jù)存取方面 由于經(jīng)常需要判斷是否有空余車位 所以要經(jīng)常查詢停車信息 因此在 Stop 表的 Cwno 上建立 聚簇索引以提高查詢效率 為了方便查詢各個(gè)車輛的收費(fèi)記錄 在 Moneynote 表的 Carno 上建立聚簇索引以提高查詢效率 4 2 2 功能模塊圖 1 車位信息查詢及更新模塊圖 17 圖 10 車位信息查詢及更新模塊圖 2 停車信息查詢及更新模塊圖 圖 11 停車信息查詢及更新模塊圖 3 收費(fèi)費(fèi)率查詢及更新模塊圖 18 圖 12 收費(fèi)費(fèi)率查詢及更新模塊圖 4 3 結(jié)果 4 3 1 存儲(chǔ)過程 表 5 1 存儲(chǔ)過程 編號(hào)編號(hào)存儲(chǔ)過程名稱存儲(chǔ)過程名稱定義定義作用作用 P 1Sof1 詳見附錄 3 16查詢固定車位總數(shù) P 2Sof2 詳見附錄 3 17查詢自由車位總數(shù) P 3Sof3 詳見附錄 3 18查詢空閑自由車位數(shù)目 P 4Sof4 詳見附錄 3 19查詢車位總數(shù) P 5Sof5 詳見附錄 3 20在 Moneynote 中查詢?nèi)我廛囕v的收費(fèi) P 6Sof6 詳見附錄 3 21在 Car 中插入一元組 P 7Sof7 詳見附錄 3 22在 Ffed 中插入一元組 P 8Sof8 詳見附錄 3 23在 Stop 中插入一元組 P 9Sof9 詳見附錄 3 24在 Moneynote 中插入一元組 P 10Sof10 詳見附錄 3 25查詢車輛 Car 信息 P 11Sof11 詳見附錄 3 26查詢車位 Ffed 信息 P 12Sof12 詳見附錄 3 27查詢停車 Stop 信息 P 13Sof13 詳見附錄 3 28查詢收費(fèi) Moneynote 信息 P 14Sof14 詳見附錄 3 29刪除一條收費(fèi) Moneynote 記錄 19 P 15Sof15 詳見附錄 3 30修改固定車位車輛余額 Carmon 4 3 2 觸發(fā)器 表 5 2 觸發(fā)器 編號(hào)編號(hào)存儲(chǔ)過程名稱存儲(chǔ)過程名稱定義定義作用作用 T 1Insert or update carmon 詳見附錄 3 31限定余額值必須大于等于 120 的觸發(fā)器 P 2tri moneypay 詳見附錄 3 32限制修改 MONEYNOTE 中大于 50 的觸發(fā)器 P 3tri del mo 詳見附錄 3 33限制刪除 moneynote 表中大于 70 的數(shù)據(jù) 5 數(shù)據(jù)庫實(shí)施階段 5 1 目標(biāo) 數(shù)據(jù)庫實(shí)施階段就是用 DBMS 提供的數(shù)據(jù)定義語言與其他實(shí)用程序?qū)?shù)據(jù)庫邏輯設(shè)計(jì)和物理 設(shè)計(jì)結(jié)果嚴(yán)格描述出來 成為 DBMS 可以接受的源代碼 再經(jīng)過調(diào)試產(chǎn)生目標(biāo)模式 然后組織數(shù) 據(jù)入庫 數(shù)據(jù)庫實(shí)施階段包括兩項(xiàng)重要的工作 一項(xiàng)是數(shù)據(jù)的載入 另一項(xiàng)是應(yīng)用程序的編碼和調(diào) 試 5 2 任務(wù)與結(jié)果 5 2 1 建立數(shù)據(jù)庫 1 建立數(shù)據(jù)庫 數(shù)據(jù)表 視圖 索引等 a 建立數(shù)據(jù)庫定義語句 create database Parking b 建立數(shù)據(jù)表定義語句 20 建立車輛數(shù)據(jù)表 create table Car Carno char 10 primary key Carsb char 10 Carcolor char 4 建立車位信息表 create table F