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
b) Phản khóa: Giả sử K = {K1, K2, ..., Kn} là tập các khóa của lược đồ quan hệ. .Hiển
nhiên tập K là một hệ Sperner trên tập Ω. Một tập con của Ω được gọi là phản khoá của
lược đồ quan hệ s, ký hiệu là K -1 ⊆ Ω nếu:
1. K ⊄ K -1 với ∀ K ∈ K
2. ∀X ⊆ Ω và K -1 ⊂ X suy ra ∃ K ∈ K sao cho K ⊆ X.
Từ định nghĩa trên có thể hiểu là phản khóa không chứa khóa và nếu nới rộng phản khóa sẽ
chứa khóa. Ký hiệu K -1 tập tất cả phản khoá của lược đồ quan hệ .
3.6.5 Lược đồ thu gọn
Định nghĩa: Cho s = là lược đồ quan hệ, Ω là tập các thuộc tính và F tập các
phụ thuộc hàm và K là tập khoá của lược đồ quan hệ. Lược đồ s1:= < Ω1, F1 > được gọi
là lược đồ thu gọn:
Một số khảng định sau
Ω 1 = ∪ K , G := Ω \ Ω1
K∈ K
F1 = {(Lj \ G ) → (Rj \ G )⏐( Lj → Rj ) ∈ F }
• Nếu K –1 S là tập phản khóa của s =
Khi đó K –1 S1 = {K -1 \ G ⏐ K -1 ∈ K –1 S } là phản khóa của s1:= .
• Nếu K –1 S1 là tập phản khóa của s1:= .
Khi đó K –1 S = { K -1 ∪ G ⏐ K -1 ∈ K –1 S1 } là tập phản khóa của .
•
∪ K = Ω \ ∩ K
• Nhận biết phản khoá)
-1
K ∈ K K -1 ∈ K –1
Nếu ∀ X⊆ Ω là phản khoá khi và chỉ khi:
1. X + = X
2. Nếu ∀Y ⊆ Ω sao cho X ⊂ Y và Y + = Y thì Y = Ω và
X + ≠ Ω
Ví dụ.14: Trong quan hệ R (TC#, TTC, MC#, MC, DAI, NG, GTR, SL)
TC# Mã tuyến cáp TTC Tên gọi tuyến cáp
MC# Mã cáp MC Tên gọi loại cáp
DAI Độ dài tuyến cáp NG Ngày lắp đặt cáp trên tuyên
GTR Giá trị một loại cáp trên tuyến cáp SL Số lượng cáp trên tuyến
• Mỗi một giá trị của TC# xác định duy nhất một giá trị của tên tuyến cáp TTC và
mỗi một giá trị của TTC xác định duy nhất một giá trị của TC.
• Một giá trị của mã cáp MC# xác định duy nhất một giá trị của tên cáp MC, ngược
lại, mỗi một giá trị của MC xác định duy nhất một giá trị của MC#.
60