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
a) ( X → Ω) ∈ F +
b) Không tồn tại Z ⊂ X sao cho (Z → Ω ) ∈ F +
Nếu X thoả điều kiện (a) và không thỏa đIều kiện (b) được gọi là siêu khoá của lược đồ
quan hệ (Supperkey) s = . Điều kiện (a) và (b) khảng định các thuộc tính không
khoá phụ thuộc đầy đủ vào khóa. Từ định nghĩa trên có thể suy ra rằng X là khóa của lược
đồ quan hệ khi và chỉ khi X + = Ω và (X – A) + ≠ Ω, ∀A∈ X. Điều này có nghĩa là
mỗi một giá trị của khoá xác định duy nhất giá trị của các thuộc tính không khoá. Giá trị
khoá khác nhau thì giá trị các bộ có chứa giá trị khoá cũng khác nhau. Nếu loại bỏ một phần
thông tin về khóa thì thông tin của các thuộc tính còn lại không thể xác định được. Như vậy
khoá là tập các thuộc tính sao cho bao đóng của nó là nhỏ nhất. Nghĩa là nếu thêm hoặc loại
bỏ các phần tử của khoá sẽ là dư thừa hay thiếu thông tin.
Có thể định nghĩa khóa trong một quan hệ như sau: nếu 2 bộ bất kỳ trùng nhau trên các
thành phần của khóa thì cũng trùng nhau trên các thành phần không khóa và nếu trùng nhau
trên một số thành phần của khóa không thể trùng nhau trên các thành phần không khóa.
Giá trị các thành phần của khoá không thể nhận giá trị null hay các giá trị không xác định.
Mọi siêu khóa đều chứa ít nhất một khóa. Từ siêu khóa có thể xác định một khóa bằng cách
bớt dần các thuộc tính và kiểm tra bao đóng của các thuộc tính còn lại. Các thuộc tính là các
phần tử của khóa gọi là các thuộc tính khóa, ngược lại, các thuộc tính không chứa trong
khóa gọi là các thuộc tính không khóa.
Ký hiệu K là tập khóa của lược đồ quan hệ s = < Ω , F >.
Ví dụ 12: Cho Ω = {A, B, C, D, E, G} và
F := {AB → C, D → EG, C → A, BE → C, BC → D, CG → BD, ACD → B, CE → AG}
Khi đó tập khóa của lược đồ quan hệ là : K = {AB, CG, CD, EB, CE, BC}
K1 = AB vì (AB) + = ABCDEG K2 = EB vì (EB) + = ABCDEG
K3 = CG vì (CG) + = ABCDEG K4 = CE vì (CE) + = ABCDEG
K5 = CD vì (CD) + = ABCDEG K6 = BC vì (BC) + = ABCDEG .
Ví dụ.13: Cho lược đồ quan hệ quản lý mạng cáp, bao gồm tập các thuộc tính (TC#, MC#,
MC, GIA, SL, GTR). Trong đó:
TC# Mã tuyến cáp MC# Mã cáp
MC Tên gọi cáp GIA Đơn giá cáp
SL Số lượng GTR Giá trị
Biết rằng:
• Trong mỗi tuyến cáp TC# có thể lắp đặt nhiều loại cáp khác nhau
• Ứng với một mã cáp MC# chỉ có một và chỉ một tên gọi loại cáp MC.
• Mỗi loại cáp MC# , trong một tuyến cáp TC# xác định một giá trị cáp GTR
Tổ hợp các thuộc tính (MC#, TC#) là khoá của lược đồ quan hệ. Trên một tuyến cáp cụ thể,
với một loại cáp cụ thể đã được lắp đặt, sẽ xác định duy nhất các thông tin về các loại cáp
58