RBTV được kiểm tra khi các quan hệ có thay đổ

sds 3161 61

Khái niệm:

 Cho Cho

 R(U) là 1 lược đồ quan hệ, U ={A1,A2,…,An} là tập các thuộc tính và X,YU

Ta nói

 X xác định hàm Y (hay Y phụ thuộc hàm vào X) nếu với mọi quan hệ r xác định trên R(U) và với 2 bộ t1 và t2 bất kỳmà

t1[X]=t2[X] thìt1[Y] = t2[Y]

Nói cách khác thì thuộc tính Y của quan hệ R được gọi là phụ thuộc



hàm vào thuộc tính X của quan hệ R nếu với mỗi giá trị của X xác định duy nhất một giá trị của Y. X được gọi là xác định hàm của Y

Ký hi

 ệu: XY

 Ví dụ: Phụ thuộc hàm của thuộc tính HoTenSV và MaSV được biểu

diễn như sau: MaSV HoTenSV

62

Định nghĩa p

 hụ thuộc hàm trong 1 quan hệ Phụ thuộc hàm X

 X: phụ thuộc hàm hiển nhiên

Quy ước:



F: tập các phụ thuộc hàm được định nghĩa trên R(U) Trong tập F, chỉ cần mô tả các phụ thuộc hàm không hiển nhiên, các phụ thuộc hiển nhiên được ngầm hiểu đã có trong F Tập tất cả các phụ thuộc hàm trên một lược đồ quan hệ gọi là



sds 3263 63

 Xét lược đồ quan hệ

 Và thể hiện

Phim(Tênphim, Nămsx, Thờilượng, Loạiphim, Xưởngsx, Diễnviên)

Tênphim Nămsx Thờilượng Loạiphim Xưởngsx Diễnviên Star Wars 1977 124 color Fox Carrie Fisher Star Wars 1977 124 color Fox Mark Hamill Star Wars 1977 124 color Fox Harrison Ford Mighty Ducks 1991 104 color Disney Emilio Esteves Wayne’s World 1992 95 color Paramount Dana Carvey Wayne’s World 1992 95 color Paramount Mike Meyers

64

 Tìm được nhiều PTH

Tênphim Nămsx Thờilượng Loạiphim Xưởngsx Diễnviên

Star Wars 1977 124 color Fox Carrie Fisher Star Wars 1977 124 color Fox Mark Hamill Star Wars 1977 124 color Fox Harrison Ford Mighty Ducks 1991 104 color Disney Emilio Esteves Wayne’s World 1992 95 color Paramount Dana Carvey Wayne’s World 1992 95 color Paramount Mike Meyers

Tênphim, Nămsx Diễnviên Tênphim, Nămsx Thờilượng Tênphim, Nămsx Loại Tênphim, Nămsx Xưởngsx

sds 3365 65

 Xét thể hiện r1

Tênphim Nămsx Thờilượng Loạiphim Xưởngsx Diễnviên Star Wars 1977 124 color Fox Carrie Fisher Star Wars 1977 124 color Fox Mark Hamill Star Wars 1977 124 color Fox Harrison Ford Mighty Ducks 1991 104 color Disney Emilio Esteves Wayne’s World 1992 95 color Paramount Dana Carvey Wayne’s World 1992 95 color Paramount Mike Meyers

Tênphim Loại

66 Xét thể hiện r2  Xét thể hiện r2

Tênphim Nămsx Thờilượng Loạiphim Xưởngsx Diễnviên Star Wars 1977 124 color Fox Carrie Fisher Star Wars 1977 124 color Fox Mark Hamill Star Wars 1977 124 color Fox Harrison Ford

Mighty

Ducks 1991 104 color Disney Emilio Esteves Kingkong 1995 120 color Paramou

nt

Fay Wray Kingkong 1993 120 black/whi

te Paramount ArmstrongRobert

Tênphim Loại

PTH phải được định nghĩa trên lược đồ̀ quan hệ Thỏa với mọi thể hiện của quan hệ

sds 3467 67

Cho quan hệ R (A,B,C,D,E) sau: 

PTH nào sau đây thỏa R: 

AD, ABD, CBDE, EA, AE Giải: ABD, CBDE

A B C D E a1 b1 c1 d1 e1 a1 b2 c2 d2 d1 a2 b1 c3 d3 e1 a2 b1 c4 d3 e1 a3 b2 c5 d1 e1 68 Cho F

 là tập các PTH định nghĩa trên R

◦ Nếu có 1 PTH f khác cũng được thỏa với mọi thể hiện của R Th

sds 3569 69

Xét lược đồ R(A, B, C, G, H, I)

