Cho lược đồ CSDL sau
BÀI TẬP CHƯƠNG 6 – RÀNG BUỘC TOÀN VẸN Bài 1. Cho lược đồ CSDL sau: KHOA (Mã-khoa, Tên-khoa), là một quan hệ 2 ngôi. Tân từ: "Mỗi khoa có một tên gọi và một mã số duy nhất để phân biệt với các khoa khác của trường". LOP-HOC (Mã-lớp, Tên-lớp, Niên-khóa, Số-học-viên, Mã-khoa) là quan hệ 5 ngôi Tân từ: "Mỗi lớp học trong trường có một mã số quy ước duy nhất để phân biệt với tất cả các lớp học khác trong trường; có một tên gọi của lớp học, một số lượng học viên theo học và thuộc một khoa của trường". MON-HOC (Mã-môn, Tên-môn, Số-đv-học-trình) là quan hệ 3 ngôi. Tân từ: "Mỗi môn học có một tên gọi cụ thể, được học trong một số đơn vị học trình nhất định và ứng với môn học là một mã số duy nhất để phân biệt với mọi môn học khác". HOC-VIEN (Mã-học-viên, Tên-học-viên, Ngày-sinh, Quê-quán, Mã-lớp) là quan hệ 5 ngôi. Tân từ: "Mỗi học viên có một họ và tên, ngày sinh, quê quán, ... và được cấp một mã số duy nhất để phân biệt với mọi học viên khác trong trường; học viên được ghi danh vào một lớp học duy nhất trong trường". Yêu cầu: Phát biểu các ràng buộc toàn vẹn sau: R1 : Mỗi lớp học phải có một mã số duy nhất để phân biệt với mọi lớp học khác trong trường. R2 : Mỗi lớp học phải thuộc một KHOA của trường. R3 : Mỗi học viên có một mã số riêng biệt, không trùng với bất cứ học viên nào khác. R4 : Mỗi học viên phải đăng ký vào một lớp của trường. R5 : Mỗi học viên được thi tối đa 3 lần cho mỗi môn học. R6 : Tổng số học viên của một lớp phải lớn hơn hoặc bằng số lượng đếm được của lớp tại một thời điểm. ______________________________________________________________________ Bài 2. Cho Lược đồ CSDL sau SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) NGANH(MANGANH, TENNGANH, SOCD, TSSV) CHUYENDE(MACD, TENCD, SOSVTD) Yêu cầu: Phát biểu các ràng buộc toàn vẹn sau: R1: Mỗi sinh viên phải có một phái duy nhất, phái có giá trị là Nam hoặc Nữ R2: Mỗi ngành học có tối đa có 5 chuyên đề đăng ký. R3: Mỗi sinh viên phải thuộc một ngành nào đó. R4: Tổng số sinh viên thực hiện đề tài không vượt quá 20 sinh viên Bài 3. Giả sử có một CSDL quản lý hóa đơn bán hàng gồm các bảng sau: HÓAĐƠN (Số-hóa-đơn, Số-chủng-loại-mặt-hàng, Tổng-trị-giá). DM_HÀNG (Mã-hàng, Tên-hàng, Đơn-vị-tính). CHITIẾT-HĐ (Số-hóa-đơn, Mã-hàng, Số-lượng-đặt, Đơn-giá, Trị-giá). Yêu cầu: Phát biểu các ràng buộc toàn vẹn sau: R1 : “Mỗi hóa đơn có một Số hóa đơn riêng biệt, không trùng với hóa đơn khác” R2 : “Số-chủng-loại-mặt-hàng = số bộ của CHITIẾT_HĐ có cùng Số-hóa-đơn” R3 : “Tổng các trị giá của các mặt hàng trong CHITIẾT_HĐ có cùng Số-hóa-đơn phải bằng Tổng-trị-giá ghi trong HÓAĐƠN” R4 : “Mỗi bộ của CHITIẾT_HĐ phải có mã hàng thuộc về danh mục hàng”: ------------HẾT------------