BỘ GIÁO DỰC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC TỔNG HỢP HÀ NỘI v ữ NGỌC LOÃN : * ’ 7.' t i4 u n V ■* • r J \ , ! - * • ' \ịJjẬỷS CẤC LỚP PHỤ THUỘC LƠGIC TƠNG QT TRONG MƠ HÌNH c SỞ D ữ LIỆỤ QUAN HỆ Chuyên ngành : Đảm bào toán học cho máy tính hệ thống tính tốn Mã số : 10110 LUẬN ẤN PHÓ TIẾN SỸ KHOA HỌC TOÁN LÝ Người hướng dẫn khoa học : PGS TS NGUYÊN XUÂN HUY HA NỘI 1995 37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.33.44.55.54.78.655.43.22.2.4.55.2237.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.66 MỤC LỤC Trang Lời mỏ* đầu C h n g C Á C Q U A N HỆ V À L Ớ P C Á C PH Ụ T H U Ộ C H À M 1.1 Q u an h ệ 12 1.1.1 C c k h i n iêm 1.1.2 Cơ sở 12 liệu quan hệ 1.1.3 C ác ph ép toán quan h ệ 1.2 P h ụ th u ộ c d ữ liệ u 20 1.2.2 L ợ c đ quan h ệ 21 1.3 C c phụ th u ộ c hàm 22 1.3.1 TÍnh ch ất lố p cá c phụ th u ộ c h àm 22 1.3.2 H ệ tiên đề A rm stro n g 23 1.3.3 B a o đ ổ n g củ a tập c c th u ộ c tín h 25 Các 30 C h o n g quan hệ Armstrong phủ L Ớ P C Á C PHỤ TH U Ộ C BO OLE II 15 19 1.2.1 C c đ ịn h n g h ĩa 1.4 14 DƯ Ơ NG TỔNG QUÁT C c đ ịn h n g h ĩa c bàn 11.2 C c s u y d ẫ n 34 35 tron g lứ p 37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.99 ph ụ thuộc Boole dương tồng quát n.2.1 Định lý tương đương 37 38 37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.33.44.55.54.78.655.43.22.2.4.55.2237.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.66 Trang n.2.2 Các suy dẫn 38 II.3 Một vài kết quà quan hệ Armstrong lớp phụ thuộc boole dương tổng quát 41 n.3.1 Sự tồn quan hệ Armstrong 42 n.3.2 Một vài trường hợp riêng 46 Chương LÔGIC ĐA TRỊ VÀ LỚP CÁC PHỤ THUỘC LÔGIC DƯƠNG ĐÁ TRỊ 55 m.l Các khái niệm lơgic đa trị 56 m.2 Một số tính chất logic đa trị 58 m.3 Các phụ thuộc lôgic đa trị mơ hình dử liệu quan hệ 66 III.4 Định lý tưcmg dưong 76 m.5 Suy dần lứp phụ thuộc lôgic đa trị 79 IĨI.5.1 Biểu diễn phụ thuộc dạng chuẩn tắc 80 III.5.2 Sự suy dẫn phụ thuộc dạng chuẩn tắc không chứa dấu phủ định Chương 4ị IV, 84 CẤC QUAN HỆ ARMSTRONG VÀ PHỦ Các quan hệ Armstrong lớp phụ thuộc lôgic dương đa trị 94 37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.99 IV, 1.1 Các khái niệm 94 37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.33.44.55.54.78.655.43.22.2.4.55.2237.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.66 37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.99