使用 NOT EXISTS 接受所有贷款的借款人

Question

我想找到接受了所有贷款类型的借款人。

架构：

loan (number (PKEY), type, min_rating)
borrower (cust (PKEY), no (PKEY))

示例表：

number | type     | min_rating
------------------------------
L1     | student  | 500
L2     | car      | 550
L3     | house    | 500
L4     | car      | 700
L5     | car      | 900

cust  | no 
-----------
Jim   | L2
Tom   | L1
Tom   | L2
Tom   | L3
Tom   | L4
Tom   | L5
Bob   | L3

这里的答案是 "Tom"。

我可以简单地计算贷款总数并将借款人的贷款数与其进行比较，但我不允许这样做（这是一项作业练习），为了作业和学习。

我想使用双重否定，首先找到没有接受所有贷款的借款人，然后找到不在该集合中的借款人。我想在 NOT EXISTS 中使用嵌套，在这里我首先找到没有接受所有贷款的借款人，但我无法为此创建有效的查询。

Answer 1

我认为最好的第一步是采用借款人和贷款的笛卡尔积*，然后使用 where 子句过滤掉您的 "borrowers" table。（虽然我认为这会使用 NOT IN 而不是 NOT EXISTS，所以可能与您的想法不完全一样？）

(* 需要注意的是笛卡尔积是一件很糟糕的事情，在现实生活中这样做之前你需要非常仔细地考虑性能)

ETA：NOT EXISTS 变体可能如下所示：像以前一样使用笛卡尔积，对 borrower 和 loan 的组合进行相关子查询，然后使用带有 NOT EXISTS 条件的 WHERE 子句过滤此查询是否 returns 任何行。

Answer 2

select cust from borrower
except
select t.cust
from (select distinct cust,number
      from borrower cross join loan) t
left join borrower b on t.cust = b.cust and t.number = b.num
where b.num is null

Fiddle

从借款人那里获取 cross join 客户，从贷款中获取贷款数量。然后left join borrower table 寻找还没有贷款的客户。最后用except给select已经贷款的客户

Answer 3

一个简单的方法是使用事实：

当没有连接时，外连接会给你空值
coalesce() 可以将 null 变成空白（总是小于实际值）

因此，没有所有贷款类型的人的最小合并贷款数将为空白：

select cust
from borrower b
left join loan l on l.number = b.no
group by cust
having min(coalesce(l.number, '')) > ''

group-by 巧妙地回避了多次选择人员的问题（以及经常需要的丑陋的子查询），并依赖于贷款编号永远不会为空的相当合理的假设。即使那是可能的，您仍然可以找到使这种模式起作用的方法（例如，将 min_rating 合并为负数等）。

上面的查询可以重写，可能更易读，使用 NOT IN 表达式：

select distinct cust
from borrower
where cust not in (
  select cust
  from borrower b
  left join loan l on l.number = b.no
  where l.number is null
)

利用错过的连接 returns 所有空值这一事实，内部查询的 where 子句仅保留 错过的 连接。

您需要使用 DISTINCT 来阻止借款人出现两次。

您的模式有问题 - 借款人和负载之间存在多对多关系，但您的模式处理得不好。 borrower应该每人一行，还有一个关联table来记录借款人贷款的事实：

create table borrower (
    id int,
    name varchar(20)
    -- other columns about the person
);

create table borrrower_loan (
    borrower_id int, -- FK to borrower
    load_number char(2) -- FK to loan
);

这意味着您不需要 distinct 运算符（留给您找出原因），但也可以处理现实生活中的情况，例如两个同名的借款人。

使用 NOT EXISTS 接受所有贷款的借款人

Borrowers that take all loans using NOT EXISTS

sql

sqlite

relational-division