DBI202 Chương 3 - Lý thuyết thiết kế và chuẩn hoá

Ứng với CLO3, buổi 9-18. Tương ứng Chương 3 của Ullman và Widom ấn bản 3. Phần phụ thuộc hàm định nghĩa khái niệm một tập thuộc tính xác định tập thuộc tính khác, cách phát hiện phụ thuộc hàm từ ngữ nghĩa nghiệp vụ, và các quy tắc suy diễn Armstrong gồm phản xạ, tăng trưởng và bắc cầu cùng các quy tắc dẫn xuất. Phần công cụ tính toán gồm bao đóng của một tập thuộc tính, cách dùng bao đóng để tìm khoá và siêu khoá, cùng phủ tối thiểu. Phần thiết kế lược đồ trình bày các bất thường khi cập nhật, thêm và xoá do lược đồ kém, rồi tới phép tách lược đồ với hai yêu cầu bảo toàn thông tin khi kết nối lại và bảo toàn tập phụ thuộc hàm. Phần dạng chuẩn đi lần lượt qua 1NF loại bỏ thuộc tính đa trị, 2NF loại bỏ phụ thuộc bộ phận vào khoá, 3NF loại bỏ phụ thuộc bắc cầu và BCNF chặt hơn 3NF, kèm thuật toán chuẩn hoá.