JPA-确保没有保留与所需保留发生冲突

如何解决JPA-确保没有保留与所需保留发生冲突

我正在为一个项目构建一个简单的可出租预订应用程序。如果没有其他与要求相冲突的预订，则用户可以预订房屋。
我有两个Entity类-Rentable和Reservation
预订具有@ManyToOne关系与可租赁物和2个感兴趣的字段-reserveFrom和reserveUntil。
问题如下：
因为我希望提供分页功能，所以我需要一种返回大块响应的方法，因此，应用程序级解决方案（即通过将所有内容加载到内存中进行过滤等）非常昂贵。
用户应该能够提供两个日期（从，到），然后返回大块可用的可出租物品。

有关如何实现此查询的任何指导原则？我可以看到以下情况：如果某个其他的预留r2属于可租用的房屋，则
，某个特定的预留r1不能使用出租房屋
r2.reserveFrom r2.reserveFrom r1.reserveFrom

到目前为止，我想到的基准查询如下（输入：f（从），t（到））

SELECT DISTINCT rentable
FROM Rentable rentable JOIN Reservation reservation
WHERE NOT (f BETWEEN reservation.reserveFrom AND reservation.reserveUntil
OR t BETWEEN reservation.reserveFrom AND reservation.reserveUntil
OR (f > reservation.reserveFrom AND t < reservation.reserveUntil))

这个问题是，仅仅因为一行通过了过滤器，并不意味着应该返回可租用的资产（其他行可能会取消其资格）。
我觉得必须包含一些EXISTS子句。任何帮助表示赞赏。

解决方法

您对存在的期望已达到目标，更具体地说，不存在。看起来您已经确定了重叠覆盖率，没有必要，Postgres为此内置了运算符。而不是使用单个日期，而是将表格日期和参数日期都合并到DATERANGE中，然后应用OVERLAP运算符（&&）。结果将是一个确实有重叠的列表。进入NOT EXISTS谓词。

create or replace 
function available_rentables(from_date_in date,to_date_in date)
  returns setof rentable
  language sql
as $$
with request (parm_range) as 
     ( select  daterange ( from_date_in,to_date_in,'[]'
                         )    
     )   
select *
  from rentable  ren
 where not exists 
       (select null 
          from reservation res
          join request   
            on daterange(res.from_date,res.to_date) && parm_range
       );
$$; 

以上内容为您提供了指定的from_date至to_date范围内的可用租金清单。以上假设范围包括两个端点。另外，根据整体使用情况，您可以将from_date和to_date列保留存储为单个日期范围。
正如@a_horse_with_no_name所建议的那样，排他约束将是数据库级别的良好保证。