Thiết kế cơ sở dữ liêu

Báo cáo đ án TKCSDL 07520556 ĐẠI HỌC QUỐC GIA TP.HCM TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN BÁO CÁO Đ ÁN MÔN THIẾT KẾ CƠ SỞ DỮ LIỆU GVHD: PHAN NGUYỄN THỤY AN SVTH: HUỲNH MINH LỘC-07520556 KHOA HỆ THỐNG THÔNG TIN TP HCM, NGÀY THÁNG NĂM 2010 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Báo cáo đ án TKCSDL 07520556 MỤC LỤC Bao đóng tập X F Khóa Phủ tối tiểu Xác định dạng chuần Xác định dạng chuẩn Xác định dạng chuẩn BC LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Báo cáo đ án TKCSDL 07520556 Tìm bao đóng c a X F (X+ bao đóng c n tìm) a Đ nh nghĩa: Closure(X, F) = {A| X->A thu c F+} b Thu t toán: Closure(X, F) { //B c 1: X+=X //B c 2: l p cho đ n t p bao đóng c n tìm X+ khơng thay đ i t qua m i ph thu c hàm F { Old=X+ foreach( VT->VP in F) { if (X+ ch a VT) X+ +=VP } }while(Old!=X+) //B c 3: Tr v t p bao đóng K t thúc return X+ } LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Báo cáo đ án TKCSDL 07520556 Tìm khóa a Đ nh nghĩa: - Siêu khóa t p thu c tính X cho Closure(X,F) = U - Khóa siêu khóa nh nh t //G c thu c tính ch có bên v trái c a m i pth F //Nhánh thu c tính có c bên v trái bên ph i c a m i pth F //Lá thu c tính ch có bên v ph i c a m i pth F //Treo thu c tính n m đ n đ c c a m i pth F b Thu t toán FindKey() { //B c 1: Duy t qua m i ph thu c hàm F tìm Treo, G c, Nhánh Lá foreach(VT->VP in F) { Tìm: G c Nhánh Lá Treo } LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Báo cáo đ án TKCSDL //B 07520556 c 2: Tính bao đóng c a Treo h i G c đ i v i F if Closure(Treo h i G c) = t p U { Khóa+= (Treo h i G c) //Đ n b c4 } //B c 3: Tìm t t c t p c a c a t p Nhánh, h i t p v i treo g c tính bao đóng so sánh tìm khóa //Duy t qua t t c thu c tính t c a t p trung gian if Closure(Treo h i G c h i t) = U { Key += (Treo h i G c h i t) Lo i thu c tính t kh i N } //Duy t qua t t c t p c a t p trung gian có ph n t if Closure(Treo h i G c h i t pcon) = U { Key += (Treo h i G c h i t pcon) } LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Báo cáo đ án TKCSDL 07520556 //Duy t qua t t c t p c a t p trung gian có ph n t if Closure(Treo h i G c h i t pcon) = U { Key += (Treo h i G c h i t pcon) } //Duy t qua t t c t p c a t p trung gian có TG.Count ph n t if Closure(Treo h i G c h i t pcon) = U { Key += (Treo h i G c h i t pcon) } //B c 4: K t thúc } Tìm ph t i ti u G a Đ nh nghĩa: G ptt c a F ch LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Báo cáo đ án TKCSDL 07520556 M i X->A in G, M i B in X (B t p th c s c a X) - A ch có thu c tính - Khơng t n t i ( F- {X->A} ) t ng đ ng v i G - Không t n t i ( F- {X->A} ) h i {B}->A t ng đ ng v i G b Thu t toán: //B c 1: Bi n t t c ph thu c hàm thành nh ng ph thu c hàm có thu c tính v trái foreach ( VT->VP in F) { foreach(t in VT.SubSet(1)) { G+=VT->t } } F=G //B c 2: Lo i b nh ng ph thu c hàm d th a foreach (VT->VP in F) { Tính Closure(VT, G b VT->VP) có ch a VP b VT->VP kh i G } LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Báo cáo đ án TKCSDL //B 07520556 c 3: Bi n đ i ph thu c hàm ch a đ y đ thành đ y đ F=G foreach (VT->VP in F) { //Duy t qua m i t p th c s c a VT có ph n t if (G b VT->VP) h i (t pcon->VP) t ng đ thay VT->VP thành t pcon->VP đ n b ng v i G c4 //Duy t qua m i t p th c s c a VT có ph n t if (G b VT->VP) h i (t pcon->VP) t ng đ thay VT->VP thành t pcon->VP đ n b ng v i G c4 //Duy t qua m i t p th c s c a VT có VT.Count - ph n t if (G b VT->VP) h i (t pcon->VP) t ng đ thay VT->VP thành t pcon->VP đ n b ng v i G c4 } //B c 4: K t thúc LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Báo cáo đ án TKCSDL 07520556 Xác đ nh d ng chu n 2: a Đ nh nghĩa: R đ t 2NF ch M i X->A in F Ho c X không t p th c s c a khóa Ho c A thu c tính khóa b Thu t toán foreach ( X->A in F) { if X t p th c s c a khóa A thu c tính khóa R ko đ t d ng chu n } R đ t d ng chu n Xác đ nh d ng chu n 3: a Đ nh nghĩa: R đ t 3NF ch M i X->A in F Ho c X siêu khóa Ho c A thu c tính khóa b Thu t tốn foreach ( X->A in F) { if X không ch a khóa A khơng thu c tính khóa R ko đ t d ng chu n } LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Báo cáo đ án TKCSDL 07520556 R đ t d ng chu n Xác đ nh d ng chu n BC: a Đ nh nghĩa: R đ t BCNF ch M i X->A in F Ho c X siêu khóa b Thu t tốn foreach ( X->A in F) { if X khơng ch a khóa R ko đ t d ng chu n BC } R đ t d ng chu n BC References: http://google.com http://74.125.153.132/search?q=cache:OLXbPqLb0cJ:www.uit.edu.vn/forum/index.php%3Fshowtopic%3D256 %26st%3D20+thuat+toan+tim+phu+toi+thieu&cd=4&hl=vi&ct=cl nk&gl=vn http://www.csee.umbc.edu/~pmundur/courses/CMSC66105/Minimal-cover-example.pdf http://clem.mscd.edu/~tuckerp/CSI3310/C14.2.html http://www.dcs.ed.ac.uk/home/opb/dbs/notes/03-4up.pdf http://hauionline.com/showthread.php?t=8626 http://www.dis.uniroma1.it/~catarci/DBslides/Mod3L4/tsld024.ht m LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Báo cáo đ án TKCSDL 07520556 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com