b) Khoá (Key) và siêu khoá (super key) của lược đồ quan hệ
4.3.5. Phương pháp lập lược đồ dữ liệu theo mô hình quan hệ
Ta có thể tóm tắt quy trình thành lập lược đồ dữ liệu cho hệ thống theo mô hình quan hệ như sau:
(i) Thành lập một danh sách các thuộc tính, gọi là danh sách xuất phát. Có thể xem đây là một quan hệ, với một ý nghĩa khái quát nào đó.
Chú ý: Quá trình được lặp lại với nhiều danh sách khác, cho đến khi vét cạn các thông tin cần thiết cho hệ thống.
Có 2 cách tiếp cận cơ bản thành lập danh sách xuất phát:
- Đó là tập hợp các thông tin cơ bản (thông tin không có cấu trúc) phát hiện được trong một phạm vi điều tra.
- Xuất phát từ một cái ra của hệ thống. Cái ra có thể là: một chứng từ hay một tài liệu in ra từ hệ thống; một màn hình giao tiếp người/máy.
(ii) Tu chỉnh lại danh sách xuất phát, qua các công việc sau: - Loại bỏ bớt các tên đồng nghĩa.
- Loại bỏ các thuộc tính tính toán, tức là các thuộc tính có giá trị được tính từ các giá trị của các thuộc tính khác.
- Kết nạp thêm các thuộc tính được dùng để tính toán các thuộc tính tính toán đã bị loại trên nếu chúng chưa có trong danh sách.
- Nếu có thể được, thay thế các thuộc tính không đơn thành các thuộc tính đơn.
(iii) Tìm các phụ thuộc hàm trong danh sách các thuộc tính.
- Trước tiên là rà các khả năng có các PTH giữa từng cặp các thuộc tính trong danh sách. - Sau đó, xét các PTH có vế trái gồm 2,3 … thuộc tính.
(iv) Tiến hành chuẩn hoá dựa trên tập các PTH đã được lập ở trên, dựa vào phương pháp chuẩn hoá đã biết ở trên. Kết quả thu được là một tập các lược đồ quan hệ ở dạng chuẩn 3NF.
(v) Lặp lại các bước từ (i) đến (iv) cho các danh sách xuất phát khác nhau, cho đến khi quét hết các phạm vi khảo sát. Ta được nhiều tâp lược đồ quan hệ 3NF.
(vi) Lấy hợp các kết quả thu được từ các lần lặp trên. Khi lấy hợp, nếu có hai quan hệ có khoá trùng nhau thì chúng được gộp thành một quan hệ với danh sách các thuộc tính là hợp của hai danh sách tương ứng.