关系代数中的除法运算用sql语句怎么实现？

Question

select jno/pno,pno from spj where sno='s1'

Answer 1

select jno from spj spjx
where not exists
(
  select * from spj spjy
  where spjy.sno='s1' and not exists
(
  select * from spj spjz
  where spjz.jno=spjx.jno and spjy.pno=spjz.pno
)
)

Answer 2

select jno, pno from spj
where pno in (select pno from spj from sno='s1');orselect jno, pno from spj a
where exists (select pno from spj b
where sno = 's1'
and a.pno = b.pno);

Answer 3

select distict a.jno
  from spjx as a 
  where sno='s1' and jno not in (
  ----去掉部分使用的项目
   select jno
      from spjx 
      where sno='s1' 
      group by jno
      having count(distinct pno)<(
                 select count(distinct pno)
                       from spjx
                       where sno='s1' 
                 )
  )

Answer 4

直接的写法是select distict a.jno
  from spjx as a 
  where sno='s1' and jno not in (
  ----去掉部分使用的项目
   select jno
      from （
       ---项目同零件的全连接
         select jno,pno
            from(
                 select distinct jno
                    from spjx 
                    where sno='s1'
                 ) as k,
                (
                 select distinct pno
                    from spjx 
                    where sno='s1'
                 ) as l
      ）as b
      where not exist (select *
                       from spjx c
                       where sno='s1'
                         and b.jno=c.jno and b.pno=c.pno 
                 )
  )