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
được lắp đặt. Thuộc tính MC# chỉ xác định được các thông tin về loại cáp như tên gọi MC,
đơn giá GIA và nước sản xuất loại cáp đó. Nó không thể xác định số lượng SLvà giá trị
GTR cáp của loại cáp cụ thể, nếu giá trị của TC# không được xác định. Trong trường hợp
này có thể hiểu cáp vẫn còn trong các kho, chưa được đưa ra sử dụng. Tương tự, thuộc tính
TC# chỉ xác định thông tin về các tuyến cáp như chiều dài tuyến, tên gọi tuyến, cáp chôn
hay cáp treo...mà không thể xác định các thông tin về số lượng và giá trị các loại cáp được
lắp
đặt trên nó. Sơ đồ sau biểu diễn mối quan hệ giữa các thuộc tính khoá và không khoá.
MC
GIA
MC#
TC#
Hình 3.5
Các phụ thuộc hàm trong quan hệ quản lý cáp
3.6.2 Khoá dự bị
Trong một lược đồ quan hệ, nếu tồn tại một thuộc tính hay một tổ hợp các thuộc tính có tính
chất xác định như khoá chính, khi đó nói rằng trong lược đồ tồn
tại khoá dự bị. Khoá chính
có thể tuỳ chọn trong số các khoá dự bị của lược đồ quan hệ.
Trong quan hệ quản lý mạng cáp, giả sử ứng với một mã cáp MC# chỉ có một và chỉ một
tên gọi MC. Nghĩa là ngoài tổ hợp khoá (MC#, TC#), tổ hợp (MC,TC#) cũng có tính chất
tương tự như khoá. Và thường người ta chọn tổ hợp (MC#,TC#) làm khoá chính, vì
(MC#, TC#) đảm bảo tính nhất quán và đỡ nhập nhằng
thông tin hơn so với tổ hợp các
thuộc tính tên cáp và mã tuyến cáp (MC,TC#).
Các thuộc tính không khoá là các thuộc tính không có mặt trong các thành phần của khoá.
Tức là: Ψ := {A⏐ A ∉ K & K ∈ K tập khoá}
3.6.3 Định thuộc (Determinant)
Cho lược đồ quan hệ s = . Gọi ∀X ⊆ Ω là một định thuộc (Determinant) của lược
đồ s khi và chỉ khi tồn tại thuộc tính Y ⊆ Ω sao cho X → Y∈ F
GTR⊆ Ω = (NG,MH#,TMH,SL,GIA,NB),
+ là phụ thuộc hàm đầy
đủ. Tức là trong X không tồn tại các thuộc tính dư thừa. (MC#,TC#) là một định thuộc của
lược đồ quan hệ quản lý mạng cáp, vì tồn tại
(MH#,NG) → GTR là một phụ
thuộc đầy đủ.
3.6.4 Phản khoá (Antikey)
Phản khóa có vai trò quan trọng trong quá trình nghiên cứu cấu trúc logic của họ các phụ
thuộc hàm, khóa và các dạng chuẩn của
lược đồ quan hệ. Đặc biệt đối với các bài toán tổ
hợp trong mô hình dữ liệu quan hệ.
a) Hệ Sperner: Cho Ω là tập các thuộc tính, P ⊆ P(Ω) := {A⏐ A⊆ Ω} ⊆ 2 Ω được gọi là
hệ Sperner trên Ω nếu với ∀A, B ∈ P, A ⊄ B ( B ⊄ A) . Dễ dàng nhận thấy
rằng tập tất
cả khóa của lược đồ quan hệ cũng là một hệ Sperner trên tập các thuộc tính Ω .
59
SL
GIA