select student.name from student join regu on student.name = regu.name;
provenance formula   |   name   |   provsql-token

(student.t1 ⊗ regu.t1) ⊕ (student.t1 ⊗ regu.t2) | jhon | ee800acf-8736-55d9-80ef-5de98f255cbf
(student.t2 ⊗ regu.t3) | mike | a857d9c0-f900-5b25-925c-c8ea0c3f85cc
(student.t3 ⊗ regu.t4) ⊕ (student.t3 ⊗ regu.t5) | jack | a39d5b90-95b6-5dd0-84e6-4ce63870fe33

---------------------------

select student.name from student join (select name from regu) as r on student.name = r.name;
provenance formula   |   name   |   provsql-token

(student.t1 ⊗ regu.t1) ⊕ (student.t1 ⊗ regu.t2) | jhon | 00f6a7b7-7d26-5bb8-b4c2-ec21bd400253
(student.t2 ⊗ regu.t3) | mike | 62c92b62-f4c1-5d79-a1a4-206818c5c902
(student.t3 ⊗ regu.t4) ⊕ (student.t3 ⊗ regu.t5) | jack | 5f8152f4-7722-538b-8d8b-92bb80a44af0

---------------------------