LƯỢC ĐỒ QUAN HỆ

• HÓAĐƠN
• LỊCHDAY
• HOPDONG
• LICHBAOVE
• BẢNGDIEM

HỆ TIÊN ĐỀ AMSTRONG

BÀI TẬP 1- SUY DIỄN

F1{AB->C, C->A} – chứng minh BC->ABC

F2{X->Y, U->V} – chứng minh XY->UV

F3{AB->C, B->D, CD->E, CE->GH,G->A}

– chứng minh AB->E

AB->G

AB->AG

BÀI TẬP 2- SUY DIỄN

Xét lược đồ quan hệ

R = {A,B,C,D,E,G,H}

Tập phụ thuộc hàm  F =

{B->D, AB->C, CD->E, CE->GH, G->A}

– chứng minh

AB->G

AB->E

---

 

TÌM BAO ĐÓNG

Bước 1: Đặt X0 = X

Bước 2: Lần lượt xét các phụ thuộc hàm của F nếu tồn tại pth Y ®ZÎF mà YÌXi thì Xi+1 = Xi È {Z}, ngược lại, đặt Xi+1 = Xi

Bước 3: Nếu ở bước 2 mà không tính được Xi+1 thì Xi chính là bao đóng của tập thuộc tính X, ngược lại lặp lại bước 2.

BÀI TẬP 1 – TÌM BAO ĐÓNG

Xét lược đồ quan hệ

R = {MãsốNV, HọtênNV, MãsốDA, TênDA, ĐịađiểmDA, Sốgiờ}

Tập phụ thuộc hàm  F =

{MãsốNV → HọtênNV,

MãsốDA → TênDA, ĐịađiểmDA,

MãsốNV, MãsốDA → Số giờ}

Tính bao đóng

{MãsốNV}+, {MãsốNV, MãsốDA}+

BÀI TẬP 2 – TÌM BAO ĐÓNG

Xét lược đồ quan hệ

R = {A,B,C,D,E,G}

Tập phụ thuộc hàm  F =

{AB->C, C->A, BC->D, ACD->B, D->EG,

BE->C, CG->BD, CE->AG}

Tính bao đóng

{BD}+

BÀI TẬP 3 – TÌM BAO ĐÓNG

Xét lược đồ quan hệ

R = {A,B,C,D,E}

Tập phụ thuộc hàm  F =

{AB->C, D->E, E->B}

Tính bao đóng

{CD}+

BÀI TẬP 4 – TÌM BAO ĐÓNG

Xét lược đồ quan hệ

R = {A,B,C,D,E,G,H}

Tập phụ thuộc hàm  F =

{B->A, DA->CE, D->H, GH->C, AC->D}

Tính bao đóng

{AC}+

BÀI TẬP 5 – TÌM BAO ĐÓNG

Xét lược đồ quan hệ

R = {A,B,C,D,E,G}

Tập phụ thuộc hàm  F =

{AB->C, C->A, BC->D, ACD->B, D->EG,

BE->C, CG->BD, CE->AG}

Tính bao đóng

{BD}+

BÀI TẬP 6 – TÌM BAO ĐÓNG

Xét lược đồ quan hệ

R = {A,B,C,D,E,G,H}

Tập phụ thuộc hàm  F =

{}

Tính bao đóng

{AB}+

{AE}+

---

 

XÁC ĐỊNH THÀNH VIÊN CỦA TẬP PTH

Bước 1: Tính X+

Bước 2: So sánh X+ với Y

nếu Y ÍX+ thì khẳng định X ® Y là thành viên của tập phụ thuộc hàm F,

ngược lại không là thành viên của F.

BÀI TẬP 1 – XÁC ĐỊNH PTH CÓ LÀ THÀNH VIÊN

Xét lược đồ quan hệ

R = {A,B,C,D,E}

Tập phụ thuộc hàm  F =

{A->CD, C->E, d->BC}

Xác định xem A->B có là thành viên của F

 

BÀI TẬP 2 – XÁC ĐỊNH PTH CÓ LÀ THÀNH VIÊN

Xét lược đồ quan hệ

R = {A,B,C,D,E,G,H,I}

Tập phụ thuộc hàm  F =

{AB->E, AG->I, BE->I, E->G, GI->H}

Xác định xem AB->GH có là thành viên của F

 

BÀI TẬP 3 – XÁC ĐỊNH PTH CÓ LÀ THÀNH VIÊN

Xét lược đồ quan hệ

R = {A,B,C,D}

Tập phụ thuộc hàm  F =

{A->B, B->C, A->D, B->D}

Xác định xem C->A có là thành viên của F

C->A

D->A

C->D

---

 

PHỤ THUỘC HÀM TƯƠNG DƯƠNG

Cho 2 tập phụ thuộc hàm.

F={A->C, AC->D, E->AD, E->H}

G={A->CD, E->AH}

Xét xem F và G có tương đương

XIN CẢM ƠN!