test_output.txt 1008 B
select student.name from student join regu on student.name = regu.name;
provenance formula | name | provsql-token
(student.t0 ⊗ regu.t0) ⊕ (student.t0 ⊗ regu.t1) | jhon | 3afdc964-6167-5a0c-8b1d-02ed436a04bb
(student.t1 ⊗ regu.t2) | mike | f3cbb468-8995-5517-a81f-76f3a3c98380
(student.t2 ⊗ regu.t3) ⊕ (student.t2 ⊗ regu.t4) | jack | 2f95e10b-c2ba-5713-a6b9-ff8d05d7cfe1
---------------------------
select student.name from student join (select regu.name as name from student join regu on student.name = regu.name) as r on student.name = r.name;
provenance formula | name | provsql-token
(student.t0 ⊗ (student.t0 ⊗ regu.t0)) ⊕ (student.t0 ⊗ (student.t0 ⊗ regu.t1)) | jhon | 2c0982a0-4fe3-5782-8c55-a3b8caa91ae0
(student.t1 ⊗ (student.t1 ⊗ regu.t2)) | mike | 2b1d0c80-0a99-5926-a129-b08f4d1b9e6c
(student.t2 ⊗ (student.t2 ⊗ regu.t3)) ⊕ (student.t2 ⊗ (student.t2 ⊗ regu.t4)) | jack | 161b552d-f691-51e4-949e-3b962576f3b9
---------------------------