有兩個關(guān)系R(ABC)和S(DBF),元組關(guān)系演算表達(dá)式是: {t|(u)(v)(R(u)∧S(v)∧u[3]=v[1]∧t[1]=u[1]∧t[2]=v[3])} 寫出域關(guān)系演算表達(dá)式。