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