SlideShare a Scribd company logo
Khoa HTTT - Đại học
CNTT 1
Bài 9: Phụ thuộc hàm
và dạng chuẩn
Khoa HTTT - Đại học CNTT 2
Nội dung
 Phụ thuộc hàm
 Hệ luật dẫn Amstrong
 Bao đóng
 Phủ tối thiểu
 Khóa
 Thuật toán tìm khóa
 Các dạng chuẩn
 Dạng chuẩn 1
 Dạng chuẩn 2
 Dạng chuẩn 3
 Dạng chuẩn Boyce Codd
Khoa HTTT - Đại học CNTT 3
1. Phụ thuộc hàm (1)
X,Y là hai tập thuộc tính trên quan hệ R
r1, r2 là 2 bộ bất kỳ trên R
Ta nói X xác định Y, ký hiệu X → Y, nếu và chỉ nếu
r1[X] = r2[X] thì r1[Y] = r2[Y]
X → Y là một phụ thuộc hàm, hay Y phụ thuộc X.
X là vế trái của phụ thuộc hàm, Y là vế phải của phụ thuộc hàm.
Ví dụ: cho quan hệ sinh viên như sau:
SINHVIEN(Tên, Mônhọc, SốĐT, ChuyênNgành, GiảngViên,
Điểm)
Khoa HTTT - Đại học CNTT 4
1. Phụ thuộc hàm (2)
Tên Mônhọc SốĐT ChuyênNgành GiảngViên Điểm
Huy CSDL 0913157875 HTTT Hưng 5
Hoàng CSDL 0913154521 HTTT Hưng 10
Huy AV 0913157875 HTTT Thủy 5
Hải Toán
SXTK
0166397547 MạngMT Lan 10
Tính HQTCSDL 012145475 CNPM Sang 7
Tính LậpTrình 012145475 CNPM Việt 8
Hoàng LậpTrình 0913154521 HTTT Việt 10
Tên SốĐT ChuyênNgành?
Mônhọc GiảngViên?
Tên Mônhọc Điểm?
Khoa HTTT - Đại học CNTT 5
1. Phụ thuộc hàm (3)
Một số tính chất sau:
Với mỗi Tên có duy nhất một SốĐT và ChuyênNgành
Với mỗi Mônhọc có duy nhất một GiảngViên
Với mỗi Tên, Mônhọc có duy nhất một Điểm
Ký hiêu:
{Tên} → {SốĐT, ChuyênNgành}
{Mônhọc} → {GiảngViên}
{Tên, Mônhọc} → {Điểm}
Khoa HTTT - Đại học CNTT 6
1. Phụ thuộc hàm (4)
Tên Mônhọc SốĐT ChuyênNgành GiảngViên Điểm
Các phụ thuộc hàm kéo theo:
{Tên} → {ChuyênNgành}
{Mônhọc, Điểm} → {GiảngViên, Điểm}
Khoa HTTT - Đại học CNTT 7
2. Hệ luật dẫn Amstrong (1)
Gọi F là tập các phụ thuộc hàm
Định nghĩa: X → Y được suy ra từ F, hay F suy ra X →
Y, ký hiệu: F ╞ X → Y nếu bất kỳ bộ của quan hệ thỏa F
thì cũng thỏa X → Y
Hệ luật dẫn Amstrong:
Với X, Y, Z, W U. Phụ thuộc hàm có các tính chất sau:⊆
F1) Tính phản xạ: Nếu Y X thì X → Y⊆
F2) Tính tăng trưởng: {X → Y} ╞ XZ → YZ
F3) Tính bắc cầu: {X → Y, Y → Z} ╞ X → Z
Khoa HTTT - Đại học CNTT 8
2. Hệ luật dẫn Amstrong (2)
Từ hệ luật dẫn Amstrong ta suy ra một số tính chất sau:
F4) Tính kết hợp: {X → Y, X → Z} ╞ X → YZ
F5) Tính phân rã: {X → YZ, X → Y} ╞ X → Z
F6) Tính tựa bắt cầu: {X → Y, YZ → W} ╞ XZ → W
Ví dụ: F = {A → B, A → C, BC → D}, chứng minh A →
D?
1)A → B
2)A → C
3)A → BC (tính kết hợp F4)
4)BC → D
5)A → D (tính bắc cầu F3)
Khoa HTTT - Đại học CNTT 9
3. Bao đóng (1)
Bao đóng của tập phụ thuộc hàm
Bao đóng của tập phụ thuộc hàm F, ký hiệu F+
là tập tất
cả các phụ thuộc hàm được suy ra từ F.
Nếu F = F+
thì F là họ đầy đủ của các phụ thuộc hàm.
Thuật toán tìm bao đóng của tập thuộc tính
Bao đóng của tập thuộc tính X đối với tập phụ thuộc hàm
F, ký hiệu là X+
Flà tập tất cả các thuộc tính A có thể suy
dẫn từ X nhờ tập bao đóng của các phụ thuộc hàm F+
X+
F ={ A ∈ Q+
| X → A F∈ +
}
Khoa HTTT - Đại học CNTT 10
3. Bao đóng (2)
Input: (Q,F),X ⊆ Q+
Output: X+
F
Bước 1: Tính dãy X(0)
, X(1)
,…, X(i)
:
- X(0)
= X
- X(i+1)
= X(i)
Z, (Y → Z )∪ ∃ ∈ F(Y ⊆ X(i)
), loại (Y →
Z) ra khỏi F
- Dừng khi X(i+1)
= X(i)
hoặc khi X(i)
=Q+
Bước 2: Kết luận X+
F = X(i)
Khoa HTTT - Đại học CNTT 11
3. Bao đóng (3)
Ví dụ:
Cho lược đồ quan hệ R(A, B, C, D, E, G, H) và tập phụ
thuộc hàm
F={ f1: B → A , f2: DA → CE, f3: D → H, f4: GH →
C, f5: AC → D}
Tìm AC+
F ?
Khoa HTTT - Đại học CNTT 12
3. Bao đóng (4)
Bước 1: X0 = AC
Bước 2: Từ f1 đến f4 không thoả, f5 thoả nên X1 = AC D∪ =
ACD
Lặp lại bước 2:
f1 không thoả,
f2 thỏa nên X2=ACD CE∪ = ACDE
f3 thỏa nên X3=ACDE H∪ =ACDEH
f4 không thỏa, f5 đã thỏa
Lặp lại bước 2: f2, f3 và f5 đã thỏa, f1 và f4 không thỏa. Nên
X4=X3=ACDEH
Vậy AC+
=ACDEH
Khoa HTTT - Đại học CNTT 13
3. Bao đóng (5)
Bài toán thành viên
Cho tập thuộc tính Q, tập phụ thuộc hàm F trên Q và
một phụ thuộc hàm X → Y trên Q. Câu hỏi đặt ra rằng
X → Y ∈ F+
hay không?
X → Y ∈ F+
⇔ Y ⊆ X+
Ví dụ:
Từ ví dụ tìm bao đóng của tập thuộc tính AC. Cho biết
AC → E có thuộc F+
?
Ta có AC+
F=ACDEH
Vì E ∈ AC+
F nên AC → E ∈ F+
Khoa HTTT - Đại học CNTT 14
4. Phủ tối thiểu (1)
Hai tập phụ thuộc hàm tương đương
Hai tập phụ thuộc hàm F và G tương đương nếu F+
= G+
. Ký
hiệu G ≡ F
Phủ tối thiểu của một tập phụ thuộc hàm
F được gọi là phủ tối thiểu của tập phụ thuộc hàm (hay tập
phụ thuộc hàm tối thiểu) nếu thỏa:
(i) F là tập phụ thuộc hàm có thuộc tính vế trái không dư
thừa
(ii) F là tập phụ thuộc hàm có vế phải một thuộc tính
(iii) F là tập phụ thuộc hàm không dư thừa
4. Phủ tối thiểu (2)
Phụ thuộc hàm có thuộc tính vế trái dư thừa
Cho F là tập các phụ thuộc hàm trên lược đồ quan hệ Q. Khi đó
Z → Y ∈ F là phụ thuộc hàm có thuộc tính vế trái dư thừa nếu
tồn tại A∈ Z mà
F = F – (Z → Y) ∪ ((Z - A) → Y)
Ngược lại Z → Y là phụ thuộc hàm có thuộc tính vế trái
không dư thừa hay Y phụ thuộc đầy đủ vào Z. Z → Y còn
được gọi là phụ thuộc hàm đầy đủ.
Phụ thuộc hàm có vế phải một thuộc tính
Mỗi tập phụ thuộc hàm F đều tương đương với một tập phụ
thuộc hàm G mà vế phải của các phụ thuộc hàm thuộc G chỉ
gồm một thuộc tính
Khoa HTTT - Đại học CNTT 15
4. Phủ tối thiểu (3)
Phụ thuộc hàm không dư thừa
F là tập phụ thuộc hàm không dư thừa nếu không tồn tại F’⊂ F sao cho
F’ ≡ F. Ngược lại F được gọi là tập phụ thuộc hàm dư thừa.
Thuật toán tìm phủ tối thiểu của tập phụ thuộc hàm
Bước 1: Phân rã các phụ thuộc hàm có vế phải nhiều thuộc tính thành
các phụ thuộc hàm có vế phải một thuộc tính
Bước 2: Loại các thuộc tính có vế trái dư thừa của mọi phụ thuộc hàm
(bỏ thuộc tính bên vế trái, khi và chỉ khi bao đóng của các thuộc tính
còn lại có chứa thuộc tính đó)
Bước 3: Loại các phụ thuộc hàm dư thừa khỏi F (Các thuộc tính ở vế
phải của PTH chỉ xuất hiện duy nhất 1 lần thì không thể loại bỏ. Còn lại
tính bao đóng của tập thuộc tính vế trái nếu có xuất hiện thuộc tính vế
phải thì có thể loại bỏ thuộc tính đó và đó là PTH dư thừa)
Khoa HTTT - Đại học CNTT 16
4. Phủ tối thiểu (4)
Ví dụ:
Cho lược đồ quan hệ Q(A,B,C,D) và tập phụ thuộc hàm F={AB → CD, B → C,
C → D} Tìm phủ tối thiểu?
Bước 1: Tách các phụ thuộc hàm sao cho vế phải chỉ còn một thuộc tính.
+ ta có F={AB → C, AB → D, B → C, C → D}
Bước 2: Bỏ các thuộc tính dư thừa ở vế trái.
+ B → C, C → D Không xét vì vế trái chỉ có một thuộc tính.
+ xét AB → C : Nếu Bỏ A thì B+
=BCD không chứa A nên không thể Bỏ A. Nếu
Bỏ B thì A+
=A. không bỏ được thuộc tính nào.
+ xét AB → D : Nếu Bỏ A thì B+
=BCD không chứa A nên không thể Bỏ A. Nếu
Bỏ B thì A+
=A. không bỏ được thuộc tính nào.
Bước 3: Loại khỏi F các phụ thuộc hàm dư thừa.
+ xét AB->C : Tính AB+=ABCD chứa C nên loại bỏ AB->C
+ xét AB->D : tính AB+=ABCD chứa D nên loại bỏ AB->D
+ B->C : tính B+=B không thể bỏ.
+ C->D : tính C+=C không thể bỏ.
Phủ tối thiểu là {B->C, C->D}
Khoa HTTT - Đại học CNTT 17
5. Khoá
Định nghĩa
Cho lược đồ quan hệ Q(A1, A2, …, An), Q+
là tập thuộc tính
của quan hệ Q, F là tập phụ thuộc hàm trên Q, K là tập con
của Q+
. Khi đó K gọi là một khóa của Q nếu:
(i) K+
F = Q+
(ii) Không tồn tại K’ K sao cho K’⊂ +
F = Q+
Thuộc tính A được gọi là thuộc tính khóa nếu
A∈ K, trong đó K là khóa của Q. Ngược lại thuộc tính A
được gọi là thuộc tính không khóa.
K’ được gọi là siêu khóa nếu K ⊆ K’.
Khoa HTTT - Đại học CNTT 18
5. Thuật toán tìm khoá (1)
Sử dụng đồ thị có hướng để tìm khóa như sau:
Bước 1:
- Mỗi nút của đồ thị là tên một thuộc tính của lược đồ quan hệ R
- Cung nối hai thuộc tính A và B thể hiện phụ thuộc hàm A → B
- Thuộc tính chỉ có các mũi tên đi ra (nghĩa là chỉ nằm trong vế trái của
phụ thuộc hàm) được gọi là nút gốc
- Thuộc tính chỉ có các mũi tên đi tới (nghĩa là chỉ nằm trong vế phải của
phụ thuộc hàm) được gọi là nút lá
Bước 2:
- Xuất phát từ tập các nút gốc (X), dựa trên tập các phụ thuộc hàm F, tìm
bao đóng X+
F .
- Nếu X+
F= Q+
thì X là khóa, ngược lại bổ sung một thuộc tính không thuộc
nút lá vào X rồi thực hiện tìm bao đóng của X. Dừng khi tìm được một khóa của
R.
Khoa HTTT - Đại học CNTT 19
5. Thuật toán tìm khoá (2)
Ví dụ: Cho lược đồ quan hệ R(A, B, C, D, E, G, H) và tập phụ
thuộc hàm
F={ B → A , DA → CE, D → H, GH → C, AC → D}
Tìm một khóa của R?
Phân rã vế phải ta có F ={ B → A , DA → C, DA → E, D → H,
GH → C, AC → D}
Khoa HTTT - Đại học CNTT 20
5. Thuật toán tìm khoá (3)
Nhận thấy từ đồ thị trên, nút B và G là nút gốc. Khóa của
R phải chứa thuộc tính B hoặc G, trong ví dụ này chọn B.
B+
F = BA, Vì B+
F ≠ Q+
nên B không là khóa. Nhận thấy D là
thuộc tính ở vế trái của ba phụ thuộc hàm trong F nên bổ
sung thuộc tính D vào để xét khóa.
BD+
F = BDACEH, vì BD+
F ≠ Q+
nên BD không là khóa.
Bổ sung thuộc tính G.
BDG+
F = BDGACEH, vì BDG+
F = Q+
nên BDG là khóa.
Khoa HTTT - Đại học CNTT 21
6. Các dạng chuẩn (1)
Dạng chuẩn 1 (1NF)
Lược đồ Q ở dạng chuẩn 1 nếu mọi thuộc tính đều mang giá
trị nguyên tố.
Giá trị nguyên tố là giá trị không phân nhỏ được nữa.
Các thuộc tính đa trị (multi-valued), thuộc tính đa
hợp(composite) không là nguyên tố.
Ví dụ:
Thuộc tính ĐiaChỉ : Số 175 Đường 3/2 Phường 10 Quận 5
không là nguyên tố.
ĐịaChỉ → (SốNhà, Đường, Phường, Quận)
Khoa HTTT - Đại học CNTT 22
6. Các dạng chuẩn (2)
Ví dụ: HOADON(MaHD, MaKH, NgayHD, CtietMua, SoTien)
Khoa HTTT - Đại học CNTT 23
CtietMua không là nguyên tố nên không thỏa dạng chuẩn 1
6. Dạng chuẩn 2 (2NF) (1)
Lược đồ Q ở dạng chuẩn 2 nếu thoả:
(1) Q đạt dạng chuẩn 1
(2) Mọi thuộc tính không khóa của Q đều phụ thuộc đầy
đủ vào khóa.
Kiểm tra dạng chuẩn 2
Bước 1: Tìm mọi khóa của Q
Bước 2: Với mỗi khóa K, tìm bao đóng của tập tất cả các tập
con thực sự Si của K
Bước 3: Nếu tồn tại bao đóng Si
+
chứa thuộc tính không khóa
thì Q không đạt dạng chuẩn 2, ngược lại Q đạt dạng chuẩn 2.
Khoa HTTT - Đại học CNTT 24
6. Dạng chuẩn 2 (2NF) (2)
Ví dụ:
Cho Q1 (A, B, C, D), F={A→B, B→DC}
Lược đồ chỉ có một khóa là A, nên mọi thuộc tính đều phụ
thuộc đầy đủ vào khóa. Do vậy Q1 đạt dạng chuẩn 2.
Ví dụ:
Cho Q2 (A, B, C, D), F={AB → D, C → D}
Lược đồ có khóa là ABC, ngoài ra còn có C ABC mà⊂ C
→ D, trong đó D là thuộc tính không khóa (nghĩa là thuộc
tính D không phụ thuộc đầy đủ vào khóa). Do vậy Q2 không
đạt dạng chuẩn 2.
Khoa HTTT - Đại học CNTT 25
6. Dạng chuẩn 3 (3NF) (1)
Lược đồ Q ở dạng chuẩn 3 nếu mọi phụ thuộc hàm X → A ∈ F+
, với A X đều có:∉
(1) X là siêu khóa, hoặc
(2) A là thuộc tính khóa
Hay mọi thuộc tính không khóa của Q không phụ thuộc bắc cầu vào khóa chính của
Q
Kiểm tra dạng chuẩn 3
Bước 1: Tìm mọi khóa của Q
Bước 2: Phân rã vế phải của mọi phụ thuộc hàm trong F để tập F trở thành tập phụ
thuộc hàm có vế phải một thuộc tính
Bước 3: Nếu mọi phụ thuộc hàm X → A ∈ F, mà A X đều thỏa∉
(1) X là siêu khóa (vế trái chứa một khóa), hoặc
(2) A là thuộc tính khóa (vế phải là tập con của khóa)
thì Q đạt dạng chuẩn 3, ngược lại Q không đạt dạng chuẩn 3.
Khoa HTTT - Đại học CNTT 26
6. Dạng chuẩn 3 (3NF) (2)
Ví dụ:
Cho Q (A, B, C, D), F={AB → D, C → D}
Bước 1: Q có một khóa là ABC
Bước 2: Mọi phụ thuộc hàm trong F đều đã có vế phải một
thuộc tính.
Bước 3: Với AB → D, nhận thấy rằng D AB có∉
• Vế trái (AB) không phải là siêu khóa.
• Hơn nữa vế phải (D) không là thuộc tính khóa
Vậy Q không đạt dạng chuẩn 3.
Khoa HTTT - Đại học CNTT 27
6. Dạng chuẩn Boyce Codd
(BCNF) (1)
Lược đồ Q ở dạng chuẩn BC nếu mọi phụ thuộc hàm X
→ A ∈ F+
, với A X đều có X là siêu khóa.∉
Nhắc lại:
Siêu khóa : là một tập con các thuộc tính của Q+
mà giá
trị của chúng có thể phân biệt 2 bộ khác nhau trong
cùng một thể hiện TQ bất kỳ.
Nghĩa là: ∀ t1, t2 ∈ TQ, t1[K] ≠ t2[K] ⇔ K là siêu khóa của
Q.
Khoa HTTT - Đại học CNTT 28
6. Dạng chuẩn Boyce Codd
(BCNF) (2)
Kiểm tra dạng chuẩn BCNF
Bước 1: Tìm mọi khóa của Q
Bước 2: Phân rã vế phải của mọi phụ thuộc hàm trong
F để tập F trở thành tập phụ thuộc hàm có vế phải một
thuộc tính
Bước 3: Nếu mọi phụ thuộc hàm X → A ∈ F, mà A ∉
X đều thỏa X là siêu khóa (vế trái chứa một khóa), thì
Q đạt dạng chuẩn BC, ngược lại Q không đạt dạng
chuẩn BC.
Khoa HTTT - Đại học CNTT 29
6. Dạng chuẩn Boyce Codd
(BCNF) (3)
Ví dụ:
Cho Q (A, B, C, D, E, I), F={ACD → EBI, CE → AD}
Bước 1: Q có hai khóa là {ACD, CE}
Bước 2: Phân rã vế phải của các phụ thuộc hàm trong
F, ta có: F={ACD → E, ACD → B, ACD → I, CE →
A, CE → D}
Bước 3: Mọi phụ thuộc hàm trong F đều có vế trái là
một siêu khóa Vậy Q đạt dạng chuẩn BC.
Khoa HTTT - Đại học CNTT 30

More Related Content

PDF
Phụ thuộc hàm và các dạng chuẩn - dhcntt
PDF
Ktmt chuong 2
PDF
Tính toán khoa học - Chương 2: Hệ phương trình tuyến tính
DOC
Xây dựng biểu đồ use case
PDF
Tong hop cau hoi trac nghiem hdh
DOC
Bài giảng kiến trúc máy tính
PDF
Thiết kế csdl quản lý nhân sự
PDF
Phân tích và thiết kế hệ thống quản lý bán hàng
Phụ thuộc hàm và các dạng chuẩn - dhcntt
Ktmt chuong 2
Tính toán khoa học - Chương 2: Hệ phương trình tuyến tính
Xây dựng biểu đồ use case
Tong hop cau hoi trac nghiem hdh
Bài giảng kiến trúc máy tính
Thiết kế csdl quản lý nhân sự
Phân tích và thiết kế hệ thống quản lý bán hàng

What's hot (20)

PPTX
chuong 4. dai so boole
PDF
Đề tài: Xây dựng chương trình quản lý dịch vụ vận chuyển, HOT
PDF
[Cntt] bài giảng kĩ thuật vi xử lí
PDF
Chương 4. Chuẩn hóa cơ sở dữ liệu
DOC
Hệ thống thông tin
DOC
Đề tài: Xây dựng website bán hàng trực tuyến, HAY
DOC
đồ áN phân tích thiết kế hệ thống quản lý bán hàng siêu thị
PPT
Phụ thuộc hàm và dạng chuẩn 1
PDF
Hd th sql server_tuan5_n_khanh
PDF
Tom tat cong thuc xstk
PDF
PHÂN PHỐI CHUẨN HAI BIẾN _ BIVARIATE NORMAL DISTRIBUTION
 
PPT
DOCX
BÁO CÁO CÔNG NGHỆ PHẦN MỀM 8 điểm-QUẢN LÝ CỬA HÀNG BÁN MÁY ẢNH
PPTX
Hệ thống quản lý bán hàng online
DOCX
C# Báo cáo môn lập trình hướng đối tượng - Xây dựng chương trinh quản lí sinh...
PDF
Kiến trúc máy tính và hợp ngữ bài 05
PDF
bai tap co loi giai xac suat thong ke
PDF
đề Thi xác suất thống kê và đáp án
PDF
Bien doi lapalce
chuong 4. dai so boole
Đề tài: Xây dựng chương trình quản lý dịch vụ vận chuyển, HOT
[Cntt] bài giảng kĩ thuật vi xử lí
Chương 4. Chuẩn hóa cơ sở dữ liệu
Hệ thống thông tin
Đề tài: Xây dựng website bán hàng trực tuyến, HAY
đồ áN phân tích thiết kế hệ thống quản lý bán hàng siêu thị
Phụ thuộc hàm và dạng chuẩn 1
Hd th sql server_tuan5_n_khanh
Tom tat cong thuc xstk
PHÂN PHỐI CHUẨN HAI BIẾN _ BIVARIATE NORMAL DISTRIBUTION
 
BÁO CÁO CÔNG NGHỆ PHẦN MỀM 8 điểm-QUẢN LÝ CỬA HÀNG BÁN MÁY ẢNH
Hệ thống quản lý bán hàng online
C# Báo cáo môn lập trình hướng đối tượng - Xây dựng chương trinh quản lí sinh...
Kiến trúc máy tính và hợp ngữ bài 05
bai tap co loi giai xac suat thong ke
đề Thi xác suất thống kê và đáp án
Bien doi lapalce
Ad

Similar to csdl - buoi13-14 (20)

DOCX
Thiet kecsdl
PDF
Chương 3. Chuẩn hóa mô hình quan hệ hay nhatpd
PPT
Thiet Ke Co So Du Lieu5
PPT
Buoi12-13-14_SV (1).ppt
PDF
Chuong 6 - Phu thuoc ham va cac dang chuan.pdf
PDF
Designing databases - THiết kế CSDL Slide
PDF
cơ sở dữ liệu aksjdiop;jfkldjasklfjadls;gjfil;adjklj
PPTX
Bai tapphuthuochamv2
PPT
Chap07 thiet ke csdl
PPT
Thiet Ke Co So Du Lieu4
PPTX
Functional dependencies PHỤ THUỘC HÀM
ODP
Pth complete
ODP
PPT
Csdl Nangcao
PPT
Csdl Nangcao
PPTX
phuthuochamnhomd22.pptx. Phụ thuộc hàm Cơ sở dữ liệu
PDF
Bài-8_Phụ-thuộc-hàm-và-chuẩn-hóa-CSDL.pdf
PDF
Cơ sở dữ liệu PTIT slide 7
PDF
2013 9 dang chuan
PPTX
Bản sao csdl [Autosaved] 2.pptx. CSDL, phụ thuộc hàm
Thiet kecsdl
Chương 3. Chuẩn hóa mô hình quan hệ hay nhatpd
Thiet Ke Co So Du Lieu5
Buoi12-13-14_SV (1).ppt
Chuong 6 - Phu thuoc ham va cac dang chuan.pdf
Designing databases - THiết kế CSDL Slide
cơ sở dữ liệu aksjdiop;jfkldjasklfjadls;gjfil;adjklj
Bai tapphuthuochamv2
Chap07 thiet ke csdl
Thiet Ke Co So Du Lieu4
Functional dependencies PHỤ THUỘC HÀM
Pth complete
Csdl Nangcao
Csdl Nangcao
phuthuochamnhomd22.pptx. Phụ thuộc hàm Cơ sở dữ liệu
Bài-8_Phụ-thuộc-hàm-và-chuẩn-hóa-CSDL.pdf
Cơ sở dữ liệu PTIT slide 7
2013 9 dang chuan
Bản sao csdl [Autosaved] 2.pptx. CSDL, phụ thuộc hàm
Ad

More from kikihoho (20)

PDF
Tom tat bai giang ly thuyet do thi - nguyen ngoc trung
PPT
chuong 5. do thi (phan 1)
PPT
chuong 3. quan he
PPTX
chuong 2. phep dem
PPTX
chuong 1. co so logic
PDF
Đề thi 03
PDF
Đề thi 02
DOC
14 đề thi thực hành
PPT
Cây nhị phân tìm kiếm
PDF
Cây và cây nhị phân
PDF
ctdl&gt 05-list_kep
PDF
ctdl&gt 04-list_don
PPT
Cấu trúc dữ liệu động
PDF
Tìm kiếm và sắp nội
PDF
CTDL&GT_01
PDF
csdl-trigger
PDF
csdl bai-thuchanh_02
PDF
csdl bai-thuchanh_01
PPT
csdl - buoi10-11-12
PPT
csdl - buoi7-8-9
Tom tat bai giang ly thuyet do thi - nguyen ngoc trung
chuong 5. do thi (phan 1)
chuong 3. quan he
chuong 2. phep dem
chuong 1. co so logic
Đề thi 03
Đề thi 02
14 đề thi thực hành
Cây nhị phân tìm kiếm
Cây và cây nhị phân
ctdl&gt 05-list_kep
ctdl&gt 04-list_don
Cấu trúc dữ liệu động
Tìm kiếm và sắp nội
CTDL&GT_01
csdl-trigger
csdl bai-thuchanh_02
csdl bai-thuchanh_01
csdl - buoi10-11-12
csdl - buoi7-8-9

Recently uploaded (20)

PPTX
Xuất huyết tiêu hoá Đại học Y Hà Nội.pptx
PPTX
Phân bố Nhị Thức Chuyên Đề Toán Lớp 12 Chân trời sáng tạo Tập 2
DOCX
BÀI TIỂU LUẬN HẾT HỌC PHẦN TỔ CHỨC HOẠT ĐỘNG TRẢI NGHIỆM,HƯỚNG NGHIỆP Ở TRƯỜN...
PPTX
Bài giảng chương 3 phương pháp luận nghiên cứu khoa học_HQH.pptx
DOCX
Báo cáo thực tập công ty Ah-GlobalGroup vị trí Data Analyst
PDF
BÀI TẬP BỔ TRỢ FRIENDS PLUS 9 - BÀI TẬP TRẮC NGHIỆM, TỰ LUẬN - CẢ NĂM (BÁM SÁ...
PPT
ky nang thuyet trinh va trinh bay hieu qua.ppt
PPTX
Tốc độ và vận tốc trong chuyển động thẳng
PPTX
Vai trò vô cùng quan trọng để thuyết trình.pptx
PPT
Bài giảng Power Point 2003, hướng dẫn học tập
PDF
BÀI TẬP BỔ TRỢ 4 KỸ NĂNG TIẾNG ANH 8 GLOBAL SUCCESS - CẢ NĂM - BÁM SÁT FORM Đ...
DOCX
BÀI TIỂU LUẬN HẾT HỌC PHẦN MÔN ĐÁNH GIÁ TRONG GIÁO DỤC
PPTX
Chương 2 - Mô hình thực thể kết hợp.pptx
PDF
12894-44864-1-CE-1037-1038_Văn bản của bài báo.pdf
PPTX
Chương 1 – Tổng quan về Cơ sở dữ liệu.pptx
DOCX
Luận văn group-Bài tiểu luận Ý thức - Giấc mơ.docx
PDF
CHƯƠNG 1-P2: ĐẢNG CỘNG SẢN VIỆT NAM RA ĐỜI VÀ LÃNH ĐẠO ĐẤU TRANH GIÀNH CHÍNH ...
PPTX
Chuong1,2-Phuongphapnghiencuukhoahoc.pptx
PPTX
Bộ Giáo Trình Chuẩn YCT1 lesson 12 pptx.pptx
PPT
chương 1 cơ sở văn hóa Việt Nam - định nghĩa - đặc trưng - chức năng
Xuất huyết tiêu hoá Đại học Y Hà Nội.pptx
Phân bố Nhị Thức Chuyên Đề Toán Lớp 12 Chân trời sáng tạo Tập 2
BÀI TIỂU LUẬN HẾT HỌC PHẦN TỔ CHỨC HOẠT ĐỘNG TRẢI NGHIỆM,HƯỚNG NGHIỆP Ở TRƯỜN...
Bài giảng chương 3 phương pháp luận nghiên cứu khoa học_HQH.pptx
Báo cáo thực tập công ty Ah-GlobalGroup vị trí Data Analyst
BÀI TẬP BỔ TRỢ FRIENDS PLUS 9 - BÀI TẬP TRẮC NGHIỆM, TỰ LUẬN - CẢ NĂM (BÁM SÁ...
ky nang thuyet trinh va trinh bay hieu qua.ppt
Tốc độ và vận tốc trong chuyển động thẳng
Vai trò vô cùng quan trọng để thuyết trình.pptx
Bài giảng Power Point 2003, hướng dẫn học tập
BÀI TẬP BỔ TRỢ 4 KỸ NĂNG TIẾNG ANH 8 GLOBAL SUCCESS - CẢ NĂM - BÁM SÁT FORM Đ...
BÀI TIỂU LUẬN HẾT HỌC PHẦN MÔN ĐÁNH GIÁ TRONG GIÁO DỤC
Chương 2 - Mô hình thực thể kết hợp.pptx
12894-44864-1-CE-1037-1038_Văn bản của bài báo.pdf
Chương 1 – Tổng quan về Cơ sở dữ liệu.pptx
Luận văn group-Bài tiểu luận Ý thức - Giấc mơ.docx
CHƯƠNG 1-P2: ĐẢNG CỘNG SẢN VIỆT NAM RA ĐỜI VÀ LÃNH ĐẠO ĐẤU TRANH GIÀNH CHÍNH ...
Chuong1,2-Phuongphapnghiencuukhoahoc.pptx
Bộ Giáo Trình Chuẩn YCT1 lesson 12 pptx.pptx
chương 1 cơ sở văn hóa Việt Nam - định nghĩa - đặc trưng - chức năng

csdl - buoi13-14

  • 1. Khoa HTTT - Đại học CNTT 1 Bài 9: Phụ thuộc hàm và dạng chuẩn
  • 2. Khoa HTTT - Đại học CNTT 2 Nội dung  Phụ thuộc hàm  Hệ luật dẫn Amstrong  Bao đóng  Phủ tối thiểu  Khóa  Thuật toán tìm khóa  Các dạng chuẩn  Dạng chuẩn 1  Dạng chuẩn 2  Dạng chuẩn 3  Dạng chuẩn Boyce Codd
  • 3. Khoa HTTT - Đại học CNTT 3 1. Phụ thuộc hàm (1) X,Y là hai tập thuộc tính trên quan hệ R r1, r2 là 2 bộ bất kỳ trên R Ta nói X xác định Y, ký hiệu X → Y, nếu và chỉ nếu r1[X] = r2[X] thì r1[Y] = r2[Y] X → Y là một phụ thuộc hàm, hay Y phụ thuộc X. X là vế trái của phụ thuộc hàm, Y là vế phải của phụ thuộc hàm. Ví dụ: cho quan hệ sinh viên như sau: SINHVIEN(Tên, Mônhọc, SốĐT, ChuyênNgành, GiảngViên, Điểm)
  • 4. Khoa HTTT - Đại học CNTT 4 1. Phụ thuộc hàm (2) Tên Mônhọc SốĐT ChuyênNgành GiảngViên Điểm Huy CSDL 0913157875 HTTT Hưng 5 Hoàng CSDL 0913154521 HTTT Hưng 10 Huy AV 0913157875 HTTT Thủy 5 Hải Toán SXTK 0166397547 MạngMT Lan 10 Tính HQTCSDL 012145475 CNPM Sang 7 Tính LậpTrình 012145475 CNPM Việt 8 Hoàng LậpTrình 0913154521 HTTT Việt 10 Tên SốĐT ChuyênNgành? Mônhọc GiảngViên? Tên Mônhọc Điểm?
  • 5. Khoa HTTT - Đại học CNTT 5 1. Phụ thuộc hàm (3) Một số tính chất sau: Với mỗi Tên có duy nhất một SốĐT và ChuyênNgành Với mỗi Mônhọc có duy nhất một GiảngViên Với mỗi Tên, Mônhọc có duy nhất một Điểm Ký hiêu: {Tên} → {SốĐT, ChuyênNgành} {Mônhọc} → {GiảngViên} {Tên, Mônhọc} → {Điểm}
  • 6. Khoa HTTT - Đại học CNTT 6 1. Phụ thuộc hàm (4) Tên Mônhọc SốĐT ChuyênNgành GiảngViên Điểm Các phụ thuộc hàm kéo theo: {Tên} → {ChuyênNgành} {Mônhọc, Điểm} → {GiảngViên, Điểm}
  • 7. Khoa HTTT - Đại học CNTT 7 2. Hệ luật dẫn Amstrong (1) Gọi F là tập các phụ thuộc hàm Định nghĩa: X → Y được suy ra từ F, hay F suy ra X → Y, ký hiệu: F ╞ X → Y nếu bất kỳ bộ của quan hệ thỏa F thì cũng thỏa X → Y Hệ luật dẫn Amstrong: Với X, Y, Z, W U. Phụ thuộc hàm có các tính chất sau:⊆ F1) Tính phản xạ: Nếu Y X thì X → Y⊆ F2) Tính tăng trưởng: {X → Y} ╞ XZ → YZ F3) Tính bắc cầu: {X → Y, Y → Z} ╞ X → Z
  • 8. Khoa HTTT - Đại học CNTT 8 2. Hệ luật dẫn Amstrong (2) Từ hệ luật dẫn Amstrong ta suy ra một số tính chất sau: F4) Tính kết hợp: {X → Y, X → Z} ╞ X → YZ F5) Tính phân rã: {X → YZ, X → Y} ╞ X → Z F6) Tính tựa bắt cầu: {X → Y, YZ → W} ╞ XZ → W Ví dụ: F = {A → B, A → C, BC → D}, chứng minh A → D? 1)A → B 2)A → C 3)A → BC (tính kết hợp F4) 4)BC → D 5)A → D (tính bắc cầu F3)
  • 9. Khoa HTTT - Đại học CNTT 9 3. Bao đóng (1) Bao đóng của tập phụ thuộc hàm Bao đóng của tập phụ thuộc hàm F, ký hiệu F+ là tập tất cả các phụ thuộc hàm được suy ra từ F. Nếu F = F+ thì F là họ đầy đủ của các phụ thuộc hàm. Thuật toán tìm bao đóng của tập thuộc tính Bao đóng của tập thuộc tính X đối với tập phụ thuộc hàm F, ký hiệu là X+ Flà tập tất cả các thuộc tính A có thể suy dẫn từ X nhờ tập bao đóng của các phụ thuộc hàm F+ X+ F ={ A ∈ Q+ | X → A F∈ + }
  • 10. Khoa HTTT - Đại học CNTT 10 3. Bao đóng (2) Input: (Q,F),X ⊆ Q+ Output: X+ F Bước 1: Tính dãy X(0) , X(1) ,…, X(i) : - X(0) = X - X(i+1) = X(i) Z, (Y → Z )∪ ∃ ∈ F(Y ⊆ X(i) ), loại (Y → Z) ra khỏi F - Dừng khi X(i+1) = X(i) hoặc khi X(i) =Q+ Bước 2: Kết luận X+ F = X(i)
  • 11. Khoa HTTT - Đại học CNTT 11 3. Bao đóng (3) Ví dụ: Cho lược đồ quan hệ R(A, B, C, D, E, G, H) và tập phụ thuộc hàm F={ f1: B → A , f2: DA → CE, f3: D → H, f4: GH → C, f5: AC → D} Tìm AC+ F ?
  • 12. Khoa HTTT - Đại học CNTT 12 3. Bao đóng (4) Bước 1: X0 = AC Bước 2: Từ f1 đến f4 không thoả, f5 thoả nên X1 = AC D∪ = ACD Lặp lại bước 2: f1 không thoả, f2 thỏa nên X2=ACD CE∪ = ACDE f3 thỏa nên X3=ACDE H∪ =ACDEH f4 không thỏa, f5 đã thỏa Lặp lại bước 2: f2, f3 và f5 đã thỏa, f1 và f4 không thỏa. Nên X4=X3=ACDEH Vậy AC+ =ACDEH
  • 13. Khoa HTTT - Đại học CNTT 13 3. Bao đóng (5) Bài toán thành viên Cho tập thuộc tính Q, tập phụ thuộc hàm F trên Q và một phụ thuộc hàm X → Y trên Q. Câu hỏi đặt ra rằng X → Y ∈ F+ hay không? X → Y ∈ F+ ⇔ Y ⊆ X+ Ví dụ: Từ ví dụ tìm bao đóng của tập thuộc tính AC. Cho biết AC → E có thuộc F+ ? Ta có AC+ F=ACDEH Vì E ∈ AC+ F nên AC → E ∈ F+
  • 14. Khoa HTTT - Đại học CNTT 14 4. Phủ tối thiểu (1) Hai tập phụ thuộc hàm tương đương Hai tập phụ thuộc hàm F và G tương đương nếu F+ = G+ . Ký hiệu G ≡ F Phủ tối thiểu của một tập phụ thuộc hàm F được gọi là phủ tối thiểu của tập phụ thuộc hàm (hay tập phụ thuộc hàm tối thiểu) nếu thỏa: (i) F là tập phụ thuộc hàm có thuộc tính vế trái không dư thừa (ii) F là tập phụ thuộc hàm có vế phải một thuộc tính (iii) F là tập phụ thuộc hàm không dư thừa
  • 15. 4. Phủ tối thiểu (2) Phụ thuộc hàm có thuộc tính vế trái dư thừa Cho F là tập các phụ thuộc hàm trên lược đồ quan hệ Q. Khi đó Z → Y ∈ F là phụ thuộc hàm có thuộc tính vế trái dư thừa nếu tồn tại A∈ Z mà F = F – (Z → Y) ∪ ((Z - A) → Y) Ngược lại Z → Y là phụ thuộc hàm có thuộc tính vế trái không dư thừa hay Y phụ thuộc đầy đủ vào Z. Z → Y còn được gọi là phụ thuộc hàm đầy đủ. Phụ thuộc hàm có vế phải một thuộc tính Mỗi tập phụ thuộc hàm F đều tương đương với một tập phụ thuộc hàm G mà vế phải của các phụ thuộc hàm thuộc G chỉ gồm một thuộc tính Khoa HTTT - Đại học CNTT 15
  • 16. 4. Phủ tối thiểu (3) Phụ thuộc hàm không dư thừa F là tập phụ thuộc hàm không dư thừa nếu không tồn tại F’⊂ F sao cho F’ ≡ F. Ngược lại F được gọi là tập phụ thuộc hàm dư thừa. Thuật toán tìm phủ tối thiểu của tập phụ thuộc hàm Bước 1: Phân rã các phụ thuộc hàm có vế phải nhiều thuộc tính thành các phụ thuộc hàm có vế phải một thuộc tính Bước 2: Loại các thuộc tính có vế trái dư thừa của mọi phụ thuộc hàm (bỏ thuộc tính bên vế trái, khi và chỉ khi bao đóng của các thuộc tính còn lại có chứa thuộc tính đó) Bước 3: Loại các phụ thuộc hàm dư thừa khỏi F (Các thuộc tính ở vế phải của PTH chỉ xuất hiện duy nhất 1 lần thì không thể loại bỏ. Còn lại tính bao đóng của tập thuộc tính vế trái nếu có xuất hiện thuộc tính vế phải thì có thể loại bỏ thuộc tính đó và đó là PTH dư thừa) Khoa HTTT - Đại học CNTT 16
  • 17. 4. Phủ tối thiểu (4) Ví dụ: Cho lược đồ quan hệ Q(A,B,C,D) và tập phụ thuộc hàm F={AB → CD, B → C, C → D} Tìm phủ tối thiểu? Bước 1: Tách các phụ thuộc hàm sao cho vế phải chỉ còn một thuộc tính. + ta có F={AB → C, AB → D, B → C, C → D} Bước 2: Bỏ các thuộc tính dư thừa ở vế trái. + B → C, C → D Không xét vì vế trái chỉ có một thuộc tính. + xét AB → C : Nếu Bỏ A thì B+ =BCD không chứa A nên không thể Bỏ A. Nếu Bỏ B thì A+ =A. không bỏ được thuộc tính nào. + xét AB → D : Nếu Bỏ A thì B+ =BCD không chứa A nên không thể Bỏ A. Nếu Bỏ B thì A+ =A. không bỏ được thuộc tính nào. Bước 3: Loại khỏi F các phụ thuộc hàm dư thừa. + xét AB->C : Tính AB+=ABCD chứa C nên loại bỏ AB->C + xét AB->D : tính AB+=ABCD chứa D nên loại bỏ AB->D + B->C : tính B+=B không thể bỏ. + C->D : tính C+=C không thể bỏ. Phủ tối thiểu là {B->C, C->D} Khoa HTTT - Đại học CNTT 17
  • 18. 5. Khoá Định nghĩa Cho lược đồ quan hệ Q(A1, A2, …, An), Q+ là tập thuộc tính của quan hệ Q, F là tập phụ thuộc hàm trên Q, K là tập con của Q+ . Khi đó K gọi là một khóa của Q nếu: (i) K+ F = Q+ (ii) Không tồn tại K’ K sao cho K’⊂ + F = Q+ Thuộc tính A được gọi là thuộc tính khóa nếu A∈ K, trong đó K là khóa của Q. Ngược lại thuộc tính A được gọi là thuộc tính không khóa. K’ được gọi là siêu khóa nếu K ⊆ K’. Khoa HTTT - Đại học CNTT 18
  • 19. 5. Thuật toán tìm khoá (1) Sử dụng đồ thị có hướng để tìm khóa như sau: Bước 1: - Mỗi nút của đồ thị là tên một thuộc tính của lược đồ quan hệ R - Cung nối hai thuộc tính A và B thể hiện phụ thuộc hàm A → B - Thuộc tính chỉ có các mũi tên đi ra (nghĩa là chỉ nằm trong vế trái của phụ thuộc hàm) được gọi là nút gốc - Thuộc tính chỉ có các mũi tên đi tới (nghĩa là chỉ nằm trong vế phải của phụ thuộc hàm) được gọi là nút lá Bước 2: - Xuất phát từ tập các nút gốc (X), dựa trên tập các phụ thuộc hàm F, tìm bao đóng X+ F . - Nếu X+ F= Q+ thì X là khóa, ngược lại bổ sung một thuộc tính không thuộc nút lá vào X rồi thực hiện tìm bao đóng của X. Dừng khi tìm được một khóa của R. Khoa HTTT - Đại học CNTT 19
  • 20. 5. Thuật toán tìm khoá (2) Ví dụ: Cho lược đồ quan hệ R(A, B, C, D, E, G, H) và tập phụ thuộc hàm F={ B → A , DA → CE, D → H, GH → C, AC → D} Tìm một khóa của R? Phân rã vế phải ta có F ={ B → A , DA → C, DA → E, D → H, GH → C, AC → D} Khoa HTTT - Đại học CNTT 20
  • 21. 5. Thuật toán tìm khoá (3) Nhận thấy từ đồ thị trên, nút B và G là nút gốc. Khóa của R phải chứa thuộc tính B hoặc G, trong ví dụ này chọn B. B+ F = BA, Vì B+ F ≠ Q+ nên B không là khóa. Nhận thấy D là thuộc tính ở vế trái của ba phụ thuộc hàm trong F nên bổ sung thuộc tính D vào để xét khóa. BD+ F = BDACEH, vì BD+ F ≠ Q+ nên BD không là khóa. Bổ sung thuộc tính G. BDG+ F = BDGACEH, vì BDG+ F = Q+ nên BDG là khóa. Khoa HTTT - Đại học CNTT 21
  • 22. 6. Các dạng chuẩn (1) Dạng chuẩn 1 (1NF) Lược đồ Q ở dạng chuẩn 1 nếu mọi thuộc tính đều mang giá trị nguyên tố. Giá trị nguyên tố là giá trị không phân nhỏ được nữa. Các thuộc tính đa trị (multi-valued), thuộc tính đa hợp(composite) không là nguyên tố. Ví dụ: Thuộc tính ĐiaChỉ : Số 175 Đường 3/2 Phường 10 Quận 5 không là nguyên tố. ĐịaChỉ → (SốNhà, Đường, Phường, Quận) Khoa HTTT - Đại học CNTT 22
  • 23. 6. Các dạng chuẩn (2) Ví dụ: HOADON(MaHD, MaKH, NgayHD, CtietMua, SoTien) Khoa HTTT - Đại học CNTT 23 CtietMua không là nguyên tố nên không thỏa dạng chuẩn 1
  • 24. 6. Dạng chuẩn 2 (2NF) (1) Lược đồ Q ở dạng chuẩn 2 nếu thoả: (1) Q đạt dạng chuẩn 1 (2) Mọi thuộc tính không khóa của Q đều phụ thuộc đầy đủ vào khóa. Kiểm tra dạng chuẩn 2 Bước 1: Tìm mọi khóa của Q Bước 2: Với mỗi khóa K, tìm bao đóng của tập tất cả các tập con thực sự Si của K Bước 3: Nếu tồn tại bao đóng Si + chứa thuộc tính không khóa thì Q không đạt dạng chuẩn 2, ngược lại Q đạt dạng chuẩn 2. Khoa HTTT - Đại học CNTT 24
  • 25. 6. Dạng chuẩn 2 (2NF) (2) Ví dụ: Cho Q1 (A, B, C, D), F={A→B, B→DC} Lược đồ chỉ có một khóa là A, nên mọi thuộc tính đều phụ thuộc đầy đủ vào khóa. Do vậy Q1 đạt dạng chuẩn 2. Ví dụ: Cho Q2 (A, B, C, D), F={AB → D, C → D} Lược đồ có khóa là ABC, ngoài ra còn có C ABC mà⊂ C → D, trong đó D là thuộc tính không khóa (nghĩa là thuộc tính D không phụ thuộc đầy đủ vào khóa). Do vậy Q2 không đạt dạng chuẩn 2. Khoa HTTT - Đại học CNTT 25
  • 26. 6. Dạng chuẩn 3 (3NF) (1) Lược đồ Q ở dạng chuẩn 3 nếu mọi phụ thuộc hàm X → A ∈ F+ , với A X đều có:∉ (1) X là siêu khóa, hoặc (2) A là thuộc tính khóa Hay mọi thuộc tính không khóa của Q không phụ thuộc bắc cầu vào khóa chính của Q Kiểm tra dạng chuẩn 3 Bước 1: Tìm mọi khóa của Q Bước 2: Phân rã vế phải của mọi phụ thuộc hàm trong F để tập F trở thành tập phụ thuộc hàm có vế phải một thuộc tính Bước 3: Nếu mọi phụ thuộc hàm X → A ∈ F, mà A X đều thỏa∉ (1) X là siêu khóa (vế trái chứa một khóa), hoặc (2) A là thuộc tính khóa (vế phải là tập con của khóa) thì Q đạt dạng chuẩn 3, ngược lại Q không đạt dạng chuẩn 3. Khoa HTTT - Đại học CNTT 26
  • 27. 6. Dạng chuẩn 3 (3NF) (2) Ví dụ: Cho Q (A, B, C, D), F={AB → D, C → D} Bước 1: Q có một khóa là ABC Bước 2: Mọi phụ thuộc hàm trong F đều đã có vế phải một thuộc tính. Bước 3: Với AB → D, nhận thấy rằng D AB có∉ • Vế trái (AB) không phải là siêu khóa. • Hơn nữa vế phải (D) không là thuộc tính khóa Vậy Q không đạt dạng chuẩn 3. Khoa HTTT - Đại học CNTT 27
  • 28. 6. Dạng chuẩn Boyce Codd (BCNF) (1) Lược đồ Q ở dạng chuẩn BC nếu mọi phụ thuộc hàm X → A ∈ F+ , với A X đều có X là siêu khóa.∉ Nhắc lại: Siêu khóa : là một tập con các thuộc tính của Q+ mà giá trị của chúng có thể phân biệt 2 bộ khác nhau trong cùng một thể hiện TQ bất kỳ. Nghĩa là: ∀ t1, t2 ∈ TQ, t1[K] ≠ t2[K] ⇔ K là siêu khóa của Q. Khoa HTTT - Đại học CNTT 28
  • 29. 6. Dạng chuẩn Boyce Codd (BCNF) (2) Kiểm tra dạng chuẩn BCNF Bước 1: Tìm mọi khóa của Q Bước 2: Phân rã vế phải của mọi phụ thuộc hàm trong F để tập F trở thành tập phụ thuộc hàm có vế phải một thuộc tính Bước 3: Nếu mọi phụ thuộc hàm X → A ∈ F, mà A ∉ X đều thỏa X là siêu khóa (vế trái chứa một khóa), thì Q đạt dạng chuẩn BC, ngược lại Q không đạt dạng chuẩn BC. Khoa HTTT - Đại học CNTT 29
  • 30. 6. Dạng chuẩn Boyce Codd (BCNF) (3) Ví dụ: Cho Q (A, B, C, D, E, I), F={ACD → EBI, CE → AD} Bước 1: Q có hai khóa là {ACD, CE} Bước 2: Phân rã vế phải của các phụ thuộc hàm trong F, ta có: F={ACD → E, ACD → B, ACD → I, CE → A, CE → D} Bước 3: Mọi phụ thuộc hàm trong F đều có vế trái là một siêu khóa Vậy Q đạt dạng chuẩn BC. Khoa HTTT - Đại học CNTT 30