Equivalent là gì?

Trong đại số quan hệ (relational algebra), thường có nhiều hơn một cách để viết một truy vấn trong đại số quan hệ. Hãy xem xét truy vấn sau, tìm kiếm thông tin về các khóa học do các giảng viên trong khoa Vật lý giảng dạy:

 σdept name = "Physics"(instructor ⋈instructor.ID = teaches.ID teaches) 

Bây giờ hãy xem một truy vấn thay thế:

 (σdept name = "Physics"instructor.ID = teaches.ID teaches 

Lưu ý sự khác biệt nhỏ giữa hai truy vấn: trong truy vấn đầu tiên, phép chọn hạn chế tên dept đối với Physics được áp dụng sau khi phép join của instructor và teaches đã được tính toán, trong khi trong truy vấn thứ hai, phép chọn hạn chế tên dept đối với Physics áp dụng cho instructor và phép join được áp dụng sau đó.

Mặc dù hai truy vấn không giống nhau, nhưng trên thực tế, chúng tương đương (equivalent) nhau; nghĩa là chúng cho cùng một kết quả trên bất kỳ cơ sở dữ liệu (database) nào.