Bài giảng cơ sở dữ liệu ths nguyễn thị kim phụng

ĐẠI HỌC CÔNG NGHỆ THÔNG TIN Cơ sở liệu Giảng viên: ThS Nguyễn Thị Kim Phụng Email: phungntk@uit.edu.vn Nội dung Đại số quan hệ Ngôn ngữ truy vấn SQL 3.Ràng buộc toàn vẹn Đại số quan hệ ĐẠI SỐ QUAN HỆ  Là mô hình tốn học dựa lý thuyết tập hợp  Đối tượng xử lý quan hệ sở liệu quan hệ  Cho phép sử dụng phép tốn rút trích liệu từ quan hệ  Tối ưu hóa q trình rút trích liệu  Gồm có:  Các phép tốn đại số quan hệ  Biểu thức đại số quan hệ ĐSQH - Các phép tốn ĐSQH, biểu thức ĐSQH • Có năm phép tốn bản: – – – – – σ Chọn ( ) Chọn dòng (bộ) quan hệ thỏa điều kiện chọn Chiếu ( ) Chọn số cột Tích Descartes ( ) Kết hai quan hệ lại với Trừ ( ) Chứa quan hệ không nằm quan hệ Hội ( ∪ ) Chứa quan hệ quan hệ ì ã Cỏc phộp toỏn khỏc: Giao ( ∩ ), kết ( ), chia ( / hay ÷ ), đổi tên ( ): phép tốn khơng (được suy từ phép tốn trên, trừ phép đổi tên) • Biểu thức đại số quan hệ: – – – Là biểu thức gồm phép toán ĐSQH Biểu thức ĐSQH xem quan hệ (khơng có tên) Kết thực phép toán quan hệ, kết hợp phép tốn để tạo nên quan hệ mới! ĐSQH - Phép chọn σ Câu hỏi 1: Cho biết nhân viên nam ?  Biểu diễn cách : Cú pháp : σ(NhanVien) Câu hỏi 1: σ(Quan hệ) (Điều kiện ∧ điều kiện ∧ ….) Phai=‘Nam’  Ngoài ra, biểu diễn cách 2: Cú pháp : (Quan hệ: điều kiện chọn) Câu hỏi 1: (NhanVien: Phai=‘Nam’) Kết phép chọn NHANVIEN NHANVIEN MANV HOTEN NTNS PHAI NV001 Nguyễn Tấn Đạt 10/12/1970 Nam MANV NV002 Trần Đông Anh 01/08/1981 Nữ NV001 10/12/1970 Nam NV003 Lý Phước Mẫn 02/04/1969 Nam Nguyễn Tấn Đạt NV003 Lý Phước Mẫn 02/04/1969 Nam HOTEN NTNS PHAI ĐSQH - Phép chọn σ Câu hỏi 2: Cho biết nhân viên nam sinh sau năm 1975 ?  Biểu diễn cách : σ(NhanVien) Câu hỏi 2: (Phai=‘Nam’ ∧ Year(NTNS)>1975)  Biểu diễn cách 2: Câu hỏi 2: (NhanVien: Phai=‘Nam’ ∧ Year(NTNS)>1975) Kết phép chọn NHANVIEN MANV HOTEN NTNS PHAI NV001 Nguyễn Tấn Đạt 10/12/1970 Nam NV002 Trần Đông Anh 01/08/1981 Nữ NV003 Lý Phước Mẫn 02/04/1969 Nam NHANVIEN MANV HOTEN NTNS (khơng có thỏa) PHAI ĐSQH - Phép chiếu π Câu hỏi 3: Cho biết họ tên nhân viên giới tính ?  Biểu diễn cách : π Câu hỏi : Cú pháp : π (Quan hệ) Cột1, cột2, cột 3, … (NhanVien) HOTEN, PHAI  Ngồi ra, biểu diễn cách 2: Quan hệ [cột1,cột2,cột3,…] Cú pháp : Câu hỏi 3: NhanVien [HoTen, Phai] NHANVIEN NHANVIEN MANV HOTEN NTNS PHAI NV001 Nguyễn Tấn Đạt 10/12/1970 Nam NV002 Trần Đông Anh 01/08/1981 Nữ NV003 Lý Phước Mẫn 02/04/1969 Nam Kết phép chiếu HOTEN PHAI Nguyễn Tấn Đạt Nam Trần Đông Anh Nữ Lý Phước Mẫn Nam ĐSQH - Phép chiếu π Câu hỏi 4: Cho biết họ tên ngày tháng năm sinh nhân viên nam?  Biểu diễn cách 1: Bước 1: Q Bước 2: π σ(NhanVien) (Phai=‘Nam’) (Q) Kết phép chọn (còn gọi biểu thức ĐSQH) đổi tên thành quan hệ Q HOTEN, NTNS  Biểu diễn cách 2: Câu hỏi 4: (NhanVien: Phai=‘Nam’) [HoTen, NTNS] NHANVIEN NHANVIEN MANV HOTEN NTNS PHAI NV001 Nguyễn Tấn Đạt 10/12/1970 Nam NV002 Trần Đông Anh 01/08/1981 Nữ NV003 Lý Phước Mẫn 02/04/1969 Nam Kết phép chiếu HOTEN NTNS Nguyễn Tấn Đạt 10/12/1970 Lý Phước Mẫn 02/04/1969 ĐSQH - Phép tích Descartes × Câu hỏi 5: Tính tích Descartes quan hệ nhân viên phịng ban Cú pháp : × Quan-hệ-1 Câu hỏi viết lại: NHANVIEN Quan-hệ-2 × HOTEN …Quan-hệ-k PHONGBAN NHANVIEN MANV × PHONGBAN NTNS PHAI PHONG NV001 Nguyễn Tấn Ðạt 10/12/1970 Nam NC NV002 Trần Ðông Anh 01/08/1981 Nữ DH NV003 Lý Phước Mẫn 02/04/1969 Nam NC MAPH TENPH TRPH NC Nghiên cứu NV001 DH Điều hành NV002 NHANVIEN X PHONGBAN PHONG MAPH Nam NC NC Nghiên cứu NV001 10/12/1970 Nam NC DH Điều hành NV002 Trần Đông Anh 01/08/1981 Nữ DH NC Nghiên cứu NV001 NV002 Trần Đông Anh 01/08/1981 Nữ DH DH Điều hành NV002 NV003 Lý Phước Mẫn 02/04/1969 Nam NC NC Nghiên cứu NV001 NV003 Lý Phước Mẫn 02/04/1969 Nam NC DH Điều hành NV002 MANV HOTEN NTNS NV001 Nguyễn Tấn Đạt 10/12/1970 NV001 Nguyễn Tấn Đạt NV002 PHAI TENPH TRPH Ràng buộc toàn vẹn RÀNG BUỘC TỒN VẸN • RBTV có bối cảnh quan hệ – Ràng buộc miền giá trị – Ràng buộc liên – Ràng buộc liên thuộc tính • RBTV có bối cảnh nhiều quan hệ – – – – Ràng buộc liên thuộc tính liên quan hệ Ràng buộc khóa ngoại (tham chiếu) Ràng buộc liên liên quan hệ Ràng buộc thuộc tính tổng hợp (Count, Sum) RBTV – CÁC ĐẶC TRƯNG Các đặc trưng của 1 RBTV: Nội dung : phát biểu bằng ngơn ngữ hình thức  (phép tính quan hệ, đại số quan hệ, mã giả,…) Bối cảnh: là những quan hệ có khả năng  làm cho RBTV bị vi phạm Tầm ảnh hưởng: là bảng 2 chiều, xác  định các thao tác ảnh hưởng (+) và thao  tác khơng ảnh hưởng (­) lên các quan hệ  nằm trong bối cảnh RBTV – BẢNG TẦM ẢNH HƯỞNG Bảng tầm ảnh hưởng RBTV có dạng sau: Quan hệ Thêm Xóa Sửa + + - (*) - - +(A) ……… Quan hệ n Ký hiệu +     : Có thể gây ra vi phạm RBTV Ký hiệu ­      : Khơng thể gây ra vi phạm RBTV Ký hiệu +(A) : Có thể gây ra vi phạm RBTV khi thao             tác trên thuộc tính A  Ký hiệu –(*)  : Khơng thể gây ra vi phạm RBTV do thao tác khơng            thực hiện được RBTV – TRÊN BỐI CẢNH LÀ QUAN HỆ 3.1 Ràng buộc tồn vẹn miền giá trị • Xét lược đồ quan hệ – NHANVIEN (MANV, HONV, TENLOT, TENNV, NGSINH, PHAI, DCHI, MA_NQL, PHONG, MLUONG) Câu hỏi 40: Phái nhân viên ‘Nam’ ‘Nữ’ – Nội dung: ∀ ∀n ∈ NHANVIEN: n.PHAI IN {‘Nam’,’Nữ’} – Bối cảnh: quan hệ NHANVIEN – Bảng tầm ảnh hưởng (TAH): Thêm Xóa Sửa NHANVIEN +(PHAI) - +(PHAI) RBTV – TRÊN BỐI CẢNH LÀ QUAN HỆ 3.2 Ràng buộc tồn vẹn liên thuộc tính: ràng buộc thuộc tính quan hệ Xét lược đồ quan hệ DEAN (MADA, TENDA, DDIEM_DA, PHONG, NGBD_DK, NGKT_DK) Câu hỏi 41: Với đề án, ngày bắt đầu dự kiến (NGBD_DK) phải nhỏ ngày kết thúc dự kiến (NGKT_DK) Nội dung: ∀d ∈ DEAN, d.NGBD_DK = g.NGAYGH – Bối cảnh: DATHANG, GIAOHANG – Bảng tầm ảnh hưởng: Thêm Xóa S ửa DATHANG - - + (ngaydh) GIAOHANG +(ngaygh) - + (ngaygh) RBTV – BỐI CẢNH NHIỀU QUAN HỆ 3.6 Ràng buộc toàn vẹn liên bộ, liên quan hệ • RBTV liên bộ, liên quan hệ điều kiện nhiều quan hệ khác • Xét lược đồ quan hệ – PHONGBAN (MAPH, TENPH, TRPH, NGNC) – DIADIEM_PHG (MAPH, DIADIEM) Câu hỏi 45: Mỗi phịng ban phải có địa điểm phịng - Nội dung • Mỗi phịng ban phải có địa điểm phịng ∀ ∀p ∈ PHONGBAN, ∃ d ∈ DIADIEM_PHG: p.MAPH = d.MAPH RBTV – BỐI CẢNH NHIỀU QUAN HỆ – Bối cảnh: PHONGBAN, DIADIEM_PHG – Bảng tầm ảnh hưởng: Thêm Xóa Sửa PHONGBAN + - - DIADIEM_PHG - + + (MAPH) 3.7 Ràng buộc tồn vẹn thuộc tính tổng hợp PXUAT(SOPHIEU, NGAY, TONGTRIGIA) CTIET_PX(SOPHIEU, MAHANG, SL, DG) Câu hỏi 46: Tổng trị giá phiếu xuất phải tổng trị giá chi tiết xuất RBTV – BỐI CẢNH NHIỀU QUAN HỆ Nội dung ∀ ∀px∈PXUAT, px.TONGTRIGIA = Σ (ct ∈ CTIET_PX ∧ct.SOPHIEU = px.SOPHIEU) (ct.SL*ct.DG) – Bối cảnh: PXUAT,CTIET_PX – Bảng tầm ảnh hưởng: Thêm Xóa S ửa PXUAT -(*) - + (tongtrigia) CTIET_PX +(sl,dg) + + (sl,dg) -(*) Ở thời điểm thêm vào PXUAT, giá trị TONGTRIGIA trống GIẢI BÀI TẬP ... dựa lý thuyết tập hợp  Đối tượng xử lý quan hệ sở liệu quan hệ  Cho phép sử dụng phép tốn rút trích liệu từ quan hệ  Tối ưu hóa q trình rút trích liệu  Gồm có:  Các phép tốn đại số quan hệ... nhân viên có tên ? ?Nguyễn Tường Linh”? Select MaNV, NTNS, Luong from NhanVien where HoTen = ? ?Nguyễn Tường Linh’ Câu hỏi 23: Sử dụng LIKE (%: thay chuỗi ký tự) Tìm nhân viên có họ Nguyễn Select MaNV,... NHANVIEN MANV HOTEN NTNS PHAI NV001 Nguyễn Tấn Đạt 10/12/1970 Nam NV002 Trần Đông Anh 01/08/1981 Nữ NV003 Lý Phước Mẫn 02/04/1969 Nam Kết phép chiếu HOTEN PHAI Nguyễn Tấn Đạt Nam Trần Đông Anh Nữ