COMPANY DATABASE Test Cases with query answers

--------------------------------------------------------------------------
{ u,v | (exists t,w,x,y,z)( employee('John','B','Smith',t,u,v,w,x,y,z) ) }

ANSWER(U:VARCHAR,V:VARCHAR)

Number of tuples = 1
09-Jan-55:731 Fondren, Houston, TX:
--------------------------------------------------------------------------
{ q,s,v | (exists r,t,u,w,x,y,z,n,o)(
          employee(q,r,s,t,u,v,w,x,y,z) and 
          department('Research',z,n,o) ) }

ANSWER(Q:VARCHAR,S:VARCHAR,V:VARCHAR)

Number of tuples = 4
Franklin:Wong:638 Voss, Houston, TX:
John:Smith:731 Fondren, Houston, TX:
Ramesh:Narayan:971 Fire Oak, Humble, TX:
Joyce:English:5631 Rice, Houston, TX:
--------------------------------------------------------------------------
{ i,k,s,u,v | (exists h,q,r,t,w,x,y,z,l,o)(
              projects(h,i,'Stafford',k) and 
              employee(q,r,s,t,u,v,w,x,y,z) and 
              department(l,k,t,o) ) }

ANSWER(I:INTEGER,K:INTEGER,S:VARCHAR,U:VARCHAR,V:VARCHAR)

Number of tuples = 2
10:4:Wallace:20-JUN-31:291 Berry, Bellaire, TX:
30:4:Wallace:20-JUN-31:291 Berry, Bellaire, TX:
--------------------------------------------------------------------------
{ q,s | (exists r,t,u,v,w,x,y,z)(
        employee(q,r,s,t,u,v,w,x,y,z) and 
        not ((exists m,n,o,p)(dependent(t,m,n,o,p))) ) }

ANSWER(Q:VARCHAR,S:VARCHAR)

Number of tuples = 34
James:Borg:
Alicia:Zelaya:
Ramesh:Narayan:
Joyce:English:
Ahmad:Jabbar:
Jared:James:
John:James:
Jon:Jones:
Justin:Mark:
Brad:Knight:
Evan:Wallis:
Josh:Zell:
Andy:Vile:
Tom:Brand:
Jenny:Vos:
Chris:Carter:
Kim:Grace:
Jeff:Chase:
Sam:Snedden:
Nandita:Ball:
Bob:Bender:
Jill:Jarvis:
Kate:King:
Lyle:Leslie:
Billie:King:
Jon:Kramer:
Ray:King:
Gerald:Small:
Arnold:Head:
Helga:Pataki:
Naveen:Drew:
Carl:Reedy:
Sammy:Hall:
Red:Bacher:
--------------------------------------------------------------------------
{ q,s | (exists r,t,u,v,w,x,y,z)(
        employee(q,r,s,t,u,v,w,x,y,z) and 
       (forall l,m,n,o,p)(not (dependent(l,m,n,o,p)) or t<>l) )} 

TYPE ERROR: Variable T has type UNKNOWN but variable L has type VARCHAR
--------------------------------------------------------------------------
{ s,q | (exists r,t,u,v,w,x,y,z,h,i,k,m,n,o,p)(
           employee(q,r,s,t,u,v,w,x,y,z) and 
           department(h,i,t,k) and
           dependent(t,m,n,o,p) ) }

ANSWER(S:VARCHAR,Q:VARCHAR)

Number of tuples = 3
Wong:Franklin:
Wallace:Jennifer:
Freed:Alex:
--------------------------------------------------------------------------