3d21363e46
git-svn-id: http://galileo.dmi.unict.it/svn/relational/trunk@258 014f5005-505e-4b48-8d0a-63407b615a7c
2 lines
135 B
Plaintext
2 lines
135 B
Plaintext
ρ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)))
|