TAILIEUCHUNG - Tổng quan Cơ sở dữ liệu- P4
Tổng quan về cơ sở dữ liệu, xem xét các cách tổ chức dữ liệu trên các hệ/mô hình Database khác lý thông tin trong database. | 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 =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=PR1(r), r2= PR2(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. 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= PR1(r) ¥PR2(r) ¥ .¥ PRk(r) Âàût Mp(r)= PR1(r) ¥PR2(r) ¥ .¥ PRk(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 = PRi(r) ta coï: 1. r Í Mp(r) 2. nãúu s = Mp(r) thç PRi(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û A B C D 1 4 5 2 t=3 2 7 6 3 3 7 4 R1=BC khi âoï PR1(r) = B C 4 5 Trang 1 Xæí lyï thäng tin trong CSDL 2 7 3 7 Khi âoï t(r1) = 2 7 Ti = t(Ri) Î PRi(r) t= t1 ¥ t2 ¥.¥ tk Í PR1(r) ¥ PR2(r)¥.¥ PRk(r) t Í Mp(r) 2. nãúu s = Mp(r) thç PRi(s)=ri tæì (1) ta coï r Í Mp(r) Þ PRi(r)ÍPRi(Mp(r)) Þ riÍPRi(s) Chæïng minh ngæåüc laûi PRi(s) Í ri Láúy ti Î PRi(s) .
đang nạp các trang xem trước