Bài giảng hệ cơ sở dữ liệu chương 4 ts lê thị tú kiên

CHƢƠNG Các ngôn ngữ thao tác quan hệ Tiến sĩ: Lê Thị Tú Kiên Mục tiêu  Biểu diễn câu hỏi (truy vấn) CSDL quan hệ dạng   Biểu thức ngôn ngữ đại số quan hệ  Biểu thức ngôn ngữ tân từ biến biến miền  Câu lệnh truy vấn ngôn ngữ SQL Nhận biết tương đương hai ngơn ngữ hình thức đại số quan hệ ngơn ngữ tân từ  Hai ngơn ngữ hình thức sở ngôn ngữ SQL Dept of IS - FIT - HNUE Ngôn ngữ đại số quan hệ Dept of IS - FIT - HNUE Giới thiệu  Là hai ngơn ngữ hình thức mơ hình liệu quan hệ  Là ngơn ngữ có tính thủ tục  Mỗi câu hỏi biểu diễn thơng qua việc áp dụng có thứ tự tập phép toán  Các phép toán  Tập hợp: phép hợp, phép giao, phép hiệu phép tích đề  Quan hệ: phép toán quan hệ phép chọn, phép chiếu, Dept of IS - FIT - HNUE phép kết nối, phép chia Hai quan hệ khả hợp  Hai quan hệ khả hợp chúng xác định tập thuộc tính r2 r1 STT Ho Ten GioiTinh STT Ho Ten GioiTinh Trần A Nam Trần D Nữ Trần B Nam Trần E Nữ Trần C Nam Dept of IS - FIT - HNUE Phép hợp  r1 r2 r1  r2 = { t | t r1 t r2} STT Ho Ten GioiTinh Trần A Nam Trần B Trần C STT Ho Ten r1  r2 STT Ho Ten GioiTinh Nam Trần A Nam Nam Trần B Nam Trần C Nam Trần D Nữ E Nữ GioiTinh Trần D Nữ Trần E Trần Nữ Dept of IS - FIT - HNUE Phép giao  r1 r1  r2 = { t | t r1 t r2} Ho Ten GioiTinh Trần E Trần Trần Ho Ten GioiTinh Nữ Trần B Nam B Nam Trần E Nữ C Nam Trần C Nữ r1  r2 r2 Ho Ten GioiTinh Trần B Nam Trần Dept - HNUE E of IS - FITNữ Phép hiệu  r1 r1 - r2 = { t | t r1 t r2} Ho Ten GioiTinh Trần E Trần Trần Ho Ten GioiTinh Nữ Trần B Nam B Nam Trần E Nữ C Nam Trần C Nữ r2 r2 – r1 r1 - r2 Ho Ten Trần C GioiTinh Ho NamDept of IS - FIT Trần - HNUE Ten GioiTinh C Nữ Phép tích đề  Bộ ghép nối r1 xác định U1 r2 xác định U2 t1= (a1, a2, , an)  r1 t2 = (b1, b2, …, bm)  r2  (t1,t2) = (a1, a2, , an, b1, b2, …, bm) Ví dụ: U1= {Ho, Ten, GioiTinh}, U2 = {SBD, DiaChi} r1/U1 r2/U2 t1 = (Trần, A, Nam) t2 = (SF001, Hà nội) Dept of IS - FIT - HNUE  (t1, t2) = (Trần, A, Nam, SF001, Hà nội) Phép tích đề  Định nghĩa phép tích đề r1 x r2 = {t= (a1, a2, , an, b1, b2, …, bm) | (a1, a2, , an)  r1 (b1, b2, …, bm)  r2 } Dept of IS - FIT - HNUE