2023年西北工業(yè)大學數(shù)據(jù)庫實驗報告

《數(shù)據(jù)庫原理》實驗報告題目：實驗一數(shù)據(jù)庫和表的創(chuàng)建與管理學號姓名班級日期孟玉軍1０0114０216.1１.10實驗內(nèi)容、環(huán)節(jié)以及結(jié)果假設學校允許學生將銀行卡和校園卡進行綁定,在studｅnt數(shù)據(jù)庫中有如下的基本表，其中校園卡編號cardid即為學生的學號：?ｉcｂｃ_cａｒｄ(ｓｔuｄcardｉd，ｉcｂｃid，balanｃe)/／校園卡IＤ，工行卡ＩD,銀行卡余額camｐus_card(ｓtudcaｒｄid,ｂａlａnce)／/校園卡ＩD，校園卡余額創(chuàng)建數(shù)據(jù)庫代碼如下：uｓestudeｎtｃreaｔetａｂlecampus＿carｄ(?ｓｔudcarｄidChaｒ（８)，balancｅDｅｃimal(1０,2））crｅaｔｅtａblｅiｃbc_ｃard(?ｓｔudｃardidＣhar(8)，iｃｂcidＣhａr（1０）,? lａｎceＤｅcｉmal(10,2)，）示例數(shù)據(jù)如下：inｓertｉntocampｕｓ＿cａrｄvａlues('20２３０031＇,３０)ｉnsertintoｃａｍpｕs＿ｃａrdvａluｅs（＇20２３０03２'，５0)ｉnｓertintocａｍpus_cardｖaｌｕes('202３０033＇，70)insｅｒtinｔｏicbc＿cardｖalｕｅｓ('2023003１','＇,1000)iｎsertｉntoiｃbc_cａrdｖalues('２02300３2'，'',1000）iｎsertintｏicbc_caｒdｖａｌues('202３00３3＇,'',10０0)針對以上數(shù)據(jù)庫按照規(guī)定完畢下列實驗:編寫一個事務解決(begintｒan）實現(xiàn)如下的操作:某學號為20230032的學生要從銀行卡中轉(zhuǎn)賬200元到校園卡中，若中間出現(xiàn)故障則進行rｏllbaｃk。（15分）代碼:ｕsesｔudentｂｅｇintｒaｎsａｃtｉonzｈuaｎｚhaｎgｇodｅclaｒe@xdecｉmａl(10，2）seleｃｔ@x＝balancefromｉｃbc_cａrdwherestuｄcａrｄiｄ=＇20２３０03２'ｓｅｔ＠x=@x－２00if（@x>=０)beｇinuｐdateｉcbc＿ｃａrdｓｅtbａlａｎce=@xwhｅｒesｔudcardid=＇２0２30032'uｐdatｅcaｍpｕs_ｃａrdseｔbａlaｎce=balaｎcｅ+200whｅreｓtudｃardｉｄ＝'202300３2'commiｔtｒａnｅnｄｅlseｂegiｎｐｒｉｎｔ'余額局限性,不能轉(zhuǎn)賬＇rｏlｌbaｃｋtranend結(jié)果顯示:針對本題的數(shù)據(jù)庫和表,分別用品體的例子展現(xiàn)四種數(shù)據(jù)不一致問題：丟失修改、讀臟數(shù)據(jù)、不可反復讀和幻讀(刪除和插入)。（4０分，每種數(shù)據(jù)不一致1０分)1)．丟失修改：執(zhí)行兩段代碼begintｒaｎsactioｎdｅclaｒｅ@adeｃimａl(1０,２)ｓelｅct＠a=balancｅfrｏmiｃbc_cａrdｗheｒestuｄcaｒdｉd＝＇202３０03２'waｉｔfｏrdeｌay'００：00：05'updaｔeicbc_cａrdｓetbａlance=@ａ＋１ｗherestudcaｒdiｄ='20２30032'cｏmmｉtseｌｅｃt*ｆromicbc＿ｃaｒｄ----－－-－----------－-------－----------ｂegintransactioｎｄeclare＠bdecｉmal（１0,2)ｓｅlｅcｔ@b=baｌancefｒoｍiｃｂc_caｒｄwｈerestｕdcardid=＇202300３2'waiｔｆｏrdelａy'00：0０:０5＇updａt(yī)ｅicbc_cardsetbaｌaｎｃe=＠b+２wherestudcａrｄｉd='202３０032'coｍmitsｅlｅｃt*frｏｍicbc_card兩段代碼執(zhí)行后的結(jié)果：出現(xiàn)了丟失修改2）.讀臟數(shù)據(jù)：ｂegintrａnsaｃtｉｏnｄeclare@bｄecimal(１０,2)selｅcｔ@b=balａncefromicbｃ＿ｃａｒdwheｒestudｃaｒdiｄ=＇２0２30０32＇uｐｄａt(yī)eｉcｂｃ_carｄsetbalance=＠b*2wherestｕdｃarｄid＝＇２0230０32'begintｒaｎsactiｏｎselｅｃt*fromicbc_cardcomｍitrollｂaｃksｅlect＊fromｉcbｃ＿carｄ結(jié)果顯示:3).不可反復讀:beｇintraｎｓactioｎｓelｅｃt＊ｆｒomicbc_cａｒdbeｇinｔraｎsactionｄeｃlare＠bｄeciｍａｌ（10,2）seｌeｃt@ｂ=balancｅｆｒｏｍicｂc_ｃaｒdwherｅstudcardiｄ＝'２０2３０03２'ｕpdateiｃbｃ_caｒdｓeｔｂalaｎce=@b＊2wherｅstｕdｃａrdiｄ='20２３0０３2'commitselect＊fromｉcbｃ_cardcｏmmit結(jié)果顯示:４)．幻讀刪除:beｇintｒansactionselect*fｒoｍicbc＿ｃardbegintransａctiondeletｅfromicbc_cardwherestuｄcａrdiｄ='2023０03２'cｏmｍitseｌect＊fromicbc_caｒｄcommit結(jié)果顯示：插入：beｇｉnｔransacｔionselect*fromicｂｃ_caｒｄbegintrａnsａctioninserｔintoicｂc_caｒdvａluｅs('２0230０３４＇,'',1０00)commiｔｓelect*fｒomicbc_ｃａｒｄcommiｔ結(jié)果顯示:運用鎖機制、數(shù)據(jù)庫的隔離級別等,設計方案分別解決上述丟失修改、讀臟數(shù)據(jù)和不可反復讀(或者幻讀)的數(shù)據(jù)不一致問題。(3０分,每種數(shù)據(jù)不一致１０分,提醒可以用sp_locｋ系統(tǒng)存儲過程查看當前鎖狀況)１)．丟失修改：beginｔrａｎsaｃtiｏndecｌare@bdecimal（10,2)seｌect@ｂ=bａlａncefroｍicｂｃ_cardｗith(xlｏcｋ)whereｓtudcardid='202３０0３2'waｉｔfｏrｄelay'00：０0:05'updateｉcbc_cardsetｂalａnce=@ｂ＋２wherestｕdｃａrdｉｄ='２0230032'coｍmitselｅcｔ＊ｆroｍｉcbc_cardbegintrａnsactｉoｎdeｃlare@adecimal(10，２）select@a=bａlａnceｆromicｂc_cardwith(xloｃｋ)ｗｈeｒestudｃaｒdid＝＇２0２300３２'ｗaitfordelay'00:０0：0５'uｐdateicｂｃ_cardsetｂalance=@a＋1wｈereｓtｕdｃａrdid='202３００32＇cｏmmitseleｃt*ｆromｉcbｃ_card成功加3,解決了丟失修改2)．讀臟數(shù)據(jù)begintranｕpdatｅcampｕs_cardwith(xlｏcｋ）setｂａlａnｃe=baｌａnce-20wheｒestｕdcａｒｄｉd='2０２3０0３2'waitfoｒdelay'00:00：05＇rｏllｂackbeginｔｒaｎseｔtrａｎｉsolaｔｉonlevelｒeａｄunｃommｉttedselecｔ*ｆｒomｃampus_cardｗith（holｄｌoｃk）wｈerestudｃardｉd＝'20２3０032＇ｗaitｆordｅlay'０0:0０：05＇selecｔ*ｆrｏmcａｍpｕｓ_cａｒdwith(holdlock)whｅrestudcardiｄ＝'2023０0３2'結(jié)果顯示：沒有出現(xiàn)臟數(shù)據(jù)3）.不可反復讀bｅgintｒａnsｅtｔrａnisolatｉonlｅveｌrｅaduｎcomｍittｅddecｌaｒe＠b1Deｃｉｍal(１0，2)ｄｅclａre＠b2Ｄｅｃimａl(１0，２)selｅct@b1=baｌaｎcefrｏmcａｍpus＿ｃardwiｔh(holｄlock)wherestudｃarｄid＝'２02３003２'print('第一次數(shù)據(jù):'+conveｒt（vaｒchar，@ｂ1))waitfordelay'０0:０0:０５＇selｅct@b2=balancefromcampus＿ｃaｒｄwｉth(holdｌocｋ)wheresｔuｄcardid=＇20２3０032＇pｒint（'第一次數(shù)據(jù)：'+cｏnｖert(vａrｃhaｒ,＠b2))ｂｅgｉntranupdaｔecampus＿ｃardｗitｈ（xlｏck)seｔbａlance=balａｎcｅ＋10０whｅrｅstudcardｉd=＇202３0０３２'waiｔfordｅlaｙ'０0:00:0３'commit結(jié)果顯示:消除了反復讀錯誤構(gòu)造一個出現(xiàn)死鎖的情形。（１０分）事務一：begｉｎtransaｃｔionｓｅlecｔ*ｆｒomcaｍｐus_cａrdｗitｈ(taｂlockｘ)waiｔfordelay＇0０:０0:05＇seｌect*ｆroｍicｂc_cａrdwｉtｈ（tabｌｏckｘ）comｍit事務二：begintransａcｔionｓeｌｅct*fｒomiｃｂc_caｒdwith(tablｏckｘ)waitｆordelay＇00:０0：05'seｌｅct＊froｍcampus_ｃardwith