tailieunhanh - Chapter 6: Phép tính quan hệ trên bộ

Phép tính quan hệ: 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 | Chương 6 Phép tính quan hệ 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 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 | Chương 6 Phép tính quan hệ 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 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 tại thuộc tính LUONG { , | t NHANVIEN > 30000 } Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM Ví dụ 3 Cho biết các nhân viên (MANV) làm việc ở phòng ‘Nghien cuu’ Lấy ra những bộ t thuộc NHANVIEN So sánh t với một bộ s nào đó để tìm ra những nhân viên làm việc ở phòng .

• Cơ sở dữ liệu
• Phép tính quan hệ
• Phép tính quan hệ trên bộ
• Phép tính quan hệ trên miền
• ngôn ngữ truy vấn hình thức
• Công thức nguyên tố
• Cơ sở dữ liệu
• Bài giảng Cơ sở dữ liệu
• Phép tính quan hệ bộ
• TRC
• Phép tính quan hệ miền
• DRC
• đại số quan hệ
• truy vấn SQL
• Phép toán một ngôi
• Phép toán hai ngôi
• Bài toán quan hệ
• Ngôn ngữ phép tính quan hệ
• phép tính bộ
• phép tính miền
• biểu thức truy vấn
• Bài giảng môn Cơ sở dữ liệu
• Lý thuyết logic
• Bài giảng môn học Cơ sở dữ liệu
• Ngôn ngữ tân từ
• Toán ứng dụng
• Đại số sơ cấp
• Toán giải tích
• Toán cao cấp
• Phép toán đại số quan hệ
• Biểu thức đại số quan hệ
• Phép toán tập hợp
• Hàm tính toán
• Phép gom nhóm
• Bài giảng Cơ sở dữ liệu
• Cơ sở dữ liệu
• Đại số tuyến tính
• Giải tích cổ điển
• Tập hợp quan hệ
• Hệ phương trình tuyến tính
• Phép tính vi phân hàm một biến
• Phép tính tích phân hàm một biến
• Lược đồ quan hệ
• phép dịch chuyển lược đồ quan hệ
• quản lý cơ sở dữ liệu
• luận văn khoa học máy tính
• công nghệ thông tin
• thuật toán tìm khóa
• Hệ thống dẫn đường quán tính
• Hệ thống vệ tinh định vị của Mỹ
• Đơn vị đo lường quán tính
• Phép lọc Kalman mở rộng
• Cơ chế tính toán trong INS
• Bài giảng Đại số tuyến tính
• Tập hợp và ánh xạ
• Các phép toán trên tập hợp
• Quan hệ và ánh xạ
• Phép toán trên ma trận
• cây toán tử của truy vấn
• phép biến đổi tương đương
• đồ thị toán tử
• biểu thức chuẩn tắc
• đại số quan hệ định tính
• quan hệ tần số
• tính tần số lẫy mẫu
• tính ổn định của hệ rời rạc
• tính tổng chập tuyến tính
• xác định quan hệ ra vào
• tín hiệu rời rạc
• Lý thuyết cơ sở dữ liệu
• Kiểu dữ liệu
• Dữ liệu cơ bản
• Giáo trình cơ sở dữ liệu