Nhiệm vụ nguyên bản: Thiết kế nguyên tắc toàn vẹn cho ba bảng thư viện mẫu. Dữ liệu mẫu: DocGia(MaDG, Ten)=(1, An),(2, Binh); Sach(MaSach, Tua)=(11, Vuon cay),(12, Bau troi); Muon(MaMuon, MaDG, MaSach, SoNgay)=(101,1,11,7),(102,2,12,5),(103,1,12,3). Tất cả tên và giao dịch là giả định.
Quy trình: Xác định mã duy nhất → Nêu tham chiếu giữa bảng → Đặt điều kiện ngày không âm → Chọn quyền truy cập theo vai trò.
Mô hình hoàn chỉnh (dữ liệu mẫu, không phải báo cáo quan sát thật): Mỗi MaDG/MaSach/MaMuon độc nhất; Muon. MaDG phải có trong DocGia, Muon. MaSach có trong Sach; SoNgay>=0. Nhân viên cập nhật, người đọc chỉ xem phần được phép; không dùng dữ liệu cá nhân thật trong bài.