设有如下关系：

与元组演算表达式
t|
u
v(r(u)
s(v)
u[3]=v[1]
u[4]=v[2]
u[1]＞v[3]
t[1]=u[2])等价的关系代数表达式是 (12) ，关系代数表达式r÷s的运算结果是 (13) 。