Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
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 />
Khoá dự bị: (TC#, TTC#) , (TC, TTC), (TC#, TTC) , (TC, TTC#).<br />
Khoá chính (TC#, MC#).<br />
Định thuộc (TC#, TTC#), (TC#, TTC) (TC, TTC#),(TC, TTC),<br />
TTC, MC, TC#, MC#.<br />
Phản khoá (TC#, TTC, DAI, NG, GT, SL), (MC#, MC, DAI, NG, GT, SL)<br />
TTC<br />
TC#<br />
DAI SL<br />
MC<br />
MC#<br />
GT<br />
NG<br />
Hình 3.6 Lược đồ quan hệ quản lý mạng cáp<br />
3.7 Một số tính chất của khoá trong lược đồ quan hệ<br />
Cho s = < Ω , F > là một lược đồ quan hệ, trong đó Ω là tập các thuộc tính và<br />
F = { Lj → Rj ⏐ Lj, Rj ⊆ Ω } là tập các phụ thuộc hàm.<br />
Ký hiệu L = ∪ Lj và<br />
R = ∪ Rj<br />
Lj → Rj ∈ F<br />
Lj → Rj ∈ F<br />
H = ∪ K và G = ∩ K<br />
K ∈ K K ∈ K<br />
• Với ∀ K ∈ K , khi đó: Ω \ R ⊆ K ⊆ ( Ω \ R ) ∪ ( L ∩ R ).<br />
• Các khoá của lược đồ quan hệ s= < Ω , F > chỉ khác nhau trên các thuộc tính<br />
của (L ∩ R ).<br />
• Nếu (L ∩ R ) = ∅ khi đó (Ω \ R ) là khoá duy nhất của quan hệ s = .<br />
• Nếu (R \ L) ≠ ∅ thì tồn tại khoá K sao cho K ≠ Ω là khoá không tầm thường<br />
• Nếu ∀i: (Ri ∩ L ≠ ∅ ⇒ Li ∩ R = ∅ )<br />
Khi đó Ω \ R là khóa duy nhất s = < Ω , F ><br />
• Đặt L ∩ R = {A1, A2,...,Ak } ⊆ Ω và K1 : = ( Ω \ R) ∪ (L ∩ R ).<br />
K(i+1) :=<br />
Ki \ Ai Nếu ( Ki \ Ai ) → Ai ∈ F +<br />
Ki Nếu ( Ki \ Ai) → Ai ∉ F +<br />
Với i = 1÷ k<br />
Khi đó K(k+1) là khoá của lược đồ quan hệ s = .<br />
Ví dụ 15 Ω={ A, B, H, G, Q, M, N, V, W }<br />
F := { A → B, B → H, G → Q, V → W, W → V }<br />
61