MOVIE DATABASE Test cases with answers
-------------------------------------------------------------------------
{ D | (exists T)(movies(T,D) and actors(T,D)) }

ANSWER(D:VARCHAR)

Number of tuples = 1
Hitchcock:
-------------------------------------------------------------------------
{ T | movies(T,'Kurosawa') or (exists S)(plays('Odeon',T,S)) }

ANSWER(T:VARCHAR)

Number of tuples = 4
Ran:
Ran II:
Nora Inu:
Frenzy:
-------------------------------------------------------------------------
{ D | (exists Z)(movies(Z,D) and 
       not((exists A,X,Y)(movies(X,D) and actors(Y,A) and 
                          not((exists T)(actors(T,A) and movies(T,D))))))}

ANSWER(D:VARCHAR)

Number of tuples = 1
Kurosawa:
-------------------------------------------------------------------------
{ A | (exists X)(actors(X,A) and 
      not((exists T)(actors(T,A) and not(movies(T,'Kurosawa')))))}

ANSWER(A:VARCHAR)

Number of tuples = 3
Nakadai:
Akari:
Watari:
-------------------------------------------------------------------------
{ X,Y | (exists T1,T2)(actors(T1,X) and actors(T2,Y) and X<Y and
   not ((exists U,S)(actors(U,Y) and actors(S,X) and not (actors(S,Y)))) and
   not ((exists V,T)(actors(V,X) and actors(T,Y) and not (actors(T,X)))) 
 )}

ANSWER(X:VARCHAR,Y:VARCHAR)

Number of tuples = 3
Brando:Duvall:
Nezu:Terao:
Akari:Watari:
-------------------------------------------------------------------------