Đại Số Quan Hệ Và Các Phép Toán Logic

Có thể bạn quan tâm

Chúng ta bắt đầu bằng việc làm rõ một vài điểm quan trọng trong các truy vấn quan hệ. Đầu vào và đầu ra của truy vấn đều là các quan hệ. Kết quả của truy vấn phụ thuộc vào các minh hoạ dữ liệu của mỗi quan hệ đầu vào. Trong phần 3.4, chúng ta sử dụng tên các trường để tham chiếu tới các trường bởi vì chú thích này làm cho các truy vấn dễ đọc hơn. Cách lựa chọn khác là ta dùng thứ tự các trường để tham chiếu tới quan hệ thay vì việc sử dụng tên trường.

Trong định nghĩa đại số và các phép toán logic quan hệ, lựa chọn tham chiếu tới các trường bằng vị trí thông dụng hơn bằng tên của trường: Các truy vấn thường dựa trên những tính toán của các kết quả trung gian, và nếu chúng ta sử dụng tên các trường để tham chiếu tới các trường, định nghĩa cấu trúc truy vấn phải xác định trên tên các trường của các kết quả trung gian này. Điều này có thể làm dài dòng và vì thế chúng ta lựa chọn cách tham chiếu thứ hai. Tuy nhiên, cách tham chiếu thứ nhất làm cho truy vấn dễ đọc hơn.

Từ những cân nhắc trên, chúng ta sử dụng cách tham chiếu theo vị trí để định nghĩa đại số quan hệ và các phép toán logic quan hệ. Chúng ta cũng giới thiệu một quy tắc đơn giản là cho phép các quan hệ trung gian được 'thừa hưởng' tên các trường.

Chúng ta biểu diễn một số ví dụ truy vấn sử dụng những lược đồ sau:

Sailors(sid: integer, sname: string, rating: integer, age: real) Boats(bid: integer, bname: string, color: string) Reserves(sid: integer, bid: integer, day: date)

Những trường khoá được gạch chân, và miền xác định của mỗi trường được liệt kê sau tên trường. Trong ví dụ trên, sid là khoá của Sailors, bid là trường khoá của Boats, và tất cả các trường cùng nhau làm khóa của Reservers. Những trường trong minh hoạ của một trong các quan hệ trên sẽ được tham chiếu bằng tên, hoặc vị trí dựa trên thứ tự của chúng được liệt kê.

Trong một vài ví dụ minh hoạ các toán tử đại số quan hệ, chúng ta sẽ sử dụng minh hoạ dữ liệu S1 và S2 (của Sailors) và R1(của Reservers) trong Hình 1, 2, và 3.