解决SQL中全称量词 转变为 存在量词的案例

1、

至少使用了s1供应的商品的工程号

不存在 p:S1供应商品 q: jno 没有用该商品

select  jno

from spj  a

where not exists(

            select *from spj b

            where b.sno='s1'   and not exists (

                       select *from spj c

                       where c.jno=a.jno and c.pno=b.pno)

);

2、

所有用了2016项目使用的全部货物的项目号

不存在 p:2016使用了该货物 q: jno 没有用该货物

 

select  jno

from outstock a

where not exitsts(

            select * from outstock b

           where  b.jno='2016' and not exists(

                       select * from outstock c

                       where c.jno=a.jno and c.pno=b.pno

                    )

);

3、

所有项目都使用过的物资名称

不存在一种物资 p:项目没有使用过该物资

select matno

from stock

where  not exists (

          select pno

          from salvaging

          where not exitsts(

                     select * from outstock

                     where outstock.matno=stock.matno  and  outstock.pno=salvaging.pno)

);