NI DUNG CHNH BI THU HOCH MN C S D LIU NNG CAO--o0o-Phn 1: L THUYT Chng 1: PH THUC HM1.1.nh ngha Ph thuc hm 1.1.1.Khi nim v Quan h (Relation) 1.1.2.Lc Quan h (Relational Schema) 1.1.3.nh ngha Ph thuc hm (Functional Dependency ) 1.2.H tin Amstrong (3 tin ) cho ph thuc hm 1.2.1.Ba lut ca h tin Amstrong v ph thuc hm 1.2.1.1.Lut phn x (Reflexivity Rule) 1.2.1.2.Lut tng trng (Augmentation Rule) 1.2.1.3.Lut bc cu (Transivity Rule) 1.2.2.Chng minh h tin Amstrong ng v y 1.3.Cc h qu ca h tin Amstrong 1.3.1.Ba h qu ca tin Amstrong 1.3.1.1.Lut hp (Union Rule) 1.3.1.2.Lut bc cu gi (Pseudotransivity Rule) 1.3.1.3.Lut phn r (Decomposition Rule) 1.3.2.Chng minh cc h qu ca tin Amstrong 1.4.Bao ng ca tp ph thuc hm (F+), Bao ng ca tp thuc tnh (X+) 1.4.1.Ph thuc hm suy dn 1.4.2.Bao ng ca tp ph thuc hm (F+) 1.4.2.1.Khi nim F+ 1.4.2.2.Tnh hu hn ca F+ 1.4.3.Ph thuc hm thnh vin 1.4.3.1.Bao ng ca tp thuc tnh (X+) (Closure) 1.4.3.1.1.Khi nim X+ 1.4.3.1.2.Thut ton tnh X+ 1.4.3.1.3.Tnh ng n ca thut ton tnh X+ 1.4.3.2.Ph thuc hm thnh vin (Member FD) 1.4.3.2.1.nh ngha 1.4.3.2.2.Thut ton kim tra PTH thnh vin 1.5.Kha (Key) 1.5.1.Siu kha (Supper key)

1.5.2.Kha (Key) 1.5.3.Thut ton tm kha 1.5.3.1.Thut ton 1 1.5.3.2.Thut ton 2 1.5.4.Kha ca R(U,F) khi F = 1.6.Ph ti tiu (Minimal Cover) 1.6.1.Ph (Cover) 1.6.2.Ph tng ng (Equivalent Cover) 1.6.3.Ph khng d (Non-Redundant Cover) 1.6.3.1.nh ngha 1.6.3.2.Thut ton 1.6.4.Ph thu gn (Reduced Cover) 1.6.4.1.Ph thu gn tri (Left-Reduced Cover) 1.6.4.1.1.nh ngha 1.6.4.1.2.Thut ton 1.6.4.2.Ph thu gn phi (Right-Reduced Cover) 1.6.4.2.1.nh ngha 1.6.4.2.2.Thut ton 1.6.4.3.Ph thu gn (Reduced Cover) 1.6.4.3.1.nh ngha 1.6.4.3.2.Thut ton 1.6.5.Ph ti tiu (Minimal Cover) 1.6.5.1.nh ngha 1.6.5.2.Thut ton 1.7.Bi tp chng 1 1.7.1.Kim tra PTH c ng vi quan h hay khng ? 1.7.2.Bi ton tm chui suy din 1.7.3.Bi ton tnh bao ng 1.7.4.Bi ton kim tra ph thuc hm thnh vin 1.7.5.Bi ton tm tt c cc kha 1.7.6.Bi ton tm ph khng d 1.7.7.Bi ton tm ph thu gn 1.7.8.Bi ton tm ph ti tiu

Chng 2: CHUN HA2.1.Qu trnh chun ha 2.1.1.Dn nhp 2.1.2.Khi nim v Chun ha (Normalization) 2.1.3.Yu cu 2.1.4.Cc dng chun 1NF, 2NF, 3NF, BCNF 2.1.4.1.Dng chun 1 First Normal Form (1NF) 2.1.4.2.Dng chun 2 Second Normal Form (2NF) 2.1.4.2.1.nh ngha 1

2.1.4.2.2.nh ngha 2 2.1.4.2.3.Xy dng thut ton kim tra 2NF t nh ngha 2 2.1.4.3.Dng chun 3 Third Normal Form (3NF) 2.1.4.3.1.nh ngha 1 2.1.4.3.2.nh ngha 2 2.1.4.3.3.Xy dng thut ton kim tra 3NF t nh ngha 2 2.1.4.3.4.Chng minh R t 3NF th cng t 2NF 2.1.4.4.Dng chun Boyce-Codd (BCNF) 2.1.4.4.1.nh ngha 1 2.1.4.4.2.nh ngha 2 2.1.4.4.3.Xy dng thut ton kim tra BCNF t nh ngha 2 2.1.4.4.4.Chng minh R t BCNF th cng t 3NF 2.1.4.4.5.Chng minh R(U,F) v F= th R t BCNF 2.1.4.4.6.Chng minh mi R ch c 2 thuc tnh th R t BCNF 2.1.4.4.7.Chng minh R t 3NF v c 1 kha duy nht th t BCNF 2.2.Chun ha lc quan h 2.2.1.Khi nim v php tch 2.2.2.Php tch bo ton ph thuc hm 2.2.2.1.Chiu tp PTH F ln tp thuc tnh R 2.2.2.2.nh ngha bo ton ph thuc 2.2.2.3.Thut ton kim tra php tch khng mt PTH 2.2.3.Php tch khng mt mt thng tin 2.2.3.1.Khi nim 2.2.3.2.Thut ton kim tra php tch khng mt mt thng tin 2.2.4.nh l Delobel (1973) v php tch 2.2.4.1.nh l Delobel 2.2.4.2.Chng minh nh l Delobel v php tch 2.2.5.nh l Risanen (1977) 2.2.5.1.nh l Risanen 2.2.5.2.Chng minh nh l Risanen 2.2.6.Chun ha lc quan h bng php tch 2.2.6.1.Tip cn php tch bng PP tng hp thnh cc lc tha 3NF 2.2.6.2.Tip cn php tch bng PP phn r thnh cc lc tha BCNF 2.3.Bi tp chng 2 2.3.1.Kim tra dng chun ca LQH 2.3.2.Kim tra php tch bo ton ph thuc hm 2.3.3.Kim tra php tch bo ton thng tin 2.3.4.Chun ha LQH t 3NF bng PP tng hp 2.3.5.Chun ha LQH t BCNF bng PP phn r

Chng 3 : PH THUC A TR3.1.Ph thuc a tr (Multivalued Dependency - MVD)

3.1.1.Dn nhp 3.1.2.Khi nim v ph thuc a tr (PTT) 3.1.3.So snh PTH v PTT 3.1.4.Ba tin p dng cho cc ph thuc a tr: 3.1.4.1.Lut b MVD1 3.1.4.2.Lut tng trng MVD2 3.1.4.3.Lut bt cu MVD3 3.1.5.Hai tin lin quan n PTH v PTT 3.1.5.1.FD_MVD1 3.1.5.2.FD_MVD2 3.1.6.nh l Beeri-Fagin-Howard (1977) 3.1.7.Cc lut suy dn b sung cho PTT 3.1.7.1.Lut hp 3.1.7.2.Lut bc cu gi 3.1.7.3.Lut bc cu gi hn hp 3.1.7.4.Lut phn r 3.2.Bao ng ca tp ph thuc a tr (D+), C s ph thuc ca tp thuc tnh - CSPT(X) 3.2.1.nh ngha D+ 3.2.2.Ph thuc a tr thnh vin 3.2.3.C s ph thuc ca tp thuc tnh X 3.2.3.1.Khi nim CSPT(X) 3.2.3.2.Thut ton xc nh CSPT(X) JD. Ullman (1989) 3.2.4.Thut ton kim tra PTT thnh vin 3.3.Dng chun 4 (Fourth Normal Form - 4NF) 3.3.1.Khi nim PTT hin nhin 3.3.2.nh ngha Dng chun 4 - 4NF 3.3.3.Chng minh R t 4NF th cng t BCNF 3.4.Chun ha LQH thnh cc LQH t 4NF 3.5.Kim tra php tch bo ton thng tin c PTT 3.6.Bi tp chng 3 3.6.1.Kim tra PTT c ng trn 1 quan h hay khng? 3.6.2.Xc nh CSPT ca tp thuc tnh 3.6.3.Tm chui suy din ca PTT 3.6.4.Kim tra PTT thnh vin 3.6.5.Kim tra PTT hin nhin 3.6.6.Kim tra R tha 4NF hay khng? 3.6.7.Chun ha LQH thnh cc LQH t 4NF 3.6.8.Kim tra php tch bo ton thng tin c PTT

Phn 2: NG DNGA.Mi trng ci t C#.NET B.Cu trc d liu cho chng trnh 1.Lp AttSet 2.Lp AttSetList 3.Lp FD 4.Lp FDSET 5.Lp Schema C. Cc chc nng chnh ca chng trnh D.Thit k giao din 1.Gii thiu chng trnh 2.Li cm n 3.Nhp d liu 4.Tnh bao ng 5.Tm tt c cc kha 6.Kim tra ph thuc hm thnh vin 7.Tm ph khng d 8.Tm ph ti tiu 9.Xc nh dng chun cao nht ca lc quan h 10.Lu d liu 11.Xa d liu E.Hng m rng