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

Chương I: Khái niệm cơ bản về các hệ cơ sở dữ liệu
AB → C D → E CE → G
C → A D → G CD → B
BC → D BE → C CG → D
3.5.5 Thuật toán 3.4 xác định tập phủ tối tiểu
Input : s = là một lược đồ quan hệ
Ω là tập các thuộc tính .
F = { A→ B⏐A,B ⊆ Ω }.
Output : Xác định tập phủ tối tiểu G từ F
Mô tả phương pháp
1. Tách vế phải của tất cả các phụ thuộc hàm sao cho chỉ chứa duy nhất một thuộc
tính. Áp dụng bổ đề 4.2.
2. Loại bỏ những phụ thuộc dư thừa dạng X → A ∈ F ra khỏi tập phụ thuộc F
nếu phụ thuộc này được suy dẫn logic từ F – { X → A}.
3. Xoá các thuộc tính dư thừa trong vế trái của phụ thuộc X → A ∈ F sao cho nếu
Z ⊂ X thì G = F – {X → A} ∪ {Z → A} tương đương với F.
Ví dụ 11: Cho F = {X → Z, XY → WP, XY → ZWQ, XZ → R}.
Xác định tập phủ tối tiểu từ tập F.
1. Tách các vế phải của các phụ thuộc sao cho chỉ chứa duy nhất một thuộc tính,
áp dụng tính chất hợp/tách:
G: = {X→Z, XY→W, XY →P, XY→Z, XY →W, XY → Q, XZ → R}.
2. Loại bỏ các phụ thuộc dư thừa:
G: = {X→Z, XY →W, XY →P, XY→Z, XY → Q, X → R}
3. Loại bỏ các thuộc tính vế trái dư thừa:
G: = {X→Z, XY →W, XY →P, XY → Q, X → R}.
3.6 Khóa của lược đồ quan hệ
Trong một lược đồ quan hệ luôn luôn tồn tại một thuộc tính hay một tập các thuộc tính có
khả năng biểu diễn duy nhất các thuộc tính còn lại. Nói cách khác giá trị của một hay nhiều
thuộc tính có thể xác định duy nhất giá trị các thuộc tính khác. Số chứng minh thư sẽ xác
định được tất cả thông tin về người mang chứng minh thư đó. Ngày gọi, thời gian bắt đầu,
thời gian kết thúc, số máy gọi đi, số máy gọi đến xác định duy nhất thông tin về cước đàm
thoại, số thuê bao điện thoại...Tập thuộc tính có tính chất như trên được gọi là khoá của
lược đồ quan hệ. Thông thường trong một lược đồ quan hệ có thể tồn tại nhiều khoá. Trong
số đó sẽ chọn một khoá làm khoá chính sao cho đơn giản và không nhập nhằng thông tin.
3.6.1 Định nghĩa
Cho s = < Ω , F > là một lược đồ quan hệ , Ω là tập các thuộc tính khác rỗng và tập các
phụ thuộc hàm (tập phủ tối tiểu) F := {A → B⏐ A, B ⊆ Ω }. Cho tập con bất kỳ ∀X⊆ Ω .
Nói rằng X là khoá (Key) của lược đồ quan hệ s khi và chỉ khi:
57