سوال ۱۱۵ کنکور ارشد مهندسی کامپیوتر ۱۴۰۰ — هم‌ارزی‌های جبر رابطه‌ای زیر را در نظر بگیرید. این هم‌ارزی‌ها ممکن…

Question

هم‌ارزی‌های جبر رابطه‌ای زیر را در نظر بگیرید. این هم‌ارزی‌ها ممکن است همواره درست باشند. این هم‌ارزی‌ها در بعضی شرایط درست باشند، یا همواره نادرست باشند. در این عبارت‌ها، R یک رابطه (Relation)، ci ها شرط‌هایی بر روی R وai ها زیرمجموعه‌هایی از صفت‌های R هستند. کدام هم‌ارزی همواره درست است؟

Accepted Answer

σ_(c_1)(σ_(c_2)(R)) ≡ σ_(c_2)(σ_(c_1)(R))

Answer

π_(a_1)(π_(a_2)(R)) ≡ π_(a_2)(π_(a_1)(R))

Answer

π_(a_1)(σ_(c_1)(R)) ≡ σ_(c_1)(π_(a_1)(R))

Answer

π_(a_1)(π_(a_2)(R)) ≡ π_(a_1)(R)