sql - 関係代数 DIVISION に相当する SQL

Question

ここに例があります T(A) = RENTED(A,C) / BOATS(C)

select distinct R1.A from RENTED R1  
where not exists                     
  (select * from SAILBOAT S     
   where not exists                  
     (select * from RENTED R2        
      where R1.A = R2.A              
        and R2.C = S.C)              
   );

私の質問は、または をNOT EXISTS返すだけの場合、どの値を返すかをどうやって知るTRUEのFALSEですか?SELECT distinct R1.A

たとえば、この jsfiddle

このクエリは、数値 = 5 が存在する場合、数値列にすべてを返します。