bài tập phụ thuộc hàm và dạng chuẩn
Cơ sở dữ liệu 1_Chương 4: Phụ thuộc hàm và dạng chuẩn ppsx
Ngày tải lên :
02/07/2014, 01:20
... quyết???
4
Phụ thuộc hàm
Định nghĩa phụ thuộc hàm
Các luật suy diễn cho phụ thuộc hàm (hệ luật
Armstrong)
Tập phụ thuộc hàm tương đương
Tập phụ thuộc hàm tối tiểu
7
Phụ thuộc hàm (3)
Lưu ... quyết???
Dạng chuẩn 4 (4NF)
28
Dạng chuẩn 2
Phụ thuộc hàm đầy đủ
Phụ thuộc hàm riêng phần
Dạng chuẩn 2 (2NF):
Lược đồ đã đạt 1NF.
Không tồn tại phụ thuộc hàm riêng phần vào khóa
Cách ... 061 Khôi 7.8
2
Chương 4: Phụ thuộc hàm và
dạng chuẩn
Định nghĩa phụ thuộc hàm.
Hệ tiên đề Armstrong
Bao đóng của tập phụ thuộc hàm
Giải thuật tìm khóa.
Các dạng chuẩn.
9
Hệ tiên đề Armstrong
Còn...
- 32
- 1.5K
- 3
BÀI TẬP PHỤ THUỘC HÀM – CHUẨN HÓA CSDL doc
Ngày tải lên :
04/07/2014, 22:20
... Q(A,B,C,D) và tập phụ thuộc hàm F =
{A→B;B→C;A→D;D→C}
Và một lược đồ CSDL như sau: C ={Q
1
(AB);Q
2
(AC);Q
3
(BD)}
a) C có bảo toàn thông tin đối với F
b) C có bảo toàn phụ thuộc hàm ?
4/ Kiểm tra dạng ... Q
4
(ABCDEGHIJ)
F
4
={BH→I;GC→A;I→J;AE→G;D→B;I→H}
16) Chứng minh rằng:
3
Xác định các phụ thuộc hàm và chuẩn hóa bảng thành 3NF
16) Cho một quan hệ R ={A, B, C, D, E, F, G, H, I, J} và tập phụ thuộc hàm
F = { A,B C
A D, E
B F
FG, H
D ... Administration
7
Bài tập
PHỤ THUỘC HÀM – CHUẨN HÓA CSDL
Bài tập 1
1/ Cho quan hệ sau:
r( A B C D E)
a
1
b
1
c
1
d
1
e
1
a
1
b
2
c
2
d
2
d
1
a
2
b
1
c
3
d
3
e
1
a
2
b
1
c
4
d
3
e
1
a
3
b
2
c
5
d
1
e
1
Phụ thuộc...
- 9
- 4.5K
- 53
Bài tập phụ thuộc hàm
Ngày tải lên :
16/08/2012, 09:16
... trong các bài toán chứng minh.
¾
Phụ thuộc hàm theo quan hệ và theo tiên đề, bao đóng của tập các thuộc tính và của tập
các phụ thuộc hàm.
B/ BÀI TẬP MẪU
Bài số 1:
Cho tập thuộc tính ... của tập phụ thuộc hàm F, nếu F
+
=F thì ta nói F là một tập đầy đủ
các phụ thuộc hàm, đôi khi ta còn nói F là tập đóng.
5. Định nghĩa suy dẫn theo quan hệ
Cho F là một tập các phụ thuộc hàm ... giống
nhau trên tập thuộc tính Y, nghĩa là
∀u,v ∈R
, nếu u.X=v.X thì u.Y=v.Y.
Nếu f=
XÆY là một phụ thuộc hàm trên U thì ta nói tập thuộc tính Y phụ thuộc hàm vào tập
thuộc tính X (Y functional...
- 8
- 7.2K
- 169
Bài tập phụ thuộc hàm
Ngày tải lên :
29/03/2014, 18:54
... từng phụ thuộc hàm của F và G như trên
–
2 tập phụ thuộc hàm này có tương đương:
Cách làm
•
Lưu ý: ta có thể tìm phụ thuộc hàm dư thừa
trước để giảm số lượng phụ thuộc hàm trong
bước tìm thuộc ... làm
•
Dạng 4
–
Kiểm tra 2 phụ thuộc hàm có tương đương
–
F và G tương đương khi và chỉ khi:
•
Mọi phụ thuộc hàm của F được suy ra từ G
•
Mọi phụ thuộc hàm của G được suy ra từ F
–
Kiểm tra từng phụ ... tập thuộc tính có phải là khóa không
3. Kiểm tra 2 tập phụ thuộc hàm có tương đương
4. Kiểm tra 1 phụ thuộc hàm có được suy diễn từ tập
phụ thuộc hàm cho trước
5. Tìm tất cả các khóa
6. Tìm phụ...
- 17
- 2.2K
- 9
bài giảng cơ sở dữ liệu chương 6: phụ thuộc hàm và chuấn hóa csdl - ths. nguyễn thị khiêm hòa
Ngày tải lên :
02/07/2014, 17:43
... một
thuộc tính
• Các phụ thuộc hàm trong G là phụ thuộc hàm đầy đủ.
Cho phụ thuộc hàm F định nghĩa trên lƣợc đồ quan hệ R.
Phủ tối thiểu của F là tập phụ thuộc hàm G nếu:
• Mọi tập phụ thuộc hàm ... hàng
PHÉP CHIẾU PHỤ THUỘC HÀM
• Input: Quan hệ R, tập phụ thuộc hàm S, quan hệ R
1
• Output: Tập phụ thuộc hàm trên R
1
• T =
• XR
1
, tính X
+
. Thêm vào T tất cả phụ thuộc hàm
không hiển ... A
n
) và F là tập phụ thuộc
hàm định nghĩa trên R
• Thuộc tính chia làm 3 loại:
• Tập gốc: chỉ xuất hiện trong vế trái của phụ thuộc hàm
hoặc không xuất hiện trong bất kỳ phụ thuộc hàm
• Tập...
- 74
- 766
- 0
Phụ thuộc hàm và chuẩn hóa cơ sở dữ liệu quan hệ
Ngày tải lên :
29/09/2013, 11:20
... ER
Mô hình quan hệ
Phụ thuộc hàm
Nguyên tắc thiết kế
Phụ thuộc hàm
Qui tắc suy diễn
Bao đóng
Phụ thuộc hàm
tương đương
Phụ thuộc hàm tối
thiểu
Các dạng chuẩn
Thiết kế CSDL
Bài giảng cơ sở dữ ... kế
Phụ thuộc hàm
Qui tắc suy diễn
Bao đóng
Phụ thuộc hàm
tương đương
Phụ thuộc hàm tối
thiểu
Các dạng chuẩn
Thiết kế CSDL
Bài giảng cơ sở dữ liệu - Nguyễn Hải Châu 37 / 54
■ Một phụ thuộc hàm ... ER
Mô hình quan hệ
Phụ thuộc hàm
Nguyên tắc thiết kế
Phụ thuộc hàm
Qui tắc suy diễn
Bao đóng
Phụ thuộc hàm
tương đương
Phụ thuộc hàm tối
thiểu
Các dạng chuẩn
Thiết kế CSDL
Bài giảng cơ sở dữ...
- 8
- 2.2K
- 33
Bài 12. Phủ Của Tập Phụ Thuộc Hàm
Ngày tải lên :
14/10/2013, 18:11
... là mọt phụ thuộc hàm có vế trái không
dư thừa hay Y phụ thuộc hàm đầy đủ vào Z hay phụ thuộc
hàm đầy đủ.
Chú ý: Phụ thuộc hàm có vế trái chứa một thuộc tính là
phụ thuộc hàm đầy đủ.
8
BÀI 12: ... TẬP PHỤ THUỘC HÀM
12.1: Định nghĩa tương đương
Định lý: Cho F là tập các phụ thuộc hàm trên U và f là một
phụ thuộc hàm trên U, khi đó 2 việc sau tương đương
(1)F├f
(2)F╞f
Tức là, phụ thuộc ... định
X→Y là thành viên của F.
5
12.3: Phụ thuộc hàm không dư thừa
12.3.1: Phụ thuộc hàm dư thừa
Cho F là tập các phụ thuộc hàm trêu U, f là một phụ thuộc
hàm của F tức là f ∈ F, f được gọi là...
- 31
- 649
- 11
chương 5 Phủ của tập phụ thuộc hàm
Ngày tải lên :
29/09/2013, 14:20
... AB → C là phụ thuộc hàm không đầy đủ
B → C là phụ thuộc hàm đầy đủ
Chú ý: phụ thuộc hàm có vế trái chứa một thuộc tính là phụ thuộc hàm đầy đủ.
Ví dụ 3: cho tập phụ thuộc hàm F = {A → BC,B ... là tập phụ thuộc hàm có vế phải một thuộc tính.
3 Tập phụ thuộc hàm không dư thừa
Nói rằng 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 là tập phụ thuộc ... G’
+
không chứa phụ thuộc hàm CD→E ⇒ F
không tương đương với G’
II PHỦ TỐI THIỂU CỦA MỘT TẬP PHỤ THUỘC HÀM (minimal cover)
1 Phụ thuộc hàm có vế trái dư thừa
F là tập các phụ thuộc hàm trên lược...
- 9
- 2.6K
- 46
Bài giảng Cơ sở dữ liệu - Bài 4: Phụ thuộc hàm
Ngày tải lên :
26/05/2014, 18:02
... KHÁI NIỆM
• Thuộc tính khoá và thuộc tính không khoá
• Chuẩn BC
• Chuẩn 3 và phụ thuộc bắc cầu
• Chuẩn 2 và phụ thuộc đầy đủ
13/08/2012 HVĐ – THQL 27
TẬP CÁC KHOÁ
• Một phụ thuộc hàm vế trái ...
E+=E
I+=I
PHỦ TỐI TIỂU
• Phụ thuộc hàm, như luật, đúng trong ngữ cảnh
nhất định. Với ngữ cảnh cho trước chúng ta có
tập phụ thuộc hàm
• Xác định phụ thuộc hàm để lưu riêng một cách
tuỳ ... định nhờ hệ tiên đề Armstrong
13/08/2012 15 HVĐ – THQL
PHỤ THUỘC HÀM
• Phụ thuộc hàm là một
loại ràng buộc toàn vẹn
• Phụ thuộc hàm là luật
– PTH X Y ngụ ý: biết
X sẽ xác định được Y...
- 54
- 1.1K
- 16
PHỤ THUỘC HÀM VÀ XÁC ĐỊNH KHÓA CỦA QUAN HỆ doc
Ngày tải lên :
27/06/2014, 14:20
... tính bao đóng
Cho X ⊂ U, ký hiệu X
+
={A⊂ U | X → A ∈ F+}
Thuật toán:
Vào: Tập thuộc tính X và tập phụ thuộc hàm F
Ra: Bao đóng X đối với F, closure(X,F)
Begin
Olddep = ∅
Newdep ... nếu K là một tập thuộc tính mà K
+
=R thì ta có thể bớt
các thuộc tính của K đề nhận được tập K bé nhất và đó chính là khóa của quan hệ.
Ví dụ: Cho R = { A, B, C, D, E, G } và
F= { AB → ... Z nên theo tính bắt cầu ta có :
WX → Z
Hệ tiên đề Amstrong là đúng và đủ.
Đúng: Cho R, F
Nếu X → Y là phụ thuộc hàm được suy từ F nhờ hệ tiên đề Amstrong
thì X → Y cũng đúng trên R.
...
- 4
- 480
- 1
