chuong-6-phep-tinh-quan-he

Chương Phép tóan quan hệ Nội dung     Phép tính quan hệ Phép tính quan hệ (TRC) Phép tính quan hệ miền (DRC) Mối quan hệ đại số quan hệ phép tính quan hệ Mở đầu Đại số quan hệ dùng để giải thích truy vấn SQL đánh  DBMS thường dùng đại số quan hệ ngôn ngữ trung gian bậc cao dùng để dịch query trước tối ưu hóa thực thi  Xét mặt khái niệm, SQL lại dựa vào ngơn ngữ truy vấn quy hồn tồn khác (formal query language)  Relational calculus (phép tính quan hệ)  So sánh đại số quan hệ phép tính quan hệ    Đại số quan hệ (relational algebra) có tính thủ tục, gần với ngơn ngữ lập trình Phép tính quan hệ (relational calculus) khơng có tính thủ tục gần với ngơn ngữ tự nhiên Ví dụ: xét query sau “ liệt kê nhà cung cấp chuyên cung cấp phụ tùng số 2” So sánh đại số quan hệ phép tính quan hệ  Nếu theo đại số quan hệ: theo bước sau: Tạo mối kết nối tự nhiên quan hệ SUPPLIER SHIPMENT thuộc tính S#; Thu hẹp kết kết nối liên quan đến phụ tùng P2; Dùng phép chiếu (project) để kết cịn lại thuộc tính S# So sánh đại số quan hệ phép tính quan hệ  Nếu theo phép tính quan hệ thì: • Tìm mã nhà cung cấp S# sao cho tồn vận chuyển hàng SP có mã S# có mã phụ tùng P# P2  The calculus formation is descriptive while the algebraic one is prescriptive Phép tính quan hệ   Là phân nhánh logic vị từ (predicate logic) Được dùng CSDL dạng: • Phép tính quan hệ (Tuple relational calculus –TRC) • Phép tính quan hệ miền (Domain relational calculus – DRC) Phép tính quan hệ - TRC  Các query TRC có dạng: {T| Condition} Target   Target chứa biến (Tuple variable) T Ví dụ: tìm tất thơng tin mơn học dạy mùa thu 2007 { T | TEACHING(T) AND T.Semester = ‘F2007’} SELECT * FROM TEACHING WHERE T.Semester = ‘F2007’  SQL biến thể mặt cú pháp TRC Cú pháp condition Có thể dạng sau:  P(T): P tên quan hệ T biến P(T) dùng để kiểm tra T có thuộc P hay khơng  T(A) oper S(B) với oper tốn tử so sánh T S biến bộ, A B thuộc tính  T.A oper const Tương tự T so sánh với số  Các điều kiện gọi điều kiện nguyên tố ( atomic condition) Điều kiện phức (Complex condition)  Các điều kiện phức xây dựng cách đệ quy sau: • C điều kiện query điều kiện nguyên tố • Nếu C1 C2 điều kiện query C1 AND C2, C1 OR C2 NOT C1 điều kiện query • Nếu C điều kiện query, R tên quan hệ T biến T  R (C) T  R (C) điều kiện query 10