有两个表：
R:                  s:
    A    B    C       A    B    C
    1    2    3       1    2    3
    4    5    6       3    4    6
    7    8    9       5    6    9
R2={t|(Eu)(S(t)^R(u)^t[3]<u[2])}//E为反向的
R2:
    A    B    C
    1    2    3
    3    4    6
想请大家给解释下，