實(shí)驗(yàn)四-數(shù)據(jù)庫范式

實(shí)驗(yàn)課4-通過實(shí)驗(yàn)體會(huì)關(guān)系數(shù)據(jù)理論，函數(shù)依賴以及范式實(shí)驗(yàn)?zāi)康模?.體會(huì)關(guān)系數(shù)據(jù)理論，函數(shù)依賴以及范式；2.體會(huì)不好的數(shù)據(jù)庫設(shè)計(jì)存在的數(shù)據(jù)冗余，增刪改的異常。實(shí)驗(yàn)內(nèi)容及要求：1.設(shè)計(jì)1個(gè)關(guān)系，使之滿足2NF而不滿足3NF；設(shè)計(jì)1個(gè)關(guān)系，使之滿足3NF而不滿足BCNF；2.詳細(xì)描述關(guān)系的語義，分析關(guān)系中存在的函數(shù)依賴；3.并使用商用數(shù)據(jù)庫Server2005SQL設(shè)計(jì)實(shí)現(xiàn)，錄入數(shù)據(jù)；4.體會(huì)數(shù)據(jù)冗余，以及增加異常，刪除異常，修改復(fù)雜。實(shí)驗(yàn)過程：第一部分滿足2NF不滿足3NF，分析存在的函數(shù)依賴，錄入數(shù)據(jù)后體會(huì)增刪改的異常以及數(shù)據(jù)冗余。實(shí)例：學(xué)生宿舍管理數(shù)據(jù)庫。學(xué)生宿舍管理（學(xué)號(hào)，學(xué)生所在系，宿舍樓號(hào)）即S_L(sno,sdept,sloc)。規(guī)定，同一個(gè)系的學(xué)生住一個(gè)宿舍樓。主碼為sno，snosdeptsnoslocsdeptsloc每個(gè)非主屬性完全函數(shù)依賴于碼，屬于2NF；存在傳遞函數(shù)依賴snosloc，不屬于3NF。建立該表并錄入數(shù)據(jù)，如下-createtables_l(snochar(20)primarykey,sdeptchar(20)notnull,slocchar(25)notnull,);insertintos_lvalues('2010001','ocean','A1');insertintos_lvalues('2010002','ocean','A1');insertintos_lvalues('2010003','ocean','A1');insertintos_lvalues('2010004','acoustics','A2');insertintos_lvalues('2010005','acoustics','A2');insertintos_lvalues('2010006','tank','A3');insertintos_lvalues('2010007','tank','A3');insertintos_lvalues('2010008','aerospace','A4');insertintos_lvalues('2010009','aerospace','A4');形成的數(shù)據(jù)庫表格存在的問題：數(shù)據(jù)冗余。sdept和sloc信息被重復(fù)存儲(chǔ)；插入異常。新建系別ship住在A4號(hào)樓，但未進(jìn)行招生，無法插入此信息。修改負(fù)載。2010009號(hào)學(xué)生轉(zhuǎn)換為aerospace系，在修改系名的同時(shí)，需要將sloc修改為A3。updates_lsetsdept='areospace',sloc='A3'wheresno='2010009';刪除異常，此批次學(xué)生畢業(yè)后，全表刪除，無法保留系別和宿舍樓對(duì)應(yīng)信息。第二部分建立一個(gè)滿足3NF不滿足BCNF的例子，分析存在的函數(shù)依賴，錄入數(shù)據(jù)后體會(huì)增刪改不足和數(shù)據(jù)冗余。授課_選課（學(xué)生，教師，課程），STJ(S,T,J)。每個(gè)學(xué)生可以多門課，一個(gè)教師只教一門課，每一門課可以有多個(gè)老師。主碼可以為(S,J)或(S,T)。存在的函數(shù)依賴-,,。不存在傳遞函數(shù)依賴。存在屬性J依賴于非碼屬性T。不屬于BDNF建立該表并錄入數(shù)據(jù)-createtableSTJ(snamechar(20),coursechar(20),teacherchar(20)notnull,primarykey(sname,course),);insertintoSTJvalues('孫浩軒','電工','陳戈');insertintoSTJvalues('孫浩軒','電科','崔國(guó)林');insertintoSTJvalues('呂蒙','電工','陳戈');insertintoSTJvalues('呂蒙','電科','崔國(guó)林');insertintoSTJvalues('劉菲菲','物理','沈月龍');insertintoSTJvalues('劉菲菲','電工','陳戈');insertintoSTJvalues('劉翠萍','電工','陳戈');insertintoSTJvalues('劉翠萍','電科','崔國(guó)林');insertintoSTJvalues('張麗','物理','沈月龍');insertintoSTJvalues('張麗','電工','陳戈');insertintoSTJvalues('柴琳','電科','崔國(guó)林');insertintoSTJvalues('柴琳','電工','陳戈');建立后的表格-存在的問題：數(shù)據(jù)冗余。教師與課程的對(duì)應(yīng)關(guān)系被重復(fù)存儲(chǔ)。插入異常。新設(shè)了一門課程，并為其安排了老師，還沒有選課。但是因?yàn)椋═，J）不能構(gòu)成主碼，故無法插入。更新困難。陳戈改教電科，需要對(duì)所有選陳戈課的記錄進(jìn)行修改。updateSTJsetcourse='計(jì)算機(jī)'whereteacher='陳戈';刪除異常某個(gè)學(xué)生只選了一門課，現(xiàn)在他退課，但因?yàn)楸纠校⊿,J