- Bao đóng của thuộc tính
Định nghĩa
Cho lược đồ quan hệ Q có tập PTH F (Q) = {f1, f2,…,… fn} và X là tập con của Q+.
Bao đóng của tập thuộc tính X dựa trên F(Q) là tập hợp các thuuộc tính phụ thuộc hàm vào X.
Ký hiệu:
X+(F)={Y∈ Q+ : X -> Y ∈ F+}
Ví cách tìm bao đóng:
Đề:
Xét lược đồ quan hệ phổ quát quản lý đề tài sinh viên với các thuộc tính đều đơn như sau:
DT(MsDT, TenDT, MsGV, TenGV, MsSV, TenSV, Diem)
FDT = {f1: MsDT 🡪 TenDT, MsGV; f2: MsGV 🡪 TenGV; f3: MsSV 🡪 TenSV;
f4: MsDT, MsSV 🡪 TenSV, Diem}
MsDT – Mã số đề tài; TenDT – Tên đề tài; MsGV – Mã số giảng viên; TenGV – Tên giảng viên hướng dẫn
MsSV – Mã số sinh viên; TenSV – Tên sinh viên thực hiện DT; Diem – Điểm thực hiện đề tàia) Chạy từng bước thuật toán tìm bao đóng của tập thuộc tính dựa trên tập phụ thuộc hàm F đã cho để tìm MsDT+
Bài giải:
Đặt MSDT+FDT = {MsDT}
Do f1: MSDT+FDT= {MsDT, TenDT, MsGV}
Do f2: MSDT+FDT = {MsDT, TenDT, MsGV, TenGV}
Vậy MSDT+FDT= {MsDT, TenDT, MsGV, TenGV}
2. Cách xác định khóa
Gọi N là tập thuộc tính nguồn, chỉ có ở vế trái PTH hoặc không có trong PTH.
Gọi M là tập thuộc tính trung gian, xuất hiện cả 2 vế.
Gọi N+ là bao đóng của N.
Nếu N+ không chứa tất cả các thuộc tính thì lần lượt hội N với từng tập con của M và tìm bao đóng để xác định khóa chỉ định của quan hệ.
Ví dụ:
Đề:
Xét lược đồ quan hệ phổ quát quản lý đề tài sinh viên với các thuộc tính đều đơn như sau:
DT(MsDT, TenDT, MsGV, TenGV, MsSV, TenSV, Diem)
FDT = {f1: MsDT 🡪 TenDT, MsGV; f2: MsGV 🡪 TenGV; f3: MsSV 🡪 TenSV;
f4: MsDT, MsSV 🡪 TenSV, Diem}
MsDT – Mã số đề tài; TenDT – Tên đề tài; MsGV – Mã số giảng viên; TenGV – Tên giảng viên hướng dẫn
MsSV – Mã số sinh viên; TenSV – Tên sinh viên thực hiện DT; Diem – Điểm thực hiện đề tài
Xác định khóa của lược đồ quan hệ.
Bài giải:
Tập thuộc tính nguồn N={MsDT, MsSV}
Tập thuộc tính trung gian M={MsGV}
Do f1: N+={MsDT, MsSV, TenDT, MsGV}
Do f2: N+ ={MsDT, MsSV, TenDT, MsGV, TenGV}
Do f3: N+={MsDT, MsSV, TenDT, MsGV, TenGV, TenSV}
Do f4: N+={MsDT, MsSV, TenDT, MsGV, TenGV, TenSV, Diem}
Vậy N+ = DT+
Ta có khóa của lược đồ quan hệ là {MsDT, MsSV}.