Giáo án dạy CNTT- P4

Chia sẻ: Hoang Nguyen | Ngày: | Loại File: PDF | Số trang:11

0
105
lượt xem
51
download

Giáo án dạy CNTT- P4

Mô tả tài liệu
  Download Vui lòng tải xuống để xem tài liệu đầy đủ
Lưu

Nội dung Text: Giáo án dạy CNTT- P4

  1. Xæí lyï thäng tin trong CSDL Chæång4: TAÏCH KHÄNG MÁÚT THÄNG TIN Cho læåüc âäö quang hãû R=(A1,A2,...,An), taïch læåüc âäö quang hãû R laì thay noï båíi mäüt bäü caïc læåüc âäö P=(R1,R2,...,Rk) sao cho R1∪R2∪...∪Rk =R Vê duû: xeït 2 læåüc âäö quang hãû NGUOI_CCKTNT(TEN,DCHI,TENMH,GIA), Khi âoï våïi læåüc âäö quang hãû NGUOI_CCKTNT coï táûpphuû thuäüc haìm sau: F=(TEN→DCHI;TEN,MATH→GIA) khi âoï ta coï thãø taïch læåüc âäö quang hãû NGUOI_CCKTNT thaình 2 læåüc âäö quang hãû sau: R1(TEN,DCHI), R2=(TEN,MATH,GIA) khi âoï moüi hiãûn haình r cuía R âæåüc taïch ra thaình 2 quang hãû r1=ΠR1(r), r2= ΠR2(r). Âãø phuûc häöi laûi R tæì R1 vaì R2 ta cáön näúi pheïp näúi R1∞ R2. (r = r1 ∞ r2) Váún âãö âàût ra laì khi naìo r = r1 ∞ r2. 4.1 Pheïp näúi khäng máút thäng tin Cho læåüc âäö quang hãû R vaì táûp phuû thuäüc haìm F trãn R, pheïp taïch P=(R1,R2,...,Rk) âæåüc goüi laì taïch coï näúi khäng máút thäng tin (hay goüi tàõt laì taïch khäng máút thäng tin ) nãúu våïi moüi quang hãû r cuía Rthoía maîn F thç r= ΠR1(r) ∞ΠR2(r) ∞ ...∞ ΠRk(r) Âàût Mp(r)= ΠR1(r) ∞ΠR2(r) ∞ ...∞ ΠRk(r) khi âoï âiãöu kiãûn näúi khäng máút thäng tin laì : Våïi moüi quang hãû r thuäüc R thoîaman F thç Mp(r)= r Bäø Âãö Cho læåüc âäö quang hãû R vaì mäüt pheïp taïch P=(R1,R2,...,Rk), goüi r laì quang hãû cuía R. Âàût ri = ΠRi(r) ta coï: 1. r ⊆ Mp(r) 2. nãúu s = Mp(r) thç ΠRi(s)=ri 3. Mp(r)=Mp(Mp(r)) chæïng minh 1. r ⊆ Mp(r) Chuï yï r laì quang hãû (táûp håüp), mäùi pháön tæí cuía r laì mäüt bäü (xãúp theo ma tráûn laì mäüt haìng). Láúy mäüt bäü t∈r; âàût ti=t(Ri) (t=(a1,a2,...,an) Trong âoï t(Ri) laì nhæîng thaình pháön æïng våïi caïc thuäüc tênh cuía Ri Vê duû AB C D 14 5 2 t=3 2 7 6 33 7 4 R1=BC khi âoï ΠR1(r) = BC 45 Trang 1
  2. Xæí lyï thäng tin trong CSDL 2 7 3 7 Khi âoï t(r1) = 2 7 Ti = t(Ri) ∈ ΠRi(r) t= t1 ∞ t2 ∞...∞ tk ⊆ ΠR1(r) ∞ ΠR2(r)∞...∞ ΠRk(r) t ⊆ Mp(r) 2. nãúu s = Mp(r) thç ΠRi(s)=ri tæì (1) ta coï r ⊆ Mp(r) ⇒ ΠRi(r)⊆ΠRi(Mp(r)) ⇒ ri⊆ΠRi(s) Chæïng minh ngæåüc laûi ΠRi(s) ⊆ ri Láúy ti ∈ ΠRi(s) (i=1..k) Âàût t= t1∞ t2∞...∞ tk ∈Mp(Mp(r)) =Mp(s) (vç ΠR1(s) ∞ ΠR2(s) ∞ ... ∞ΠRk(s) = Mp(s)= Mp(Mp(r))) ti ∈ΠR1(r) ∞ ΠR2(r) ∞ ... ∞ΠRk(r) =ΠRi(ΠRi(r)) = ΠRi(r) = ri (dpcm) 3. Mp(r)=Mp(Mp(r)) tæì (2) tacoï ri= ΠRi(s) ⇒ r1 ∞ r2 ∞...∞rk= ΠR1(s) ∞ ΠR2(s) ∞ ... ∞ΠRk(s) = Mp(s)= Mp(Mp(r). 4.2 Thuáût toaïn xaïc âënh pheïp taïch coï máút thäng tin hay khäng Thuáût toaïn: Dæî liãûu vaìo: - Læåüc âäö quang hãû R - Táûp phuû thuäüc haìm F Pheïp taïch P(R1,R2,...,Rk) Ra: Xaïc âënh liãûu pheïp taïch P coï máút thäng tin hay khäng. Phæång phaïp: R=(A1,A2,...An) Ta xáy dæûng mäüt baíng k doìng, n cäüt. Caïc doìng cuía baíng âæåüc âaïnh dáúu båíi caïc thuäüc tênh R1, R2,...,Rk, caïc cäüt âæåüc âaïnh dáu båíi caïc thuäüc tênh A1,A2,...,An. Trong baíng âiãön caïc kyï hiãûu nhæ sau: - Vë trê æïng våïi cäüt AÛ vaì doìng Ri thç ghi aj nãúu Aj∈Ri hoàûc ghi bij nãúu Aj ∉Ri - Biãún âäøi caïc kyï hiãûu trong baíng theo quy tàõt sau: 1. ÆÏng våïi mäùi phuû thuäüc haìm X → Y ∈ F tçm caïc càûp doìng (2 dong mäüt) maì giaï trë cuía noï truìng nhau trãn caïc vë trê tæång æïng caïc cäüt trong X thç laìm bàòng caïc kyï hiãûu tæång æïng våïi caïc vë trê trong Y, nguyãn tàõt laìm bàòng nhæ sau: - nãúu mäüt trong hai kyï hiãûu æïng våïi thuäüc tênh Aj laì aj thç thay giaï trë kia bàòng aj. Nãúu caí hai kyï hiãûu æïng våïi thuäüc tênh Aj laì blj vaì bij thç thay chuïng bàòng blj hoàûc bij âãø cho chuïng giäúng nhau. 2. Làûp laûi quaï trçnh 1 cho âãún khi khäng coìn coï sæû thay âäøi naìo trãn baíng. 3. Nãúu trong baíng kãút quaí coï êt nháút mäüt doìng toaìn kyï hiãûu a(a1,a2,...an) thç pheïp taïch laì khäng máút thäng tin , ngæåüc laûi thç phpe taïch máút thäng tin. Vê duû1 Trang 2
  3. Xæí lyï thäng tin trong CSDL Cho læåüc âäö quang hãû R=ABCDE Taïch R thaình caïc læåüc âäö sau: R1 = AD, R2=AB, R3= BE, R4= CDE, R5= AE táûp phuû thuäüc haìm F=(A→C,B→C,C→D,DE→C,CE→A) Xaïc âënh pheïp taïch trãn coï máút thäng tin hay khäng láûp baíng: A B C D E AD a1 b12 b13 a4 b15 b23(b13) b24(a4) AB a1 a2 b25 b31(a1) b33(b13)(a3) b34(a4) BE a2 a5 CDE b41 b42 a3 a4 a5 b53(b13)(a3) b54(a4) AE a1 b52 a5 Pheïp taïch trãn khäng máút thäng tin vç coï doìng BE toaìn kyï hiãûu a Vê duû 2: Xeït quan hãû ngæåìi cung cáúp nhæ sau: S(PRO, PRICE, ADD, PRO, PRICE) Âæåüc taïch thaình 2 læåüc âäö quan hãû sau S1(SNAME, ADD) S2(SNAME, PRO, PRICE) Våïi caïc phuû thuäüc haìm nhæ sau: SNAME → ADD SNAME,PRO →PRICE Ban âáöu ta thiãút láûp baíng nhæ sau: SNAME ADD PRO PRICE S1 a1 a2 b13 b14 S2 a1 b22 (a2) a3 a4 Trang 3
  4. Xæí lyï thäng tin trong CSDL AÏp duûng phuû thuäüc haìm SNAME→ADD cho hai haìng cuía baíng. Hai baíng bàòng nhau trãn cäüt SNAME ( âãöu bàòng a1) nãn åí cäüt ADD chuïng âæåüc laìm bàòng vaì laìm bàòng a2 Baíng kãút quaí laì SNAME ADD PRO PRICE S1 a1 a2 b13 b14 S2 a1 a2 a3 a4 Baíng kãút quaí coï doìng thæï hai giaï trë toaìn laì a , do âoï kãút quaí näúi laì khäng máút thäng tin 4.2 Chuáøn hoïa læåüc âäö quang hãû Do viãûc cáûp nháút dæî liãûu (qua caïc pheïp tênha cheìn, loaûi boí, sæía âäøi) gáy nãn nhæîng dë thæåìng cho nãn caïc quan hãû cáön thiãút phaíi âæåüc biãún âäøi thaình nhæîng daûng phuì håüp. Quaï trçnh âoï âæåüc xem laì quaï trçnh chuáøn hoïa. Quan hãû âæåüc chuáøn hoïa laì quan hãû trong âoï mäùi miãön cuía mäüt thuäüc tênh chê chæïa nhæîng giaï trë nguyãn täú tæïc laì khäng phán nhoí âæåüc næîa. Quan hãû coï chæïa caïc miãön trë khäng nguyãn täú goüi laì quan hãû khäng chuáøn hoïa . Mäüt quan hãû âæåüc chuáøn hoïa coï thãø thaình mäüt hoàûc nhiãöu quan hãû chuáøn hoïa khaïc vaì khäng laìm máút thäng tin. Vê duû S# PRO S# P# QTY P# QTY Khäng chuáøn hoïa 1 100 1 1 100 1 200 2 1 200 2 300 1 1 300 1 Chuáøn hoïa 2 100 4 2 100 4 200 2 2 200 2 3 400 5 3 400 5 500 1 3 500 1 4.2.1Caïc daûng chuáøn Trong lyï thuyãút ban âáöu Codd âæa ra 3 daûng chuáøn cuía quan hãû sau: Daûng ban âáöu(Khäng chuáøn hoïa) Daûng chuáøn thæï nháút (1NF - first normal form) Trang 4
  5. Xæí lyï thäng tin trong CSDL Daûng chuáøn thæï 2 (2NF) Daûng chuáøn thæï 3 (3NF) 1. Daûng chuáøn 1 (1NF - first normal form) Mäüt læåüc âäö quan hãû R âæåüc goüi laì åí daûng chuáøn mäüt (1NF) nãúu vaìchè nãúu táút caí miãön giaï trë cuía caïc thuäüc tênh cuía R âãöu nguyãn täú (khäng thãø phán chia âæåüc) Chuï yï: Tênh khäng thãø phán chia âwoüc coï tênh cháút tæång âäúi. Âënh nghéa naìy cho tháúy ngay ràòng báút kyì quan hãû chuáøn hoïa naìo cuîng åí 1NF. 2. Daûng chuáøn 2 ( 2NF- Second normal form) træåïc khi nghiãn cæïu daûng áønnnn thæ 2 , ta xeït Vê duû sau âáy: Xeït CSDL gäöm 2 læåüc âäö quan hãû THI(MONTHI,GIAOVIEN) vaì SINHVIEN(MONTHI, MSSV, TEN, TUOI, DCHI, DIEM) phaín aïnh thäng tin vãö kãút quaí thi cuía mäüt âån vë naìo âoï. Trong quan hãû THI thç MONTHI laì khoïa vaì trong quan hãû SINHVIEN thç MOMTHI vaì MSSV laì khoïa. ÅÍ quan hãû thæï hai dãù nháûn tháúy ràòng MONTHI, MSSV,DIEM xaïc âënh kãút quaí thi cuía sinh viãn coìn MSSV,TEN,TUOI,DCHI xaïc âënh âäúi tæåüng dæû thi Xeït caïc hiãûn haình cuía 2 læåüc âäö quan hãû THI vaì SINHVIEN nhæ sau: THI MOÜNTHI GIAOVIEN Toaïn T.ÂINH Lyï T.THAÛNH Hoïa T.DUÎNG SINHVIEN MONTHI MSSV TEN TUOI DCHI DIEM Toaïn 11 Lan 20 30_LTT 8.0 Toaïn 12 Hue 21 24_PÂP 7.5 Hoïa 11 Lan 20 30_LTT 7.0 Hoïa 12 Hue 21 24_PÂP 6.0 Lyï 11 Lan 20 30_LTT 5.0 Lyï 13 An 22 12_HV 4.0 Våïi 2 hiãûn haình trãn xuáút hiãûn mäüt säú váún âãö nhæ sau: Trang 5
  6. Xæí lyï thäng tin trong CSDL 1 ÅÍ quan hãû SINHVIEN , viãûc læu træî thäng tin vê duû nhæ sinh viãn coï maî sinh viãn 11 phaíi làûp laûi 3 láön âëa chè, 3 láön tuäøi. Roî raìng laì quaï dæ thæìa 2. Khi cáön thay âäøi thäng tin âäúi våïi mäüt mäüt sinh viãn phaíi thay âäøi táút caí caïc bäü æïng våïi sinh viãn âoï. Vê duû nhæ âäúi våïi sinh viãn tãn laì Lan thç phaíi thay âäøi åí caí 3 bäü, roî raìng laì täún keïm thåìi gian.Hån næîa khi sæîa âäøi thäng tin vãö sinh viãn thç khäng liãn quan gç âãún thäng tin vãö thi cæí. 3. khäng thãø bäø sung mäüt sinh viãn måïi vaìo quan hãû SINHVIEN nãúu sinh viãn naìy chæa thi män naìovç trong quan hãû SINHVIEN chè chæïa thäng tin vãö nhæîng sinh viãn âaî thi. 4. Giaí sæí vç mäüt lyï do naìo âoï cáön phaíi huíy boí män thi Lyï maì danh saïch sinh viãn váùn giæî nguyãn . Khi âoï trong quan hãû THI ta xoïa bäü (Lyï, T.THANH), coìn åí quan hãû SINHVÈN nãúu xoïa män thi Lyï thç thäng tin vãö sinh viãn An seî máút. Âãø khàõc phuûc caïc báút låüi trãn ta coï thãø taïch Læåüc âäö quan hãû SINHVIEN thaình 2 læåüc âäö quan hãû sau: SINHVIEÛN(MSSV,TEN,TUOI,DCHI) vaì THIXONG(MSSV,MONTHI,DIEM) Nhæ váûy luïc naìy CSDL thaình 3 quan hãû âaî âæåüc chuáøn hoïa vaì åí daûng chuáøn thæï hai. Âënh nghéa Læåüc âäö quan hãû U âæåüc goüi laì daûng chuáøn 2 , kyï hiãûu laì 2NF nãúu noï åí daûng chuáøn 1 vaì moüi khoïa cuía U phuû thuäüc haìm âáöy âuí vaìo khoïa chênh. (Chuï yï: X→Y laì phuû thuäüc haìm âáöy âuí nãúu khäng täön taûi mäüt Z⊂X maì Z→Y laì âuïng.) 4. Daûng chuáøn 3 cho læåüc âäö quan hãû U vaì táûp phuû thuäüc haìm F. nãúu thuäüc tênh A cuía U âæåüc goüi laì thuäüc tênh khoïa nãúu A laì thaình pháön cuía 1 khoïa naìo âoï. Ngæåüc laì A âæåüc goüi laì thuäüc tênh khäng khoïa nãúu noï khäng phaíi laì thaình pháön cuía mäüt khoïa naìo caí trong U Vê duû: U= ABCD F=(AB→C, B→D, BC→A) Dãù daìng kiãøm tra AB vaì BC laì caïc khoïa cuía U , tæì âoï suy ra A,B,C laì caïc thuäüc tênh khoïa D khäng phaíi laì thuäüc tênh khoïa Khaïi niãûm vãö phuû thuäüc bàõt cáöu Cho mäüt læåüc âäö quan hãû R(U); X laì táûp con caíu caïc thuäüc tênh X ⊆U, A laì mäüt thuäüc tênh thuäüc U.A âæåüc goüi laì phuû thuäüc bàõt cáöu vaìo X trãn R nãúu täön taûi mäüt táûp con Y cuía U sao cho X →Y, Y→A nhæng Y →X (Khäng xaïc âënh haìm X) våïi A ∉XY Tênh bàõt cáöu thãø hiãûn qua så âäö sau: X Trang 6
  7. Xæí lyï thäng tin trong CSDL Y A Qua så âäö ta tháúy ràòng A coï thãø xaïc âënh haìm Y. trong træåìng håüp A khäng xaïc âënh haìm Y goüi laì tênh bàõt cáöu chàût. Tênh bàõt cáöu seî âæåüc sæí duûng trong 3NF. Âiãöu kiãûn A ∉XY laì cáön thiãút vç ràòng nãúu A ⊆Y⊆X thç theo luáût phaín xaû ta luän coï X → Y→ A. âiãöu kiãûn Y → X âãø loaûi boí nhiãöu khoïa khoíi daûng chuáøn 3NF. Cuîng nhæ åí 2NF viãûc loaûi boí phuû thuäüc batæï cáöu âãø âi âãún 3NF nhàòm loëa boí nhæîng dë thæåìng gáy ra do quaï trçnh cáûp nháût dæî liãûu vaìp quan hãû . tæì doï ta coï âënh nghéa sau: Âënh nghéa Læåüc âäö quan hãû R âæåüc goüi laì åí daûng chuáøn 3NF nãúu R åí daûng chuáøn 2NF vaì mäùi thuäüc tênh khäng khoïa cuía R laì khäng phuû thuuoüc haìm bàõt cáöu vaìo khoïa chênh. Vê duû: Cho læåüc âäö quan hãû R=( SAIP) Våïi caïc phuû thuäüc haìm nhæ sau: SI →P vaì S →A Ta tháúy ràòng R khängåí daûng chuáøn 3NF. Giaí sæí X = SI, Y= S. A laì thuäüc tênh khäng khoïa ( åí âáy khoïa laì SI). Vç X → Y vaì Y → A vaì X → Y ( S khäng suy ra SI) chæïng toí ràòng A phuû thuäüc bàõt cáöu vaìo khoïa chênh. Hoàûc Cho læåüc âäö quan hãû R=(CSZ) våïi caïc phuû thuäüc haìm nhæ sau: CS→Z, Z→ C Trong læåüc âäö quan hãû naìy moüi thuäüc tênh âãöu laì thuäüc tênh khoïa . do âoï R åí daûng chuáøn 3NF 3 Daûng chuáøn Boyce Codd Cho læåüc âäö quan hãû R vaì táûp phuû thuäüc haìm F, R âæåüc goüi lag daûng chuáøn Boyce Codd , kyï hiãûu BCNF nãúu X→A âuïng trong R vaì A∉X thç X phaíi laì mäüt khoïa cuía R. Vê duû: R= CZS nhæ trãn F=(CS→Z, Z→C) Ta tháúy Z→C âuïng trong F, C∉Z vaì Z khäng phaíi laì mäüt khoïa cuía R( khoïa cuía R laì CS hoàûc CZ) suy ra R åí 3NF nhæng khäng phaíi laì chuáøn BCNF Tæì vê duû naìy ta tháúy mäüt læåüc âäö quan hãû coï thãø åí chuáøn 3NF nhæng khäng åí BCNF. Trang 7
  8. Xæí lyï thäng tin trong CSDL 4.2.3 Taïch khäng máút thäng tin thaình caïc daûng chuáøn BCBF Cho læåüc âäö quan hãû U, táûp phuû thuäüc haìm F, R ⊆U. Chiãúu cuía F lãn R laì táûp phuû thuäüc haìm Kyï hiãûu ΠR(F) âæåüc xaïc âënh nhæ sau: ΠR(F) = (X→Y sao cho X,Y ⊆R, F suy ra logic X→Y) Bäø âãö:1 Giaí sæí R laì læåüc âäö quan hãû ,F laì táûp phuû thuäüc haìm trãn R, P={R1,R2,..,Rn} laì pheïp taïch khäng máút thäng tin âäúi våïi R.Nãúu Q=(S1,S2) laì pheïp taïch khäng máút thäng tin cuía R1 âäúi våïi táûp phuû thuäüc haìm F1= ΠR1(F) Thç pheïp taïch P’= {S1,S2,R2,..,Rn} cuîng khäng máút thäng tin. Chæïng minh: Láúy 1 quan hãû r thoía maîn F do P laì pheïp taïch khäng máút thäng tin nãn r= ΠR1(r) ∞ ΠR2(r) ∞ ... ∞ ΠRn(r) Âàût r1 = ΠR1(r), do âoï r1 thoía maîn F1= ΠR1(F), màût khaïc do pheïp taïch Q=(S1,S2) cuía R1 laì khäng máút thäng tin nãn r1=ΠS1(r1) ∞ ΠS2(r1) = ΠS1(ΠR1(r)) ∞ ΠS2(ΠR1(r)) = ΠS1(r) ∞ ΠS2(r) Váûy ta coï: r= ΠR1(r) ∞ ΠR2(r) ∞ ... ∞ ΠRn(r) = ΠS1(r) ∞ ΠS2(r) ∞ ΠR2(r) ∞ ... ∞ ΠRn(r) âiãöu naìy chæïng toí pheïp taïch P’= {S1,S2,R2,..,Rn} cuîng khäng máút thäng tin. Tæì bäø âãö naìy ta suy ra phæång phaïp taïch mäüt læåüc âäö quan hãû thaình caïc læåüc âäö åí daûng chuáøn BCNF Cho læåüc âäö quan hãû R vaì táûp phuû thuäüc haìm F.Nãúu R khäng åí daûng chuáøn BCNF thç tçm âæåüc êt nháút laì mäüt phuû thuäüc haìm X→A, A∉X vaì X khäng phaíi laì siãu khoïa( X khäng suy ra R). Khi âoï taïch R thaình 2 læåüc âäö quan hãû sau: R-A vaì XA Khi âoï ta coï R-A ∩XA = X X→A=(XA-(R-A)) Do âoï pheïp taïch laì khäng máút thäng tin. Nãúu læåüc âäö R1 åí daûng chuáøn BCNF âäúi våïi ΠR1(F) thç âæa R1 vaìo pheïp taïch. Ngæåüc laûi thç R1 chæa åí daûng chuáøn BCNF âäúi våïi ΠR1(F) thç tiãúp tuûc quaï trçnh trãn . ÅÍ âáy R1= R-a hoàûc R1=XA Bäø âãö:2 1. Moüi læåüc âäö quan hãû chè coï 2 thuäüc tênh âãöu åí daûng chuáøn BCNF 2. Nãúu læåüc âäö quan hãû R khäng åí daûng chuáøn BCNF thç coï thãø tçm ra âæåüc hai thuäüc tênh A vaì B sao cho (R-AB ) → A âuïng trong R Chæïng minh. 1 Moüi læåüc âäö quan hãû chè coï 2 thuäüc tênh âãöu åí daûng chuáøn BCNF Trang 8
  9. Xæí lyï thäng tin trong CSDL Nãúu R = AB thç táûp phuû thuäüc haìm trãn R coï thãø laì F1= {A→B}, F2 = { B→A}, F3= { A→B, B→A}. Âäúi våïi F1 ta coï A→B, B∉A , A laì khoïa msuy ra R åí daûng BCNF Âäúi våïi F2 ta coï B→A, A∉B, B laì khoïa suy ra R åí daûng BCNF Âäúi våïi F3 ta coï hoàûc A hoàûc B laì khoïa suy ra R åí daûng chuáøn BCNF 2. Nãúu læåüc âäö quan hãû R khäng åí daûng chuáøn BCNF thç coï thãø tçm ra âæåüc hai thuäüc tênh A vaì B sao cho (R-AB ) → A âuïng trong R Nãúu R khäng åí daûng chuáøn BCNF thç täön taûi mäüt phuû thuäüc haìm X→A, A∉X vaì X khäng phaíi laì khoïa (X khäng suy ra R), thç trong R phaíi täön taûi êt nháút mäüt thuäüc tênh B khäng thuäüc XA( nãúu khäng thç XA=R vaì X→R). Nhæ váûy (R-AB)→A lad âuïng trong R (Vç X ⊆ R_AB do A∉X vaì B∉X) Thuáût toaïn taïch khäng máút thäng tin thaình caïc læåüc âäö åí daûng BCNF Âáöu vaìo: Læåüc âäö quan hãû R Táûp phuû thuäüc haìm F trãn R Âáöu ra: Pheïp taïch P = { R1, R2,...,Rn } cuía R khäng máút thäng tin Coï nghéa laì Mp(r)= r våïi moüi r thoía maîn F Phæång phaïp: Chæång trçnh chênh: Z:=R { Bàõt âáöu pheïp taïch gaïn Z= R} Repeat Taïch {Thuí tuûc taïch} Z thaình Z-A vaì XA åí âáy Xa åí daûng chuáøn BCNF vaì X→A Âæa XA vaìo pheïp taïch Z:=Z-A Until Z khäng thãø taïch âæåüc båíi bäü âãö âaî nãu Âæa Z vaìo pheïp taïch Thuí tuûc Taïch If Z khäng chæïa A,B sao cho A∈(Z-AB)+ then Return Else Begin Láúy càûp A,B thoía maîn A∈(Z-AB)+ Y:=Z-B While Y coìn chæïa A,b sao cho A∈(Z-AB)+ do Y:= Y-B Z:=Y Return Vê duû: Xeït læåüc âäö quan hãû U= CTHRSG Åí âáy: Trang 9
  10. Xæí lyï thäng tin trong CSDL C: män hoüc (ngoaûi ngæî) T: Giaïo viãn H: Giåì hoüc R: phoìng hoüc G: trçnh âäü S: Sinh viãn Ta coï táûp phuû thuäüc haìm F={ C→T, RH→C, HT→R, CS→G, HS→R } trong âoï caïc phuû thuäüc haìm âæåüc giaíi thêch nhæ sau: C→T: mäùi män hoüc chè coï mäüt giaïo viãn RH→C: Taûi mäüt phoìng hoüc ,åí mäüt giåì nháút âënh thç chè hoüc mäüt män hoüc HT→R: Mäùi giaïo viãn , taûi mäüt giåì nháút âënh chè åí mäüt phoìng nháút âënh CS→G: Mäùi sinh viãn hoüc män ngoaûi ngæî naìo âoï chè åí mäüt trçnh âäü nháút âënh HS→R: Mäùi sinh viãn taûi mäüt giåì hoüc taûi mäüt phoìng nháút âënh Yãu cáöu: Duìng thuáût toaïn âaî trçnh baìy , taïch læåüc âäö quan hãû U trãn thaình caïc læåüc âäö quan hãû åí daûng BCNF vaì pheïp taïch khäng máút thäng tin. Ta coï U= CTHRSG Xeït càûp C,T Ta coï (HRSG)+ = U= CTHRSG chæïa C vaì T Âàût A=C,B=T Y=CHRSG { Loaûi B ra khoíi læåüc âäö quan hãû } Xeït càûp C,H , ta coï (RSG)+ khäng chæïa C vaì H Xeït càûp C,R ta coï (HSG)+ chæïa R Âàût A= R, B=C Âàût Y= HRSG { loaûi B ra khoíi Y } Xeït càûp R,G ta coï (HS)+ chæïa R Âàût A=R, B=G Y= HRS { loaûi B ra khoíi Y } Tiãúp tuûc ta tháúy khäng coï càûp naìo bë loaûi khoíi Y nãn Y= HRS åí daûng chuáøn BCNF Khi âoï ta coï thãø taïch U= CTHRSG thaình 1. HRS : âoïng vai troì laì XA våïi X=HS , A=R 2. Z:= CTHRSG-A = CTHSG Tiãúp tuûc taïch pháön coìn laûi Z= CTHSG nhæ âaî laìm åí trãn Danh saïch caïc càûp A,B láön læåüt nhæ sau: 1. trong CTHSG A= T, B= H ⇒ Y= CTSG 2. trong CTSG A= T, B=S ⇒Y= CTG 2. trong CTG A= T, B=G ⇒Y= CT Y= CT åí daûng chuáøn BCNF, trong âoï C→T, âæa CT vaìo pheïp taïch våïi XA =CT,X=C,A=T Z= CHSG ( chæa åí daûng BCNF) tiãúp tuûc taïch Trong CHSG A= G, B=H ⇒Y= CSG Trang 10
  11. Xæí lyï thäng tin trong CSDL Ta coï phuû thuäüc haìm CS→G ∈F nãn Y= CSG åí daûng chuáøn BCNF, âæa BCNF vaìo pheïp taïch XA=CSG, X=CS, A=G Pháön coìn laûi Z= CHSG-A = CHS åí daûng chuáøn BCNF Váûy cuäúi cung ta coï pheïp taïch P khäng máút thäng tin vaì caïc pheïp taïch åí daûng BCNF nhæ sau P= { HRS, CT, CSG, CHS } Trang 11

CÓ THỂ BẠN MUỐN DOWNLOAD

Đồng bộ tài khoản