Can we use the universal instance assumption without using NULLS

Can we use the Universal Instance Assumption without using NULLS?. Marked NullTruong phong Phong Nguyen Van A NULL Tran Thi B NULL.

Can we use the Universal

Instance Assumption without

using NULLS?

GV: PGS TS Đ ng Th Bích Th y ồ ị ủ

Nhóm 1:

Đ Tu n Anh ỗ ấ

Tr n Qu c Huy ầ ố Nguy n Qu c B o ễ ố ả

Yehoshua Sagiv

N i dung ộ

•Universal instance

•Marked NULL

•Subsum

•Th hi n tiêu bi uể ệ ể

Universal Instance?

Universal Instance là m t th hi n c a ộ ể ệ ủ

quan h ph quát, là 1 quan h v i các ệ ổ ệ ớ

thu c tính là t p các thu c tính trong các ộ ậ ộ quan h conệ

Th hi n y u ể ệ ế

Là m t quan h u trên t t c các thu c ộ ệ ấ ả ộ tính sao cho t ng chi u c a u lên m i ổ ế ủ ỗ

lược đ quan h s ch a ít nh t nh ng ồ ệ ẽ ứ ấ ữ

b mà lộ ược đ quan h đó cóồ ệ

Là 1 th hi n c a quan h ph quátể ệ ủ ệ ổ

Th hi n tiêu bi u ể ệ ể

(Representative Instance)

Là m t th hi n c c ti u duy nh t T c là ộ ể ệ ự ể ấ ứ khi th c hi n phép t ng chi u trên m i ự ệ ổ ế ỗ

lược đ quan h thì s đúng b ng các b ồ ệ ẽ ằ ộ

mà quan h đó cóệ

Th hi n tiêu bi u cũng là 1 th hi n c a ể ệ ể ể ệ ủ quan h ph quátệ ổ

L ượ c đ đ c l p ồ ộ ậ

• Là lược đ mà v i m i t p ph thu c D ồ ớ ỗ ậ ụ ộ thì s có 1 th hi n y u tẽ ể ệ ế ương ng v i Dứ ớ

• Lược đ đ c l p thì s có th hi n tiêu ồ ộ ậ ẽ ể ệ

bi uể

Marked Null

Truong phong Phong

Nguyen Van A NULL

Tran Thi B NULL

p Null_1 Null_2

p Null_3 Null_4 Null_5 Null_3 m

Th hi n tiêu bi u ể ệ ể

Cho lược đồ CSDL(ABCD, CGDEF, DEFB, BCF) Giả sử ABCD có bộ (1112)

CGDEF có bộ (11111) DEFB có bộ (1111)

Th hi n tiêu bi u ể ệ ể

A B C D E F G

1 1 1 2 Null_1 Null_2 Null_3 Null_4 Null_5 1 1 1 1 1 Null_6 1 Null_7 1 1 1 Null_8

A B C D E F G

1 1 1 2 Null_1 1 Null_3

Tính toán phép chi u t ng c a ế ổ ủ

th hi n tiêu bi u ể ệ ể

• Gi s ngả ử ười dùng mu n truy v n trên 1 ố ấ

t p thu c tính X và ch quan tâm đ n ậ ộ ỉ ế

nh ng b không có giá tr NULL.ữ ộ ị

• Trong VD trước, phép chi u ACF s có ế ẽ

k t qu là {111}ế ả

• N u chi u trên t p thu c tính ABCDF ta ế ế ậ ộ

s có k t qu là {11121}.ẽ ế ả

Modified Foreign-key Constraint

Xét LĐCSDL {ABCDE, CDEF, AFE}

Gi s ta thêm vào ABCDE b (11111), ta ả ử ộ

ph i thêm vào CDEF 1 b có giá tr CDE là ả ộ ị 111

Khi đó n u ta k t ABCDE và CDEF ta s có ế ế ẽ

AF là 11 Nh v y trong AFE ph i có 1 b ư ậ ả ộ

Tính ch t ấ

• N u ràng bu c khóa ngo i có s a đ i ế ộ ạ ử ổ

được th a mãn và m i quan h ri th a ỏ ỗ ệ ỏ

mãn các ph thu c hàm c a nó thì ụ ộ ủ

– Ph n không ch a NULL c a các b trong th ầ ứ ủ ộ ể

hi n tiêu bi u s xu t hi n trong m t s các ệ ể ẽ ấ ệ ộ ố phép k t ế

– Th hi n tiêu bi u s th a mãn t t c các ể ệ ể ẽ ỏ ấ ả

ph thu c hàm ụ ộ

K t lu n ế ậ

Bài báo ch ra r ng n u không mu n s d ng giá ỉ ằ ế ố ử ụ

tr NULL thì ta ph i có thêm m t s ràng bu c ị ả ộ ố ộ

đ đ m b o tính b o toàn thông tin ể ả ả ả

Ràng bu c đ ộ ượ c đ ngh đây là ràng bu c khóa ề ị ở ộ ngo i có s a đ i ạ ử ổ

Ngoài ra, n u l ế ượ c đ quan h th a mãn đi u ồ ệ ỏ ề

ki n duy nh t thì ta không c n ph i thêm ràng ệ ấ ầ ả

Xin cám n cô và các b n ơ ạ

đã theo dõi