Bài giảng Cơ sở dữ liệu - Chương 6: Phép tính quan hệ

Chương 6<br /> Phép tính quan hệ<br /> <br /> Nội dung chi tiết<br />  Giới thiệu<br />  Phép tính quan hệ trên bộ<br /> - Tuple Relational Calculus (TRC)<br /> <br />  Phép tính quan hệ trên miền<br /> - Domain Relational Calculus (DRC)<br /> <br /> Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM<br /> <br /> 2<br /> <br /> Giới thiệu (tt)<br />  Là ngôn ngữ truy vấn hình thức<br />  Do Codd đề nghị vào năm 1972, “Data Base<br /> Systems”, Prentice Hall, p33-98<br />  Đặc điểm<br /> -<br /> <br /> Phi thủ tục<br /> Dựa vào lý thuyết logic<br /> Rút trích cái gì (what)  rút trích như thế nào (how)<br /> Khả năng diễn đạt tương đương với ĐSQH<br /> <br /> Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM<br /> <br /> 4<br /> <br /> Giới thiệu (tt)<br />  Có 2 loại<br /> - Phép tính quan hệ trên bộ<br /> •<br /> <br /> SQL<br /> <br /> - Phép tính quan hệ trên miền<br /> •<br /> •<br /> <br /> QBE (Query By Example)<br /> DataLog (Database Logic)<br /> <br /> Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM<br /> <br /> 5<br /> <br /> Nội dung chi tiết<br />  Giới thiệu<br />  Phép tính quan hệ trên bộ<br />  Phép tính quan hệ trên miền<br /> <br /> Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM<br /> <br /> 6<br /> <br />