23
Chương 2 : CÁC PHỤ THUỘC DỮ LIỆU TRONG MÔ
HÌNH QUAN HỆ
2.1 Mô hình dữ liệu quan hệ : nhắc lại các khái niệm
căn bản.
2.2 Phụ thuộc hàm(FUNCTIONAL DEPENDENCY):
2.3 Các Dạng Chuẩn (Form Normal) trên Quan Hệ:
2.4 Bài Tập:
24
1. Thuộc tính (Attribute) là thông tin đặc thù (hay tính chất
dùng để mô tả)của mỗi đối tượng được quản lý .
• Thuộc tính được xác định bởi:
Tên gọi: TenSV, TenGV
Kiểu dữ liệu (Type): Số, văn bản, Boolean...
Miền giá trị (Domain): Ký hiệu MGT(A)
2. Một lược đồ quan hệ Q được định nghĩa trên một tập thuộc
tính {A1, A2, .., An} là một sự biểu diễn tập đối tượng có
chung các thuộc tính.
Ký hiệu: Q(A1, A2,..,An)
• Ký hiệu: Q+dùng biểu diễn tập thuộc tính {A1, A2, .., An}
• Mỗi quan hệ Q đều kèm theo một tân từ ||Q|| dùng để mô tả
mối liên hệ ngữ nghĩa của các thuộc tính trong Q.
2.1 Mô hình dữ liệu quan hệ : nhắc lại các khái
niệm căn bản (1).
25
2.1 Mô hình dữ liệu quan hệ :nhắc lại các khái
niệm căn bản (2).
Ví dụ: KetQuaHT(MSSV, MSMon, HocKy,
DiemL1, DiemL2)
Tân từ: Mỗi môn học (MSMon) trong một học kỳ
(HocKy) sinh viên (MSSV) được thi tối đa 2 lần
(DiemL1, DiemL2).
3. Một bộ q: của lđ quan hệ Q(A1, A2,..,An) là một tổ
hợp giá trị (a1, a2,..,an) thoả 2 điều kiện:
(i)AiQ+, aiMGT(Ai)
(ii) Tận từ ||Q(a1, a2,..,an) || được thoả
Ví dụ: q=(01TH125, CSDL, 8, NULL)
26
2.1 Mô hình dữ liệu quan hệ :nhắc lại các khái
niệm căn bản (3).
4. Một tập thể hiện của lđ quan hệ Q được ký hiệu TQ, là
một tập các bộ của Q
TQ = { q= (a1,a2,.., an) / ai MGT(Ai), ||Q(q)|| = TRUE }
5. Một Siêu khóa(Super Key) trên lđ quan hệ Q là một tập
thuộc tính S Q+nếu mỗi giá trị của S có thể xác định
duy nhất một bộ của Q
q1, q2 TQ, q1.S = q2.S thì q1 = q2
6. Khóa chỉ định (Candidate Key) hay khóa nội của Q là
một siêu khóa ít thuộc tính nhất, không chứa bất kỳ một
siêu khóa nào.
27
2.1 Mô hình dữ liệu quan hệ :nhắc lại các
khái niệm căn bản (4).
7. Thuộc tính khóa và thuộc tính không khóa: Các thuộc
tính tham gia vào khóa gọi là thuộc tính khóa, các
thuộc tính không tham gia vào khóa gọi là các thuộc
tính không khóa.
8. Một CSDL là 1 tập hợp các quan hệ, Ký hiệu: C = { Qi
}ti = 1
9. Phép chiếu của một bộ q lên tập thuộc tính XQ+là
phép trích ra từ bộ q các giá trị tương ứng với tập
thuộc tính X
– Ký hiệu: q.X hay q[ X ]
•Ví dụ: q=(01TH125, CSDL, 8, NULL)
–thì q.[MSSV, DiemL1]=(01TH125, 8)