09.01.2013 Views

Cơ sở dữ liệu - e-ptit.edu.vn

Cơ sở dữ liệu - e-ptit.edu.vn

Cơ sở dữ liệu - e-ptit.edu.vn

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Chương I: Khái niệm cơ bản về các hệ cơ <strong>sở</strong> <strong>dữ</strong> <strong>liệu</strong><br />

Mỗi khoá học chỉ có một thầy dạy.<br />

Một phòng học tại giờ xác định chỉ có một khoá học.<br />

Thầy dạy tại giờ học cụ thể xác định phòng học cụ thể.<br />

Khoá học với một sinh viên cụ thể xác định lớp học cụ thể.<br />

Mỗi một sinh viên học trong một giờ xác định tại phòng học cụ thể.<br />

Khi đó F = {C → T, HR → C, HT → R, CS → G, HS → R}.<br />

Hiển nhiên, s = < Ω, F > không là Boyce Codd, khoá của nó là thuộc tính HS .<br />

Bước1: Xét CS → G: CS không phải là khóa, có thể tách s = < Ω, F > thành 2 lược đồ<br />

quan hệ có dạng như sau:<br />

s1 = < Ω1, F1 > s2 = < Ω2, F2 ><br />

Ω1 = { C, S, G } Ω2 = { C, T, H, S, R }<br />

F1 = {CS → G } F2 = {C → T, HR → C, HT → R, HS →R}.<br />

Sau bước 1, s1 = < Ω1, F1 > ở dạng Boyce Codd, s2 = < Ω2, F2 > ở dạng 3NF nhưng<br />

vẫn chưa ở dạng Boyce Codd.<br />

Bước2: Xét C → T: T không phải là thuộc tính khóa, tách s2 = < Ω2, F2 > thành 2<br />

lược đồ quan hệ sau:<br />

S21 = < Ω21 , F21 > S22 = < Ω22 , F22 ><br />

Ω21 = { C , T } Ω 22 = { C, H, S, R }<br />

F21 = { C → T } F 22 = {HR → C, HS → R }.<br />

Bước 3: Xét HR → C: HR không phải là thuộc tính khóa, tách s22 = <br />

thành 2 lược đồ quan hệ sau:<br />

S221 = < Ω221 , F221 > s222 = < Ω222, F222 ><br />

Ω221 = { C , H, R } Ω 222 = { H, S, R }<br />

F221= { HR → C } F222 = { HS → R },<br />

Như vậy, từ lược đồ quan hệ s = < Ω, F > chưa được chuẩn hoá, trong đó<br />

Ω = { C, T, H, R, S, G },<br />

F = {C → T, HR → C, HT → R, CS → G, HS → R.<br />

Thuật toán đã cho một phép tách ϕ [Ω1, Ω21 , Ω221 , Ω222] lược đồ quan hệ s = < Ω, F > về<br />

nhóm các lược đồ quan hệ chiếu s1 = < Ω1, F1 >, s21 = , s221 = và<br />

s222 = ở dạng chuẩn BCNF khi kết nối không tổn thât thông tin.<br />

Ω1 = { C, S, G }, F1 = { CS → G}<br />

Ω21 = { C , T }, F 21 = {C → T}<br />

Ω221 ={C ,H, R, F221 = {HR → C}<br />

91

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!