Test cases for optimization fix

Add test cases that would fail in previous versions
because of the just fixed optimization.
master
Salvo 'LtWorf' Tomaselli 2016-04-09 10:09:01 +07:00
parent 002aca3f68
commit dc193fee39
6 changed files with 14 additions and 0 deletions

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

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

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

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

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

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