Change relational language to use math symbols

The symbols previously used were a Canadian script, and were looking good enough, but they might not be installed in every machine. Besides, all this is to workaround a Qt5 bug that prevents from rendering those symbols at times.
2015-05-31 19:01:03 +02:00
parent 7e1c2c964c
commit 8cb08ad030
19 changed files with 30 additions and 33 deletions
--- a/test/c_programmers.query
+++ b/test/c_programmers.query
@@ -1 +1 @@
-σ skill=='C'(people ᐅᐊ skills)
+σ skill=='C'(people ⋈ skills)
--- a/test/fixed_len_name.query
+++ b/test/fixed_len_name.query
@@ -1 +1 @@
-σ (len(name)==4)(peopleᐅᐊ skills) 
+σ (len(name)==4)(people ⋈ skills)
--- a/test/intersection1.query
+++ b/test/intersection1.query
@@ -1 +1 @@
-σ name=='eve' (people) ᑎ people
+σ name=='eve' (people) ∩ people
--- a/test/intersection2.query
+++ b/test/intersection2.query
@@ -1 +1 @@
-people ᑎ σ name=='eve' (people)
+people ∩ σ name=='eve' (people)
--- a/test/max_rating_in_age_range.query
+++ b/test/max_rating_in_age_range.query
@@ -1 +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))
+(σ 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))
--- a/test/people_join_select_args_on_both_tables.query
+++ b/test/people_join_select_args_on_both_tables.query
@@ -1 +1 @@
-σ skill=='C' and age<25 and skill!=name(people ᐅᐊ skills)
+σ skill=='C' and age<25 and skill!=name(people ⋈ skills)
--- a/test/phones_of_people_with_personal_room.query
+++ b/test/phones_of_people_with_personal_room.query
@@ -1 +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)
+π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)
--- a/test/php.query
+++ b/test/php.query
@@ -1 +1 @@
-σ age<30 and skill=='PHP' (people ᐅᐊ skills)
+σ age<30 and skill=='PHP' (people ⋈ skills)
--- a/test/redoundant_union_select.query
+++ b/test/redoundant_union_select.query
@@ -1 +1 @@
-σ (id==2) (σ age>5 (people ᑌ people))
+σ (id==2) (σ age>5 (people ∪ people))
--- a/test/select_join_opt.query
+++ b/test/select_join_opt.query
@@ -1 +1 @@
-σ skill=='C' and chief==0 ((σ age<30 (people) ᑌ σ age>40(people)) ᐅᐊ skills)
+σ skill=='C' and chief==0 ((σ age<30 (people) ∪ σ age>40(people)) ⋈ skills)
--- a/test/skill_of_best_person.query
+++ b/test/skill_of_best_person.query
@@ -1 +1 @@
-πname,age,skill((ratings-πid,rating(σ r>rating (ρrating➡r(πrating(ratings )) * ratings)) ᐅᐊ people) ᐅᐊ skills)
+πname,age,skill((ratings-πid,rating(σ r>rating (ρrating➡r(πrating(ratings )) * ratings)) ⋈ people) ⋈ skills)
--- a/test/union1.query
+++ b/test/union1.query
@@ -1 +1 @@
-σ age<30 (σ (id%2==0) (people) ᑌ σ age>22(people))
+σ age<30 (σ (id%2==0) (people) ∪ σ age>22(people))
--- a/test/union2.query
+++ b/test/union2.query
@@ -1 +1 @@
-people ᑌ σ name=='eve' (people)
+people ∪ σ name=='eve' (people)
--- a/test/union3.query
+++ b/test/union3.query
@@ -1 +1 @@
-σ name=='eve' (people) ᑌ people
+σ name=='eve' (people) ∪ people
--- a/test/union4.query
+++ b/test/union4.query
@@ -1 +1 @@
-people ᑌ people ᑎ people
+people ∪ people ∩ people
--- a/test/union_and_select.query
+++ b/test/union_and_select.query
@@ -1 +1 @@
-σ skill=='C'(skills) ᑎ σ id%2==0 (skills)
+σ skill=='C'(skills) ∩ σ id%2==0 (skills)
--- a/test/union_or_select.query
+++ b/test/union_or_select.query
@@ -1 +1 @@
-σ age<21 (people) ᑌ σage >30(people)
+σ age<21 (people) ∪ σage >30(people)