h

provsql/output.txt

-select student.name from student join regu on student.name=regu.name;
+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 | 004c4f1a-67d8-5aa5-b5e3-c2aee1b834d7
+(student.t2 ⊗ regu.t3) | mike | c3374551-4f71-586b-90d6-67f592592433
+(student.t3 ⊗ regu.t4) ⊕ (student.t3 ⊗ regu.t5) | jack | acf08ab2-1a50-527e-9823-b2ea0ecc2ccb
+
+---------------------------
+
+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 | 35e40191-71ae-5948-bb7b-b506ec569f19
+(student.t2 ⊗ regu.t3) | mike | 7efa0002-9d56-5f40-979d-01bef85ad75e
+(student.t3 ⊗ regu.t4) ⊕ (student.t3 ⊗ regu.t5) | jack | 8a693cc2-3ebf-5d3d-970a-21094986eaa7
+
+---------------------------
+

provsql/query.in

-select student.name from student join regu on student.name=regu.name;
+select student.name from student join regu on student.name = regu.name;
+select student.name from student join (select name from regu) as r on student.name = r.name;

provsql/reset.sh

@@ -3,3 +3,7 @@ dropdb test
 createdb test
 psql test < setup.sql
 psql test < test.sql
+
+git pull
+
+python3 provenance.py -q query.in -o output.txt config.txt