moved tests directory

tests_dir/0.fail

@@ -0,0 +1 @@
+σ , (people)

tests_dir/1.fail

@@ -0,0 +1 @@
+((

tests_dir/10.fail

@@ -0,0 +1 @@
+people - skills

tests_dir/11.fail

@@ -0,0 +1 @@
+skills - people

tests_dir/12.fail

@@ -0,0 +1 @@
+ρ i➡id(people)

tests_dir/13.fail

@@ -0,0 +1 @@
+π i,id(people)

tests_dir/14.fail

@@ -0,0 +1 @@
+π (people)

tests_dir/15.fail

@@ -0,0 +1 @@
+πpeople

tests_dir/16.fail

@@ -0,0 +1 @@
+skills * people

tests_dir/17.fail

@@ -0,0 +1 @@
+people * skills

tests_dir/18.fail

@@ -0,0 +1 @@
+skills ÷ people

tests_dir/19.fail

@@ -0,0 +1 @@
+pepl

tests_dir/2.fail

@@ -0,0 +1 @@
+)

tests_dir/20.fail

@@ -0,0 +1 @@
+"people"

tests_dir/21.fail

@@ -0,0 +1 @@
+a+b

tests_dir/22.fail

@@ -0,0 +1 @@
+ratings ⋈ people ∪ people

tests_dir/23.fail

@@ -0,0 +1 @@
+people ∪ (ratings ⋈ people)

tests_dir/3.fail

@@ -0,0 +1 @@
+(people))

tests_dir/4.fail

@@ -0,0 +1 @@
+((people)

tests_dir/5.fail

@@ -0,0 +1 @@
+people*people

tests_dir/6.fail

@@ -0,0 +1 @@
+people ∪ skills

tests_dir/7.fail

@@ -0,0 +1 @@
+skills ∪ people

tests_dir/8.fail

@@ -0,0 +1 @@
+people ∩ skills

tests_dir/9.fail

@@ -0,0 +1 @@
+skills ∩ people

tests_dir/a_join_a.query

@@ -0,0 +1 @@
+people⋈people

tests_dir/a_join_a.result

@@ -0,0 +1,9 @@
+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

tests_dir/a_joinf_a.query

@@ -0,0 +1 @@
+people⧓people

tests_dir/a_joinf_a.result

@@ -0,0 +1,9 @@
+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

tests_dir/a_joinl_a.query

@@ -0,0 +1 @@
+people⧑people

tests_dir/a_joinl_a.result

@@ -0,0 +1,9 @@
+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

tests_dir/a_joinr_a.query

@@ -0,0 +1 @@
+people⧒people

tests_dir/a_joinr_a.result

@@ -0,0 +1,9 @@
+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

tests_dir/c_not_python.query

@@ -0,0 +1 @@
+πname (σ skill=='C' (people ⋈ skills)) - π name (σ skill=='Python' (people ⋈ skills))

tests_dir/c_not_python.result

@@ -0,0 +1,4 @@
+name
+eve
+john
+duncan

tests_dir/c_programmers.query

@@ -0,0 +1 @@
+σ skill=='C'(people ⋈ skills)

tests_dir/c_programmers.result

@@ -0,0 +1,6 @@
+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

tests_dir/commutative_fail_union1.fail

@@ -0,0 +1 @@
+π name (people)∪(people⋈skills)

tests_dir/commutative_fail_union2.fail

@@ -0,0 +1,2 @@
+(people⋈skills) ∪ π name (people)
+

tests_dir/dates.query

@@ -0,0 +1 @@
+dates

tests_dir/dates.result

@@ -0,0 +1,6 @@
+"date"
+"2008-12-12"
+"2007-08-12"
+"1985-05-09"
+"1988-4-21"
+"1992-7-27"

tests_dir/dates_sel.query

@@ -0,0 +1 @@
+σ date.year>2000 and date.day+10<30 (dates)

tests_dir/dates_sel.result

@@ -0,0 +1,3 @@
+date
+2008-12-12
+2007-08-12

tests_dir/fixed_len_name.query

@@ -0,0 +1 @@
+σ (len(name)==4)(people ⋈ skills)

tests_dir/fixed_len_name.result

@@ -0,0 +1,12 @@
+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

tests_dir/full_join.query

@@ -0,0 +1 @@
+people ⧓skills

tests_dir/full_join.result

@@ -0,0 +1,19 @@
+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

tests_dir/intersection1.query

@@ -0,0 +1 @@
+σ name=='eve' (people) ∩ people

tests_dir/intersection1.result

@@ -0,0 +1,2 @@
+id,name,chief,age
+4,eve,0,25

tests_dir/intersection2.query

@@ -0,0 +1 @@
+people ∩ σ name=='eve' (people)

tests_dir/intersection2.result

@@ -0,0 +1,2 @@
+id,name,chief,age
+4,eve,0,25

tests_dir/java_and_perl.query

@@ -0,0 +1,2 @@
+πname (σ skill=='Perl' (people ⋈ skills)) ∪ π name (σ skill=='Java' (people ⋈ skills))
+

tests_dir/java_and_perl.result

@@ -0,0 +1,3 @@
+name
+duncan
+eve

tests_dir/join.query

@@ -0,0 +1 @@
+people ⋈ skills

tests_dir/join.result

@@ -0,0 +1,17 @@
+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

tests_dir/left_join.query

@@ -0,0 +1 @@
+people ⧑skills

tests_dir/left_join.result

@@ -0,0 +1,18 @@
+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

tests_dir/max_rating_in_age_range.query

@@ -0,0 +1 @@
+(σ age<25(people) ∪ σ age>30(people)) ⋈ ratings-πid,name,chief,age,rating(σ rating<r((ρid➡i,rating➡r(π id,rating((σ age<25(people) ∪ σ age>30(people)) ⋈ ratings))) * (σ age<25(people) ∪ σ age>30(people)) ⋈ ratings))

tests_dir/max_rating_in_age_range.result

@@ -0,0 +1,2 @@
+id,name,chief,age,rating
+1,carl,0,20,6

tests_dir/maxdate.query

@@ -0,0 +1 @@
+dates-πdate(σ d>date (ρdate➡d(dates)*dates))

tests_dir/maxdate.result

@@ -0,0 +1,2 @@
+date
+2008-12-12

tests_dir/name_age.query

@@ -0,0 +1 @@
+ρn➡name,a➡age(πn,a(ρid➡i,name➡n,chief➡c,age➡a(people)))

tests_dir/name_age.result

@@ -0,0 +1,9 @@
+name,age
+eve,25
+dean,33
+carl,20
+paul,30
+john,30
+jack,22
+duncan,30
+alia,28

tests_dir/older_than_boss.query

@@ -0,0 +1 @@
+ρn➡chief_name,a➡chief_age(πname,age,n,a(σ i==chief and age>a (π i,c,n,a(ρage➡a,id➡i,chief➡c,name➡n(people))*people)))

tests_dir/older_than_boss.result

@@ -0,0 +1,7 @@
+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

tests_dir/par1.query

@@ -0,0 +1 @@
+σ name=='(' (people)

tests_dir/par1.result

@@ -0,0 +1 @@
+id,name,chief,age

tests_dir/par2.query

@@ -0,0 +1 @@
+σ (name=='(') (people)

tests_dir/par2.result

@@ -0,0 +1 @@
+id,name,chief,age

tests_dir/par3.query

@@ -0,0 +1 @@
+σ (name==')') (people)

tests_dir/par3.result

@@ -0,0 +1 @@
+id,name,chief,age

tests_dir/par4.query

@@ -0,0 +1 @@
+σ name==')' (people)

tests_dir/par4.result

@@ -0,0 +1 @@
+id,name,chief,age

tests_dir/people.query

@@ -0,0 +1 @@
+people

tests_dir/people.result

@@ -0,0 +1,9 @@
+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

tests_dir/people_fjoin_personroom.query

@@ -0,0 +1 @@
+people⧓person_room

tests_dir/people_fjoin_personroom.result

@@ -0,0 +1,9 @@
+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

tests_dir/people_join_personroom.query

@@ -0,0 +1 @@
+people⋈person_room

tests_dir/people_join_personroom.result

@@ -0,0 +1,9 @@
+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

tests_dir/people_join_rooms.query

@@ -0,0 +1 @@
+people⧓person_room ⧓ rooms

tests_dir/people_join_rooms.result

@@ -0,0 +1,13 @@
+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"

tests_dir/people_join_select_args_on_both_tables.query

@@ -0,0 +1 @@
+σ skill=='C' and age<25 and skill!=name(people ⋈ skills)

tests_dir/people_join_select_args_on_both_tables.result

@@ -0,0 +1,2 @@
+id,name,chief,age,skill
+0,jack,0,22,C

tests_dir/phones_of_people_with_personal_room.query

@@ -0,0 +1 @@
+πname,phone(((πname,id(people)- π name,id(πid(σ i!=id and room==r(ρ id➡i,room➡r(person_room)*person_room)) ⋈ people)) ⋈ person_room) ⋈ rooms)

tests_dir/phones_of_people_with_personal_room.result

@@ -0,0 +1,2 @@
+phone,name
+1041,carl

tests_dir/php.query

@@ -0,0 +1 @@
+σ age<30 and skill=='PHP' (people ⋈ skills)

tests_dir/php.result

@@ -0,0 +1,2 @@
+id,name,chief,age,skill
+7,alia,1,28,PHP

tests_dir/pswap.python

@@ -0,0 +1 @@
+people.projection("name","id","age","chief")==people

tests_dir/pswap.result

@@ -0,0 +1 @@
+True

tests_dir/python_and_c.query

@@ -0,0 +1 @@
+πname (σ skill=='C' (people ⋈ skills)) ∩ π name (σ skill=='Python' (people ⋈ skills))

tests_dir/python_and_c.result

@@ -0,0 +1,3 @@
+name
+jack
+alia

tests_dir/quot1.query

@@ -0,0 +1 @@
+σ id=='\'' (people)

tests_dir/quot1.result

@@ -0,0 +1 @@
+id,name,chief,age

tests_dir/redoundant_union_select.query

@@ -0,0 +1 @@
+σ (id==2) (σ age>5 (people ∪ people))

tests_dir/redoundant_union_select.result

@@ -0,0 +1,2 @@
+id,name,chief,age
+2,john,1,30

tests_dir/rel_eq.python

@@ -0,0 +1 @@
+people=='ciao'

tests_dir/rel_eq.result

@@ -0,0 +1 @@
+False

tests_dir/rename_insert1.py

@@ -0,0 +1,4 @@
+p1=people.rename({"id":"ido"})
+people.insert((123,"lala",0,31))
+assert people!=p1
+people.delete("id==123")

tests_dir/rename_insert2.py

@@ -0,0 +1,4 @@
+p1=people.rename({"id":"ido"})
+p1.insert((123,"lala",0,31))
+assert people!=p1
+people.delete("id==123")

tests_dir/right_join.query

@@ -0,0 +1 @@
+people ⧒ skills

tests_dir/right_join.result

@@ -0,0 +1,18 @@
+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