chuong-5-dai-so-quan-he

Chương Mơ hình lịêu quan hệ Nội dung  Đại số quan hệ •5 •3   phép toán phép toán suy dẫn Các loại phép kết Các quy tắc DBMS Ngôn ngữ quan hệ  Ngôn ngữ phi thủ tục (non-procedural language) cho phép người dùng (what) họ muốn mà không cần cách thực (how) để kết • SQL ngôn ngữ phi thủ tục  Đại số quan hệ ngôn ngữ thủ tục mức cao (high-level procedure language) cho phép DBMS tạo quan hệ Đại số quan hệ (Relational Algebra)    Đại số quan hệ ngôn ngữ tập hợp (set language) bao gồm toán tử (operator) thao tác hay nhiều quan hệ để tạo quan hệ khác mà không làm thay đổi quan hệ ban đầu Các toán hạng kết quan hệ Kết phép tốn trở thành toán hạng cho phép toán khác  tính bao đóng (closure) Đại số quan hệ SQL Query thực chất biểu thức chứa toán tử đại số quan hệ Kết query quan hệ Nhưng SQL ngôn ngữ phi thủ tục ( không xác định thủ tục dùng để xử lý truy vấn), đại số quan hệ theo hướng thủ tục Mối liên hệ SQL đại số quan hệ??  Đại số quan hệ SQL   Lập trình viên dùng SQL để xác định query họ DBMS kiểm tra cú pháp (parse) query, dịch thành biểu thức đại số quan hệ, đơn giản hiệu giải thuật Query optimizer biến đổi biểu thức đại số thành biểu thức tương đương tốn thời gian thực thi  tạo execution plan Code generator chuyển đổi thành mã để thực thi SQL query Parser Relational Relational algebra algebra Expression Expression Query Optimizer Query Query Execution Execution Plan Plan Code generator Executable Executable Code Code phép toán      Phép Phép Phép Phép Phép chọn (selection) chiếu (projection) tích Descartes (Cartesian product) hợp (union) hiệu (difference) phép tốn suy dẫn (Derived operator)   Có thể biểu diễn biểu thức phép tốn phép tốn suy dẫn: • Intersection • Division • Join phép toán   Các phép toán thực cho quan hệ r lược đồ quan hệ R điều kiện F Điều kiện F biểu thức luận lý có giá trị true/false, bao gồm: • Các tốn hạng tên thuộc tính • Các phép tốn so sánh =, ≠, , ≥ • Các phép tốn luận lý not (¬), and (∧), or (∨) 10