Nội dung của tài liệu bao gồm 4 chương, trình bày cụ thể như sau: Cơ sở dữ liệu quan hệ; Ngôn ngữ truy vấn dữ liệu; Lý thuyết thiết kế cơ sở dữ liệu; Bảo mật và toàn vẹn dữ liệu. Mời các bạn cùng tham khảo nội dung tài liệu phần 2 dưới đây. | 121 TÀI LIỆU HỌC TẬP CƠ SỞ DỮ LIỆU CHƯƠNG 3 LÝ THUYẾT THIẾT KẾ CƠ SỞ DỮ LIỆU Mục tiêu Chương này sẽ trình bày những khái niệm cơ bản nhất về lý thuyết cơ sở dữ liệu quan hệ do Codd đề xuất đó là các khái niệm về quan hệ về khóa của lược đồ quan hệ. Những khái niệm này có vai trò quan trọng trong việc thiết kế và cài đặt các hệ cơ sở dữ liệu quan hệ và các hệ quản trị cơ sở dữ liệu. Nội dung của chương bao gồm các phần Phụ thuộc hàm Bao đóng Phủ tối thiểu Khóa của lược đồ quan hệ Phép tách kết nối Các dạng chuẩn của lược đồ quan hệ Các phương pháp chuẩn hóa lược đồ quan hệ . Phụ thuộc hàm Định nghĩa phụ thuộc hàm Cho một quan hệ R xác định trên tập thuộc tính U kí hiệu là R U . X Y là các tập con của U ta nói rằng X xác định Y hay Y phụ thuộc hàm vào X kí hiệu X Y nếu trên quan hệ R ta có mọi bộ giá trị t1 t2 bất kỳ mà giá trị của tập thuộc tính X trên bộ t1 kí hiệu t1 X bằng giá trị của tập thuộc tính X trên bộ t2 kí hiệu là t2 X thì t1 Y t2 Y . Phụ thuộc hàm ký hiệu là FD. Cần chú ý rằng chỉ xét các phụ thuộc hàm thỏa mãn cho mọi quan hệ trên lược đồ tương ứng của nó. Không thể xem xét một phụ thuộc hàm thỏa mãn một quan hệ r đặc biệt ví dụ quan hệ rỗng của lược đồ R rồi sau đó qui nạp rằng phụ thuộc hàm đó là thỏa trên R. KHOA CNTT TRƯỜNG ĐẠI HỌC KINH TẾ KỸ THUẬT CÔNG NGHIỆP 122 TÀI LIỆU HỌC TẬP CƠ SỞ DỮ LIỆU S S STATUS CITY P P PNAME COLOR WEIGHT CITY SP S P QTY Trong quan hệ S của hàng cung ứng mỗi một trong số các thuộc tính SNAME STATUS CITY đều phụ thuộc hàm vào thuộc tính S . Mỗi giá trị S tồn tại vừa đúng một giá trị tương ứng đối với từng thuộc tính SNAME STATUS CITY. Khi đó có thể viết S SNAME S STATUS và S CITY. Phụ thuộc hàm đầy đủ và không đầy đủ Phụ thuộc hàm FD đầy đủ Một FD X Y là một phụ thuộc hàm đầy đủ nếu loại bỏ bất kỳ thuộc tính A nào ra khỏi X thì FD không còn đúng nữa Phụ thuộc hàm không đ ầy đủ FD bộ phận Một FD X Y là phụ thuộc hàm bộ phận nếu có thể bỏ đi 1 thuộc tính A X ra khỏi X mà FD vẫn còn đúng. Hệ tiên đề
