Cơ sở dữ liệu - bài 4

Khi đề xuất mô hình quan hệ đã đặt vấn đề về các phép toán giữa các quan hệ với nhau và đó được xem là bản gốc của đại số quan hệ...
Nội dung trích xuất từ tài liệu:
Cơ sở dữ liệu - bài 4 Cơ sở dữ liệu ThS. Lê Văn LợiBài 41./ Sơ lược về đại số quan hệTS. Codd, khi đề xuất mô hình quan h ệ đã đặt vấn đề về các phép toán giữa cácquan hệ với nhau và đó được xem là bản gốc của đại số quan hệ (RelationalAlgebra).■ Các phép toán cổ điển gồm: union (hợp), intersection (giao), difference (hiệu), và Cartesian product (tích Đề các).■ Các phép toán đặc biệt gồm: restrict (trích), project (chiếu), join (ghép), và divide (chia)Như vậy có tổng tất cả là 8 toán tử. Chú ý rằng các toán hạng của đại số quanhệ đều là các bảng. Product Restrict project a x a x b y a y c b x b y c x c y Union Intersection Difference Divide Join x x a y y za1 b1 b1 c1 a1 b1 c1 xa2 b2 b2 c2 a2 b2 c2 ya3 b3 b3 c3 a3 b3 c3 Hình 1: Tổng quan về các toán tử quan hệ Bai-4.doc *** Trang 1 Cơ sở dữ liệu ThS. Lê Văn Lợi■ Giải thích Hình 1: (trong phần này các quan hệ toán hạng được gọi là quan hệ gốc) Cho kết quả là một quan hệ gồm tất cả các tuple của quan hệ gốcRestrict thỏa mãn một điều kiện cho trước. Cho kết quả là một quan hệ gồm tất cả các bản ghi của quan hệProject gốc, nhưng loại trừ một số trường. Cho kết quả là một quan hệ gồm tất cả các trường và tất cả cácProduct bản ghi của các quan hệ gốc. Kết quả gồm tất cả các tổ hợp của hai quan hệ gốc. Cho kết quả là một quan hệ gồm tất cả các bản ghi nằm ở trongUnion hai quan hệ đó (các quan hệ gốc có cấu trúc giống nhau).Intersection Cho kết quả là một quan hệ mà các bản ghi phải thuộc vào cả hai quan hệ gốc. Cho kết quả là một quan hệ mà các bản ghi nằm trong quan hệDifference thứ nhất nhưng lại không nằm trong quan hệ thứ hai. Cho kết quả là một quan hệ. Chú ý rằng hai quan hệ gốc phải cóJoin một hoặc nhiều trường chung. Quan hệ kết quả gồm tất cả các trường riêng của các quan hệ gốc, cộng với các trường chung của chúng. Các bản ghi của quan hệ kết quả là các bản ghi có giá trị trong các trường chung giống nhau. Trong phép chia ta có quan hệ bị chia và quan hệ chia . Quan hệDivide bị chia phải có một hoặc nhiều trường phủ lên quan hệ chia. Quan hệ kết quả gồm các trường của quan hệ bị chia nhưng không chung với các trường của quan hệ chia. Các bản ghi của quan hệ kết quả là các bản ghi sao cho các giá trị các trường chung trong quan hệ bị chia xuất hiện một cách tương ứng ở tất cả các bản ghi của quan hệ chia (xem ví dụ trong Hình 1). Trong đại số quan hệ, người ta không thể thực hiện một phépChú ý: toán lên các quan hệ bất kỳ. Ví dụ, trong phép union, các quan hệ toán hạng phải có cấu trúc giống nhau cả về số lượng các trường, cả về miền giá trị của các trường đó và cả về tên của trường. Bai-4.doc *** Trang 2 Cơ sở dữ liệu ThS. Lê Văn Lợi■ Cú pháp hình thức của đại số quan hệ expressio ...