对于与您的相关关系对应的表，给出以下命令：

create table Boats(
  bid int,
  bname varchar(50),
  color varchar(50)
);

create table Reserves(
  sid int,
  bid int,
  day date
);

字符串
您可以相当直接地将除法公式（3）翻译成Oracle SQL语法，尽管它很冗长：

-- All sailors who reserved at least one boat
SELECT DISTINCT sid
FROM Reserves

MINUS 

-- All sailors who reserved at least one boat, but not all of them
SELECT sid
FROM (
  -- all combinations of a sailor who reserved any boat with any boat
  -- available to be reserved:
  SELECT Reserves.sid, Boats.bid
  FROM
    Reserves
    CROSS JOIN
    Boats

  MINUS

  -- all combinations of sailor and boat for actual reservations made
  SELECT sid, bid
  FROM Reserves
) sids

型
正如所指定的那样，它只使用CROSS JOIN和MINUS操作，以便直接对应于关系代数公式。然而，在现实世界的数据库应用程序中，人们肯定会通过完全不同的查询获得相同的结果。
还要注意的是，SQL数据库可能并且确实违反了形式关系代数的原则，即关系不包含重复的元组。这就是第一个子查询中使用SELECT DISTINCT的原因。在查询的其他地方策略性地应用不同的选择可能会使其更有效，但不会改变结果。

查询将是：

select 
  sailors.sname 
from (
  select r.sid 
    from reserves r 
   group by r.sid
   having count(distinct r.bid) = (select count(*) from boats) ) fullRes
join sailors 
on sailors.sid = fullRes.sid

字符串
你可以在这里测试：
例如