- Added tests

git-svn-id: http://galileo.dmi.unict.it/svn/relational/trunk@258 014f5005-505e-4b48-8d0a-63407b615a7c
master
LtWorf 2010-10-06 21:44:13 +07:00
parent 8224033881
commit 3d21363e46
10 changed files with 32 additions and 0 deletions

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

@ -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

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

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

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

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

@ -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)))

@ -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

@ -0,0 +1 @@
people-π id,name,chief,age(σ age>a(π a(ρ id➡i,age➡a(people))*people))

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