Đại số quan hệ được dùng để giải thích các truy vấn SQL được đánh giá như thế nào. DBMS thường dùng đại số quan hệ như ngôn ngữ trung gian bậc cao dùng để dịch query trước khi tối ưu hóa thực thi. | Chương 6 Phép tính quan hệ Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM Nội dung chi tiết Giới thiệu Phép tính quan hệ trên bộ Phép tính quan hệ trên miền Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM Giới thiệu Maths Algebra Logic Relational Algebra Relational Calculus 1970 1972 ACM Turing Award 1981 Codd Database Geometry ??? ??? Award Other fields 2??? 2??? YOU Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM Giới thiệu (tt) Là ngôn ngữ truy vấn hình thức Do Codd đề nghị vào năm 1972, “Data Base Systems”, Prentice Hall, p33-98 Đặc điểm Phi thủ tục Dựa vào lý thuyết logic Rút trích cái gì (what) rút trích như thế nào (how) Khả năng diễn đạt tương đương với ĐSQH Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM Giới thiệu (tt) Có 2 loại Phép tính quan hệ trên bộ (Tuple Rational Calculus) SQL Phép tính quan hệ trên miền (Domain Rational Calculus) QBE (Query By Example) Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM Nội dung chi tiết Giới thiệu Phép tính quan hệ trên bộ Phép tính quan hệ trên miền Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM Phép tính quan hệ trên bộ Biểu thức phép tính quan hệ trên bộ có dạng t là biến bộ Biến nhận giá trị là một bộ của quan hệ trong CSDL là giá trị của bộ t tại thuộc tính A P là công thức có liên quan đến t P(t) có giá trị ĐÚNG hoặc SAI phụ thuộc vào t Kết quả trả về là tập các bộ t sao cho P(t) đúng { | P(t) } Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM Ví dụ 1 Tìm các nhân viên có lương trên 30000 t NHANVIEN đúng Nếu t là một thể hiện của quan hệ NHANVIEN > 30000 đúng Nếu thuộc tính LUONG của t có giá trị trên 30000 { t | t NHANVIEN > 30000 } P(t) P(t) Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM Ví dụ 2 Cho biết mã và tên nhân viên có lương trên 30000 Tìm những bộ t thuộc NHANVIEN có thuộc tính lương lớn hơn 30000 Lấy ra các giá trị tại thuộc tính MANV và TENNV Tập các MANV và TENNV của những bộ t sao cho t là một thể hiện của NHANVIEN và t có giá trị lớn hơn 30000 | Chương 6 Phép tính quan hệ Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM Nội dung chi tiết Giới thiệu Phép tính quan hệ trên bộ Phép tính quan hệ trên miền Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM Giới thiệu Maths Algebra Logic Relational Algebra Relational Calculus 1970 1972 ACM Turing Award 1981 Codd Database Geometry ??? ??? Award Other fields 2??? 2??? YOU Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM Giới thiệu (tt) Là ngôn ngữ truy vấn hình thức Do Codd đề nghị vào năm 1972, “Data Base Systems”, Prentice Hall, p33-98 Đặc điểm Phi thủ tục Dựa vào lý thuyết logic Rút trích cái gì (what) rút trích như thế nào (how) Khả năng diễn đạt tương đương với ĐSQH Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM Giới thiệu (tt) Có 2 loại Phép tính quan hệ trên bộ (Tuple Rational Calculus) SQL Phép tính quan hệ trên miền (Domain Rational Calculus) QBE (Query By Example) Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM Nội dung chi tiết Giới thiệu Phép tính quan hệ trên .