mysql内部连接关联所有元组

Question

我有以下表格：

copy(movie_id,copy_id)
rented(copy_id,outdate,returndate)

如果电影被出租，returndate在数据库中设置为null。

同一部电影会有多个副本。对于单个movie_id，我们可以有多个copy_id。

我需要检索已完全租出的电影，即所有电影的副本都已被租出或以另一种方式放置 - 电影的所有副本都存在于已租借的表中，并且返回日期设置为空。

我尝试过内部联接，但无法将复制表中的所有元组与租用的表相关联。

每个副本都有一个全局唯一的 copy_id。因此，两部不同电影的副本不能具有相同的 copy_id。

如果副本从未被租过，它不会出现在列表中，但这意味着这部电影仍然有库存，因为它从未被租过。这不应该出现。

如果多次租借，同一部电影和副本肯定会出现多次租借。

Answer 1

您可以按movie_id分组并计算returndate为null的位置：

SELECT DISTINCT movie_id
FROM copy
JOIN rented
ON copy.copy_id = rented.copy_id
GROUP BY copy.movie_id HAVING COUNT(rented.returndate IS NULL) = 0

Answer 2

这比我想象的要困难一些。我相信这是正确的答案。

“所有电影，其所有副本都存在一个租借的，returndate 为空”

在数学符号中（A=代表所有，E=存在）：

{ 米：米| (A c : C | c.movi​​e_id = m.movi​​e_id @( E r : R | r.copy_id = c.copy_id @ r.returndate = null )) @ m.movi​​e_id }

可以改写为：

“所有电影，不存在副本，不存在租借的，returndate 为空”

转换为以下 SQL。

SELECT DISTINCT m.movie_id
FROM Copy m
WHERE NOT EXISTS
  (SELECT 1 FROM Copy c
  WHERE c.movie_id = m.movie_id
  AND NOT EXISTS
    (SELECT 1 FROM Rented r
    WHERE r.copy_id = c.copy_id
    AND returndate IS NULL)

Answer 3

您可以使用left join 和带有having 子句的聚合来做您想做的事情。然后，计算没有返回日期的记录数，并将其与副本数进行比较：

SELECT c.movie_id
FROM copy c LEFT JOIN
     rented r
     ON c.copy_id = r.copy_id
GROUP BY c.movie_id
HAVING SUM(r.returndate IS NULL) = COUNT(DISTINCT c.copy_id)

注意使用SUM() 进行比较。这会计算值为“true”的行数。

上述查询假设一个副本一次不能多次租用。一个合理的假设，但总是值得检查。另一个 having 子句考虑了这一点：

HAVING count(distinct case when r.returndate is null then c.copy_id end) = count(distinct c.copy_id)