如果满足条件，则插入 JOOQ

Question

我有一张桌子叫TimeTracks:

CREATE TABLE "TimeTracks" (
    "id" uuid PRIMARY KEY,
    "startTime" timestamp(3) NOT NULL,
    "endTime" timestamp(3),
    "taskId" uuid NOT NULL REFERENCES "Tasks"("id"),
    UNIQUE ("taskId", "endTime")
);

在插入时间轨迹时，必须满足以下条件：

具有相同taskId 的时间轨迹的startTime 和endTime 之间的时间跨度可能不会重叠。

当使用原始 SQL 时，人们建议这样做：

insert into TimeTrack (id, startTime, endTime, taskId)
select
    'some Id', 'some startTime', 'some endTime', 'some taskId'
where not exists (
    select * from TimeTrack where
    (('some startTime' between startTime and endTime)
    or ('some endTime' between startTime and endTime))
    and ('some taskId' == taskId)
);

我怎样才能在 JOOQ 中做同样的事情（或具有相同结果的事情）？

（我使用的是 PostgreSQL）

Answer 1

这直接转化为 jOOQ SQL：

Timetracks t = TIMETRACKS;

ctx.insertInto(t)
   .columns(t.ID, t.STARTTIME, t.ENDTIME, t.TASKID)
   .select(
       select(val(someId), val(someStartTime), val(someEndTime), val(someTaskId))
      .whereNotExists(
           selectFrom(t)
          .where( val(someStartTime).between(t.STARTTIME).and(t.ENDTIME)
              .or(val(someEndTime).between(t.STARTTIME).and(t.ENDTIME)) )
          .and(val(someTaskId).eq(t.TASKID))
       )
   )
   .execute();

上面一如既往地假设以下静态导入：

import static org.jooq.impl.DSL.*;