Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Ta thêm vào ma trận rút gọn các PTH các cột mới có nội dung là ghép các dữ liệu khoá. Trong ma trận có thể có các PTH phản xạ. Đích 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 | II.2.2.Ma trận rút gọn các PTH Ta thêm vào ma trận rút gọn các PTH các cột mới có nội dung là ghép các dữ liệu khoá. Trong ma trận có thể có các PTH phản xạ. Nguồn khoá Đích 1 10 11 25 11 7 1 11 7 1 CôngTrìnhSố 1 1 1 2 DiệnTích 1 3 ĐãTrảTrc 1 4 ĐChỉCTrình 1 5 ĐịaChỉKH 1 6 ĐTNPTrách 1 7 GĐoạnSố 1 1 8 GiáKiểu 1 9 GiấyPhépSố 1 10 KHSố 1 1 11 KiểuNhàSố 1 1 1 1 12 NgàyBĐDKiến 1 13 NgàyBĐTTế 1 14 NgàyCamKết 1 15 NgàyChìaKhoá 1 16 NgàyKTTTế 1 17 NgàyTrảTrc 1 18 SốPhòng 1 19 SốTàiKhoản 1 20 SốTiềnĐặtTrc 1 21 TênGĐoạn 1 22 TênKH 1 23 TênKiểu 1 24 TênNgânHàng 1 25 TênNPTrách 1 1 26 ThờiGian 1 135 II.2.3.Quy tắc hợp thức hoá mô hình ý niệm dữ liệu a Quy tắc thống nhất các thuộc tính Một thuộc tính chỉ có nghĩa đối với một thực thể hoặc một kết hợp duy nhất. Ma trận các PTH chỉ rõ quy tắc này. Vì rằng đối với các dữ liệu khoá sẽ có nhiều con 1 trên dòng tương ứng còn các dòng khác chỉ có duy nhất một con 1. b Quy tắc thống nhất các kết hợp Với mỗi trường hợp cụ thể của một kết hợp chỉ có thể tồn tại một và chỉ một trường hợp cụ thể của mỗi thực thể tham gia vào kết hợp này và ngược lại. Quy tắc này chỉ đặt ra đối với các kết hợp không phân cấp. Như đã thấy kết hợp không phân cấp Bao gồm gồm một tập hợp các thuộc tính nhận giá trị với mỗi công trình và mỗi giai đoạn. Quy tắc thống nhất các kết hợp cũng được kiểm chứng trong ma trận các PTH trong đó khoá của kết hợp không phân cấp được ghép từ các khoá của các thực thể tham gia vào kết hợp này CôngTrìnhSố KiểuNhàSố GĐoạnSố. Các cấu trúc kiểu BẢNG cho phép giải thích tường minh quy tắc này. c Quy tắc các thuộc tính và khoá của một thực thể Nếu một thuộc tính phụ thuộc vào nhiều khoá của nhiều thực thể thuộc tính này phải thuộc về một kết hợp giữa các thực thể này. Đó là trường hợp của kết hợp Bao gồm . Nếu một thuộc tính phụ thuộc vào khoá của thực thể chứa nó và đồng thời phụ thuộc vào một thuộc tính khác cũng trong thực thể này thì tồn tại một thực thể con bị bao hàm trong đó. Đó là trường hợp của các thực thể TênNPTrách và .
