Keep tests in json format

So the results are typed
master
Salvo 'LtWorf' Tomaselli 2020-08-24 18:37:55 +07:00
parent d592cc3050
commit 4d280e02b0
No known key found for this signature in database
GPG Key ID: B3A7CF0C801886CF
55 changed files with 55 additions and 329 deletions

@ -239,7 +239,7 @@ def run_test(testname):
o_result = None o_result = None
try: try:
result_rel = relation.Relation.load_csv('%s%s.result' % (tests_path, testname)) result_rel = relation.Relation.load('%s%s.result' % (tests_path, testname))
query = readfile('%s%s.query' % (tests_path, testname)).strip() query = readfile('%s%s.query' % (tests_path, testname)).strip()
o_query = optimizer.optimize_all(query, rels) o_query = optimizer.optimize_all(query, rels)

@ -1,9 +1 @@
id,name,chief,age {"content": [[1, "carl", 0, 20], [2, "john", 1, 30], [3, "dean", 1, 33], [5, "duncan", 4, 30], [0, "jack", 0, 22], [4, "eve", 0, 25], [6, "paul", 4, 30], [7, "alia", 1, 28]], "header": ["id", "name", "chief", "age"]}
0,jack,0,22
1,carl,0,20
2,john,1,30
3,dean,1,33
4,eve,0,25
5,duncan,4,30
6,paul,4,30
7,alia,1,28

@ -1,9 +1 @@
id,name,chief,age {"content": [[1, "carl", 0, 20], [2, "john", 1, 30], [3, "dean", 1, 33], [5, "duncan", 4, 30], [0, "jack", 0, 22], [4, "eve", 0, 25], [6, "paul", 4, 30], [7, "alia", 1, 28]], "header": ["id", "name", "chief", "age"]}
0,jack,0,22
1,carl,0,20
2,john,1,30
3,dean,1,33
4,eve,0,25
5,duncan,4,30
6,paul,4,30
7,alia,1,28

@ -1,9 +1 @@
id,name,chief,age {"content": [[1, "carl", 0, 20], [2, "john", 1, 30], [3, "dean", 1, 33], [5, "duncan", 4, 30], [0, "jack", 0, 22], [4, "eve", 0, 25], [6, "paul", 4, 30], [7, "alia", 1, 28]], "header": ["id", "name", "chief", "age"]}
0,jack,0,22
1,carl,0,20
2,john,1,30
3,dean,1,33
4,eve,0,25
5,duncan,4,30
6,paul,4,30
7,alia,1,28

@ -1,9 +1 @@
id,name,chief,age {"content": [[1, "carl", 0, 20], [2, "john", 1, 30], [3, "dean", 1, 33], [5, "duncan", 4, 30], [0, "jack", 0, 22], [4, "eve", 0, 25], [6, "paul", 4, 30], [7, "alia", 1, 28]], "header": ["id", "name", "chief", "age"]}
0,jack,0,22
1,carl,0,20
2,john,1,30
3,dean,1,33
4,eve,0,25
5,duncan,4,30
6,paul,4,30
7,alia,1,28

@ -1,4 +1 @@
name {"content": [["eve"], ["john"], ["duncan"]], "header": ["name"]}
eve
john
duncan

@ -1,6 +1 @@
id,name,chief,age,skill {"content": [[5, "duncan", 4, 30, "C"], [0, "jack", 0, 22, "C"], [4, "eve", 0, 25, "C"], [2, "john", 1, 30, "C"], [7, "alia", 1, 28, "C"]], "header": ["id", "name", "chief", "age", "skill"]}
2,john,1,30,C
7,alia,1,28,C
5,duncan,4,30,C
0,jack,0,22,C
4,eve,0,25,C

@ -1,6 +1 @@
"date" {"content": [[{"day": 12, "year": 2008, "month": 12}], [{"day": 9, "year": 1985, "month": 5}], [{"day": 21, "year": 1988, "month": 4}], [{"day": 27, "year": 1992, "month": 7}], [{"day": 12, "year": 2007, "month": 8}]], "header": ["date"]}
"2008-12-12"
"2007-08-12"
"1985-05-09"
"1988-4-21"
"1992-7-27"

@ -1,3 +1 @@
date {"content": [[{"day": 12, "year": 2008, "month": 12}], [{"day": 12, "year": 2007, "month": 8}]], "header": ["date"]}
2008-12-12
2007-08-12

@ -1,12 +1 @@
id,name,chief,age,skill {"content": [[3, "dean", 1, 33, "C++"], [2, "john", 1, 30, "PHP"], [1, "carl", 0, 20, "C++"], [1, "carl", 0, 20, "Python"], [2, "john", 1, 30, "C"], [0, "jack", 0, 22, "Python"], [7, "alia", 1, 28, "Python"], [7, "alia", 1, 28, "PHP"], [1, "carl", 0, 20, "System Admin"], [0, "jack", 0, 22, "C"], [7, "alia", 1, 28, "C"]], "header": ["id", "name", "chief", "age", "skill"]}
2,john,1,30,C
7,alia,1,28,C
1,carl,0,20,C++
2,john,1,30,PHP
7,alia,1,28,Python
3,dean,1,33,C++
7,alia,1,28,PHP
0,jack,0,22,Python
1,carl,0,20,Python
0,jack,0,22,C
1,carl,0,20,System Admin

@ -1,19 +1 @@
id,skill,name,chief,age {"content": [[7, "C", "alia", 1, 28], [2, "PHP", "john", 1, 30], [4, "C++", "eve", 0, 25], [7, "Python", "alia", 1, 28], [6, null, "paul", 4, 30], [0, "Python", "jack", 0, 22], [2, "C", "john", 1, 30], [1, "Python", "carl", 0, 20], [1, "System Admin", "carl", 0, 20], [3, "C++", "dean", 1, 33], [5, "Perl", "duncan", 4, 30], [5, "C", "duncan", 4, 30], [7, "PHP", "alia", 1, 28], [1, "C++", "carl", 0, 20], [0, "C", "jack", 0, 22], [9, "Java", null, null, null], [4, "C", "eve", 0, 25], [4, "Perl", "eve", 0, 25]], "header": ["id", "skill", "name", "chief", "age"]}
4,C++,eve,0,25
4,C,eve,0,25
7,C,alia,1,28
9,Java,---,---,---
0,Python,jack,0,22
5,C,duncan,4,30
4,Perl,eve,0,25
2,C,john,1,30
1,Python,carl,0,20
5,Perl,duncan,4,30
6,---,paul,4,30
2,PHP,john,1,30
0,C,jack,0,22
7,Python,alia,1,28
1,System Admin,carl,0,20
7,PHP,alia,1,28
1,C++,carl,0,20
3,C++,dean,1,33

@ -1,2 +1 @@
id,name,chief,age {"content": [[4, "eve", 0, 25]], "header": ["id", "name", "chief", "age"]}
4,eve,0,25

@ -1,2 +1 @@
id,name,chief,age {"content": [[4, "eve", 0, 25]], "header": ["id", "name", "chief", "age"]}
4,eve,0,25

@ -1,3 +1 @@
name {"content": [["eve"], ["duncan"]], "header": ["name"]}
duncan
eve

@ -1,17 +1 @@
id,name,chief,age,skill {"content": [[2, "john", 1, 30, "PHP"], [5, "duncan", 4, 30, "Perl"], [2, "john", 1, 30, "C"], [4, "eve", 0, 25, "Perl"], [1, "carl", 0, 20, "System Admin"], [3, "dean", 1, 33, "C++"], [4, "eve", 0, 25, "C++"], [1, "carl", 0, 20, "C++"], [1, "carl", 0, 20, "Python"], [0, "jack", 0, 22, "Python"], [7, "alia", 1, 28, "Python"], [5, "duncan", 4, 30, "C"], [7, "alia", 1, 28, "PHP"], [4, "eve", 0, 25, "C"], [0, "jack", 0, 22, "C"], [7, "alia", 1, 28, "C"]], "header": ["id", "name", "chief", "age", "skill"]}
2,john,1,30,C
7,alia,1,28,C
4,eve,0,25,C++
4,eve,0,25,C
5,duncan,4,30,Perl
1,carl,0,20,C++
7,alia,1,28,PHP
7,alia,1,28,Python
3,dean,1,33,C++
1,carl,0,20,Python
2,john,1,30,PHP
0,jack,0,22,Python
0,jack,0,22,C
1,carl,0,20,System Admin
4,eve,0,25,Perl
5,duncan,4,30,C

@ -1,18 +1 @@
id,name,chief,age,skill {"content": [[2, "john", 1, 30, "PHP"], [5, "duncan", 4, 30, "Perl"], [2, "john", 1, 30, "C"], [6, "paul", 4, 30, null], [4, "eve", 0, 25, "Perl"], [1, "carl", 0, 20, "System Admin"], [3, "dean", 1, 33, "C++"], [4, "eve", 0, 25, "C++"], [1, "carl", 0, 20, "C++"], [1, "carl", 0, 20, "Python"], [0, "jack", 0, 22, "Python"], [7, "alia", 1, 28, "Python"], [5, "duncan", 4, 30, "C"], [7, "alia", 1, 28, "PHP"], [4, "eve", 0, 25, "C"], [0, "jack", 0, 22, "C"], [7, "alia", 1, 28, "C"]], "header": ["id", "name", "chief", "age", "skill"]}
2,john,1,30,C
7,alia,1,28,C
4,eve,0,25,C++
6,paul,4,30,---
5,duncan,4,30,Perl
1,carl,0,20,C++
7,alia,1,28,PHP
4,eve,0,25,C
7,alia,1,28,Python
3,dean,1,33,C++
1,carl,0,20,Python
2,john,1,30,PHP
0,jack,0,22,Python
0,jack,0,22,C
1,carl,0,20,System Admin
4,eve,0,25,Perl
5,duncan,4,30,C

@ -1,2 +1 @@
id,name,chief,age,rating {"content": [[1, "carl", 0, 20, 6]], "header": ["id", "name", "chief", "age", "rating"]}
1,carl,0,20,6

@ -1,2 +1 @@
date {"content": [[{"day": 12, "year": 2008, "month": 12}]], "header": ["date"]}
2008-12-12

@ -1,9 +1 @@
name,age {"content": [["eve", 25], ["duncan", 30], ["paul", 30], ["carl", 20], ["alia", 28], ["dean", 33], ["jack", 22], ["john", 30]], "header": ["name", "age"]}
eve,25
dean,33
carl,20
paul,30
john,30
jack,22
duncan,30
alia,28

@ -1,7 +1 @@
name,age,chief_name,chief_age {"content": [["dean", 33, "carl", 20], ["duncan", 30, "eve", 25], ["john", 30, "carl", 20], ["alia", 28, "carl", 20], ["eve", 25, "jack", 22], ["paul", 30, "eve", 25]], "header": ["name", "age", "chief_name", "chief_age"]}
dean,33,carl,20
alia,28,carl,20
paul,30,eve,25
eve,25,jack,22
john,30,carl,20
duncan,30,eve,25

@ -1 +1 @@
id,name,chief,age {"content": [], "header": ["id", "name", "chief", "age"]}

@ -1 +1 @@
id,name,chief,age {"content": [], "header": ["id", "name", "chief", "age"]}

@ -1 +1 @@
id,name,chief,age {"content": [], "header": ["id", "name", "chief", "age"]}

@ -1 +1 @@
id,name,chief,age {"content": [], "header": ["id", "name", "chief", "age"]}

@ -1,9 +1 @@
id,name,chief,age {"content": [[1, "carl", 0, 20], [2, "john", 1, 30], [3, "dean", 1, 33], [5, "duncan", 4, 30], [0, "jack", 0, 22], [4, "eve", 0, 25], [6, "paul", 4, 30], [7, "alia", 1, 28]], "header": ["id", "name", "chief", "age"]}
0,jack,0,22
1,carl,0,20
2,john,1,30
3,dean,1,33
4,eve,0,25
5,duncan,4,30
6,paul,4,30
7,alia,1,28

@ -1,9 +1 @@
id,name,chief,age,room {"content": [[5, "duncan", 4, 30, 1], [4, "eve", 0, 25, 5], [0, "jack", 0, 22, 1], [2, "john", 1, 30, 2], [1, "carl", 0, 20, 4], [6, "paul", 4, 30, 5], [7, "alia", 1, 28, 1], [3, "dean", 1, 33, 2]], "header": ["id", "name", "chief", "age", "room"]}
0,jack,0,22,1
1,carl,0,20,4
2,john,1,30,2
3,dean,1,33,2
4,eve,0,25,5
5,duncan,4,30,1
6,paul,4,30,5
7,alia,1,28,1

@ -1,9 +1 @@
id,name,chief,age,room {"content": [[5, "duncan", 4, 30, 1], [4, "eve", 0, 25, 5], [0, "jack", 0, 22, 1], [2, "john", 1, 30, 2], [1, "carl", 0, 20, 4], [6, "paul", 4, 30, 5], [7, "alia", 1, 28, 1], [3, "dean", 1, 33, 2]], "header": ["id", "name", "chief", "age", "room"]}
0,jack,0,22,1
1,carl,0,20,4
2,john,1,30,2
3,dean,1,33,2
4,eve,0,25,5
5,duncan,4,30,1
6,paul,4,30,5
7,alia,1,28,1

@ -1,13 +1 @@
id,name,chief,age,room,phone {"content": [[0, "jack", 0, 22, 1, 1516], [null, null, null, null, 6, 1424], [null, null, null, null, 3, 1601], [7, "alia", 1, 28, 1, 1516], [2, "john", 1, 30, 2, 1617], [3, "dean", 1, 33, 2, 1617], [5, "duncan", 4, 30, 1, 1516], [4, "eve", 0, 25, 5, 9212], [1, "carl", 0, 20, 4, 1041], [null, null, null, null, 0, 1515], [null, null, null, null, 7, 1294], [6, "paul", 4, 30, 5, 9212]], "header": ["id", "name", "chief", "age", "room", "phone"]}
0,jack,0,22,1,1516
1,carl,0,20,4,1041
2,john,1,30,2,1617
3,dean,1,33,2,1617
4,eve,0,25,5,9212
5,duncan,4,30,1,1516
6,paul,4,30,5,9212
7,alia,1,28,1,1516
---,---,---,---,"0","1515"
---,---,---,---,"3","1601"
---,---,---,---,"6","1424"
---,---,---,---,"7","1294"

@ -1,2 +1 @@
id,name,chief,age,skill {"content": [[0, "jack", 0, 22, "C"]], "header": ["id", "name", "chief", "age", "skill"]}
0,jack,0,22,C

@ -1,9 +1 @@
id,n,chief,a {"content": [[1, "carl", 0, 20], [2, "john", 1, 30], [3, "dean", 1, 33], [5, "duncan", 4, 30], [0, "jack", 0, 22], [4, "eve", 0, 25], [6, "paul", 4, 30], [7, "alia", 1, 28]], "header": ["id", "n", "chief", "a"]}
0,jack,0,22
1,carl,0,20
2,john,1,30
3,dean,1,33
4,eve,0,25
5,duncan,4,30
6,paul,4,30
7,alia,1,28

@ -1,5 +1 @@
i,name,chief,age {"content": [[4, "eve", 0, 25], [6, "paul", 4, 30], [2, "john", 1, 30], [0, "jack", 0, 22]], "header": ["i", "name", "chief", "age"]}
0,jack,0,22
2,john,1,30
4,eve,0,25
6,paul,4,30

@ -1,2 +1 @@
phone,name {"content": [[1041, "carl"]], "header": ["phone", "name"]}
1041,carl

@ -1,2 +1 @@
id,name,chief,age,skill {"content": [[7, "alia", 1, 28, "PHP"]], "header": ["id", "name", "chief", "age", "skill"]}
7,alia,1,28,PHP

@ -1,3 +1 @@
name {"content": [["alia"], ["jack"]], "header": ["name"]}
jack
alia

@ -1 +1 @@
id,name,chief,age {"content": [], "header": ["id", "name", "chief", "age"]}

@ -1,2 +1 @@
id,name,chief,age {"content": [[2, "john", 1, 30]], "header": ["id", "name", "chief", "age"]}
2,john,1,30

@ -1,18 +1 @@
id,skill,name,chief,age {"content": [[7, "C", "alia", 1, 28], [2, "PHP", "john", 1, 30], [4, "C++", "eve", 0, 25], [7, "Python", "alia", 1, 28], [0, "Python", "jack", 0, 22], [2, "C", "john", 1, 30], [1, "Python", "carl", 0, 20], [1, "System Admin", "carl", 0, 20], [3, "C++", "dean", 1, 33], [5, "Perl", "duncan", 4, 30], [5, "C", "duncan", 4, 30], [7, "PHP", "alia", 1, 28], [1, "C++", "carl", 0, 20], [0, "C", "jack", 0, 22], [9, "Java", null, null, null], [4, "C", "eve", 0, 25], [4, "Perl", "eve", 0, 25]], "header": ["id", "skill", "name", "chief", "age"]}
4,C++,eve,0,25
2,C,john,1,30
1,Python,carl,0,20
4,C,eve,0,25
1,C++,carl,0,20
7,C,alia,1,28
9,Java,---,---,---
2,PHP,john,1,30
0,Python,jack,0,22
4,Perl,eve,0,25
5,C,duncan,4,30
7,Python,alia,1,28
1,System Admin,carl,0,20
5,Perl,duncan,4,30
7,PHP,alia,1,28
0,C,jack,0,22
3,C++,dean,1,33

@ -1,2 +1 @@
id,skill,name,chief,age {"content": [[3, "C++", "dean", 1, 33]], "header": ["id", "skill", "name", "chief", "age"]}
3,C++,dean,1,33

@ -1,3 +1 @@
id,name,chief,age,skill {"content": [[4, "eve", 0, 25, "C"], [0, "jack", 0, 22, "C"]], "header": ["id", "name", "chief", "age", "skill"]}
0,jack,0,22,C
4,eve,0,25,C

@ -1 +1 @@
σid=='---' (people⧓person_room ⧓ rooms) σ id is None (people⧓person_room ⧓ rooms)

@ -1,5 +1 @@
id,name,chief,age,room,phone {"content": [[null, null, null, null, 0, 1515], [null, null, null, null, 7, 1294], [null, null, null, null, 3, 1601], [null, null, null, null, 6, 1424]], "header": ["id", "name", "chief", "age", "room", "phone"]}
---,---,---,---,"0","1515"
---,---,---,---,"3","1601"
---,---,---,---,"6","1424"
---,---,---,---,"7","1294"

@ -1,4 +1 @@
name,age,skill {"content": [["eve", 25, "C++"], ["eve", 25, "C"], ["eve", 25, "Perl"]], "header": ["name", "age", "skill"]}
eve,25,Perl
eve,25,C
eve,25,C++

@ -1,8 +1 @@
id,name,chief,age {"content": [[3, "dean", 1, 33], [5, "duncan", 4, 30], [1, "carl", 0, 20], [0, "jack", 0, 22], [2, "john", 1, 30], [6, "paul", 4, 30], [7, "alia", 1, 28]], "header": ["id", "name", "chief", "age"]}
3,dean,1,33
6,paul,4,30
2,john,1,30
0,jack,0,22
7,alia,1,28
1,carl,0,20
5,duncan,4,30

@ -1 +1 @@
id,name,chief,age {"content": [], "header": ["id", "name", "chief", "age"]}

@ -1,9 +1 @@
id,name,chief,age {"content": [[1, "carl", 0, 20], [2, "john", 1, 30], [3, "dean", 1, 33], [5, "duncan", 4, 30], [0, "jack", 0, 22], [4, "eve", 0, 25], [6, "paul", 4, 30], [7, "alia", 1, 28]], "header": ["id", "name", "chief", "age"]}
0,jack,0,22
1,carl,0,20
2,john,1,30
3,dean,1,33
4,eve,0,25
5,duncan,4,30
6,paul,4,30
7,alia,1,28

@ -1,4 +1 @@
id,name,chief,age {"content": [[4, "eve", 0, 25], [0, "jack", 0, 22], [7, "alia", 1, 28]], "header": ["id", "name", "chief", "age"]}
7,alia,1,28
4,eve,0,25
0,jack,0,22

@ -1,9 +1 @@
id,name,chief,age {"content": [[1, "carl", 0, 20], [2, "john", 1, 30], [3, "dean", 1, 33], [5, "duncan", 4, 30], [0, "jack", 0, 22], [4, "eve", 0, 25], [6, "paul", 4, 30], [7, "alia", 1, 28]], "header": ["id", "name", "chief", "age"]}
3,dean,1,33
6,paul,4,30
2,john,1,30
0,jack,0,22
7,alia,1,28
1,carl,0,20
4,eve,0,25
5,duncan,4,30

@ -1,9 +1 @@
id,name,chief,age {"content": [[1, "carl", 0, 20], [2, "john", 1, 30], [3, "dean", 1, 33], [5, "duncan", 4, 30], [0, "jack", 0, 22], [4, "eve", 0, 25], [6, "paul", 4, 30], [7, "alia", 1, 28]], "header": ["id", "name", "chief", "age"]}
3,dean,1,33
6,paul,4,30
2,john,1,30
0,jack,0,22
7,alia,1,28
1,carl,0,20
4,eve,0,25
5,duncan,4,30

@ -1,9 +1 @@
id,name,chief,age {"content": [[1, "carl", 0, 20], [2, "john", 1, 30], [3, "dean", 1, 33], [5, "duncan", 4, 30], [0, "jack", 0, 22], [4, "eve", 0, 25], [6, "paul", 4, 30], [7, "alia", 1, 28]], "header": ["id", "name", "chief", "age"]}
0,jack,0,22
1,carl,0,20
2,john,1,30
3,dean,1,33
4,eve,0,25
5,duncan,4,30
6,paul,4,30
7,alia,1,28

@ -1,4 +1 @@
id,skill {"content": [[2, "C"], [0, "C"], [4, "C"]], "header": ["id", "skill"]}
0,C
2,C
4,C

@ -1,8 +1 @@
id,name,chief,age,skill {"content": [[4, "eve", 0, 25, "C"], [5, "duncan", 4, 30, "C"], [0, "jack", 0, 22, "C"], [5, "duncan", 4, 30, "Perl"], [2, "john", 1, 30, "C"], [7, "alia", 1, 28, "C"], [4, "eve", 0, 25, "Perl"]], "header": ["id", "name", "chief", "age", "skill"]}
4,eve,0,25,C
5,duncan,4,30,C
2,john,1,30,C
7,alia,1,28,C
4,eve,0,25,Perl
5,duncan,4,30,Perl
0,jack,0,22,C

@ -1,3 +1 @@
id,skill {"content": [[7, "C"], [5, "C"]], "header": ["id", "skill"]}
5,C
7,C

@ -1,3 +1 @@
id,name,chief,age {"content": [[3, "dean", 1, 33], [1, "carl", 0, 20]], "header": ["id", "name", "chief", "age"]}
3,dean,1,33
1,carl,0,20

@ -1,8 +1 @@
name,skill {"content": [["jack", "C"], ["eve", "C"], ["duncan", "C"], ["alia", "C"], ["eve", "Perl"], ["duncan", "Perl"], ["john", "C"]], "header": ["name", "skill"]}
jack,C
eve,Perl
duncan,Perl
duncan,C
john,C
alia,C
eve,C

@ -1,2 +1 @@
id,age,chief,name {"content": [[1, 20, 0, "carl"]], "header": ["id", "age", "chief", "name"]}
1,20,0,carl