Tài liệu Các lớp phụ thuộc lôgic tổng quát trong mô hình cơ sở dữ liệu quan hệ

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 : * ’ 17.' t i4 u n V . . ■* • r J \ ,. .. !. 1 . - 1 * • ' \ịJjẬỷS CẤC LỚP PHỤ THUỘC LÔGIC TÔNG QUÁT 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 và các hệ thống tính toá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 MỤC LỤC Trang Lời mỏ* đầu. C h ư ơ n g 1. 4 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 dữ liệu quan hệ. 1.1.3. C ác ph ép toán trê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 của 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 2. quan hệ Armstrong và phủ. L Ớ P C Á C PHỤ TH U Ộ C BO OLE II. 1. 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 các ph ụ 34 35 tron g lứ p thuộc Boole dương tồng quát. n.2.1. Định lý tương đương. 1 37 38 Trang n.2.2. Các suy dẫn. 38 II.3. Một vài kết quà về quan hệ Armstrong trong lớp các phụ thuộc boole dương tổng quát. 41 n.3.1. Sự tồn tại của các quan hệ Armstrong. 42 n.3.2. Một vài trường hợp riêng. 46 Chương 3. 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 về lôgic đa trị. 56 m.2. Một số tính chất của logic đa trị. 58 m.3. Các phụ thuộc lôgic đa trị trong mô hình dử liệu quan hệ. 66 III.4. Định lý tưcmg dưong. 76 m.5. Suy dần trong lứp các phụ thuộc lôgic đa trị . 79 IĨI.5.1. Biểu diễn các phụ thuộc trong dạng chuẩn tắc. 80 III.5.2. Sự suy dẫn đối với các 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Ủ 1. Các quan hệ Armstrong trong lớp các phụ thuộc lôgic dương đa trị. IV, 1.1 Các khái niệm . 94 94 2 Trang IV. 1.2. Sự tồn tại cùa các quan hệ Armstrong. IV.2. Phủ trong lớp các phụ thuộc lôgic dương đa trị. 98 107 IV.2.1. Đặt vấn đề. 107 IV.2.2. Các khái niệm và các kết qủa về m-phủ. 107 IV.2.3. Mối liên hẹ giữa các phủ và các m-phù. 110 Lời kết luận. 115 Tài liệu tham khào 1i 9 3