1.7.4 CQL Simple SELECT

{[],
 se_lt_x :: [a-A, b-B]}

This query will either:

• If A is bound, and B are bound, fail if there are no such rows, or succeed (without binding anything) the same number of times as there are matching rows in se_lt_x.
• If A is bound and B is unbound, bind B to each of the values in se_lt_x.b where se_lt_x.a = A
• If B is bound and A is unbound, bind A to each of the values in se_lt_x.a where se_lt_x.b = B
• If A and B are both unbound, bind A and B to each of the tuples in se_lt_x