Bài giảng Cơ sở dữ liệu: Chương 6 - Phạm Thị Bạch Huệ

Mục tiêu của bài giảng "Cơ sở dữ liệu - Chương 6: Ngôn ngữ phép tính quan hệ" cung cấp cho người học các kiến thức: Giới thiệu, phép tính quan hệ có biến là bộ Tuple Relational Calculus – TRC, phép tính quan hệ có biến là miền Domain Relational Calculus - DRC | Bài giảng Cơ sở dữ liệu: Chương 6 - Phạm Thị Bạch Huệ Chöông 6 NGOÂN NGÖÕ PHEÙP TÍNH QUAN HEÄ 1 Giôùi thieäu z Laø ngoân ngöõ truy vaán hình thöùc do Codd ñeà nghò (1972,1973), ñöôïc Lacroit & Piroix (1977), Ullman (1982) phaùt trieån, caøi ñaët trong moät soá ngoân ngöõ nhö QBE, ALPHA, . z Ñaëïc ñieåm: – Phi thuû tuïc – Döïa treân logic – Khaû naêng dieãn ñaït töông ñöông vôùi ÑSQH 2 Giôùi thieäu z2 loaïi: – Ngoân ngöõ pheùp tính quan heä coù bieán laø boä (goïi taét laø pheùp tính boä) – Ngoân ngöõ pheùp tính quan heä coù bieán laø mieàn (goïi taét laø pheùp tính mieàn) 3 Noäi dung I. Giôùi thieäu II. Pheùp tính quan heä coù bieán laø boä Tuple Relational Calculus – TRC III. Pheùp tính quan heä coù bieán laø mieàn Domain Relational Calculus - DRC 4 Pheùp tính quan heä coù bieán laø boä (Tuple Relational Calculus) 5 Bieán boä vaø quan heä vuøng cuûa bieán boä z Bieán boä: bieán nhaän giaù trò laø moät boä cuûa quan heä trong CSDL z Vôùi moãi bieán boä t, quan heä R maø t bieán thieân treân ñoù ñöôïc goïi laø quan heä vuøng cuûa bieán boä vaø ñöôïc chæ ra bôûi kí phaùp R(t). 6 Bieåu thöùc truy vaán pheùp tính boä z Moät bieåu thöùc truy vaán pheùp tính boä ñôn giaûn coù daïng {t⏐P(t)} trong ñoù: t laø moät bieán boä P(t) laø 1 coâng thöùc theo t. P(t) ñònh trò ÑUÙNG hay SAI tuøy thuoäc vaøo giaù trò cuûa t 7 Ví duï z Tìm ngaøy sinh vaø ñòa chæ cuûa nhaân vieân coù teân laø "Dinh Ba Tien“ {, ⏐ NHANVIEN(t) and 'Dinh' and 'Ba' and 'Tien'} 8 Ví duï z Tìmtaát caû caùc nhaân vieân coù löông treân 30,000 {t⏐ NHANVIEN(t) and ;30000} Coâng

Không thể tạo bản xem trước, hãy bấm tải xuống
TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.