output.txt

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

(student.tuple student.0 ⊗ regu.tuple regu.0) ⊕ (student.tuple student.0 ⊗ regu.tuple regu.1) | jhon | 163f0cf8-179f-56b0-9232-5ebe6061f225
(student.tuple student.1 ⊗ regu.tuple regu.2) | mike | f201060b-b56c-5574-91ad-3f32287cd939
(student.tuple student.2 ⊗ regu.tuple regu.3) ⊕ (student.tuple student.2 ⊗ regu.tuple regu.4) | jack | 9ab59b74-1c5c-5123-8f9a-99fe90a422de

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

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

(student.tuple student.0 ⊗ regu.tuple regu.0) ⊕ (student.tuple student.0 ⊗ regu.tuple regu.1) | jhon | 76dca229-2a47-57b6-aa02-cff25d1c9847
(student.tuple student.1 ⊗ regu.tuple regu.2) | mike | 5e028b44-2e79-5b78-bbaa-90699d5497b2
(student.tuple student.2 ⊗ regu.tuple regu.3) ⊕ (student.tuple student.2 ⊗ regu.tuple regu.4) | jack | 09579be5-98ac-52ab-963b-be0c09ad5142

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