防止日期范围重叠的表级约束

Question

下面是我需要设置约束的架构，以便可以为房间号输入第二个新条目，甚至在相同房间号的现有 depDt 之前。你们中的任何人都可以帮我解决这个问题吗？

CREATE TABLE Accomodation (
  roomNo INTEGER NOT NULL,
  arrDt DATE NOT NULL,
  depDt DATE NOT NULL,
  PRIMARY KEY (roomNo, arrDt), 
  CONSTRAINT date_chk CHECK (arrDt < depDt)
);

INSERT INTO HotelStays(roomNo, arrDt, depDt) VALUES 
  (123, to_date('20160202', 'YYYYMMDD'),to_date('20160206','YYYYMMDD')),
  (123, to_date('20160205', 'YYYYMMDD'), to_date('20160208','YYYYMMDD'));

我尝试在 CONSTRAINTS 中的 WHERE 下提供子查询，但它在 SQL Fiddle 中不起作用。

Answer 1

这可以在日期范围内使用exclusion constraint 来完成：

alter table Accomodation
  add constraint no_overlap 
  exclude using gist (roomno with =, daterange(arrdt, depdt) with &&);

请注意，您需要 btree_gist extension 来支持 GiST 索引中的 = 运算符。

Answer 2

注意：这并不能解决竞争条件的问题。

创建一个函数，根据您的条件检查房间是否可用，并返回一个可用于CHECK 约束的标量布尔值。

在这里你可以预览它是如何工作的（记得取消注释最后一个插入语句）：SQL FIDDLE

CREATE FUNCTION is_room_available(int, date)
RETURNS boolean
STABLE
LANGUAGE plpgsql
AS 
$$
BEGIN
  IF EXISTS ( SELECT 1 FROM Accomodation WHERE roomNo = $1 AND $2 BETWEEN arrDt AND depDt ) THEN
    RETURN false;
  END IF;

  RETURN true;
END;
$$;

使用新约束创建表

CREATE TABLE Accomodation (
  roomNo INTEGER NOT NULL,
  arrDt DATE NOT NULL,
  depDt DATE NOT NULL,
  PRIMARY KEY (roomNo, arrDt), 
  CONSTRAINT date_chk CHECK (arrDt<depDt),
  CONSTRAINT room_avail CHECK (is_room_available(roomNo, arrDt)) -- added
  );

尝试在单独的语句中插入两行

INSERT INTO Accomodation(roomNo, arrDt, depDt)
VALUES 
(123, to_date('20160202', 'YYYYMMDD'), to_date('20160206','YYYYMMDD'));

INSERT INTO Accomodation(roomNo, arrDt, depDt)
VALUES 
(123, to_date('20160205', 'YYYYMMDD'), to_date('20160208','YYYYMMDD'));

第一个值被插入，而当发出第二个插入语句时，你得到一个检查约束违规

错误：关系“住宿”的新行违反检​​查约束“room_avail”详细信息：失败的行包含 (123, 2016-02-05, 2016-02-08)。

注意：这也可以使用触发器轻松实现。您只需稍微修改函数并发出CREATE TRIGGER 语句即可。