使用PostgreSQL中的EXCLUDE防止相邻/重叠的条目

Question

我正在创建一个在PostgreSQL 9.2.4中存储任意日期/时间范围的数据库。我想在这个数据库上设置一个约束，它强制日期/时间范围不重叠，不相邻（因为两个相邻的范围可以表示为单个连续范围）。

为此，我使用带有GiST索引的EXCLUDE约束。这是我目前的约束：

ADD CONSTRAINT overlap_exclude EXCLUDE USING GIST (
    box(
        point (
            extract(EPOCH FROM "from") - 1,
            extract(EPOCH FROM "from") - 1
        ),
        point (
            extract(EPOCH FROM "to"),
            extract(EPOCH FROM "to")
        )
    ) WITH &&
);

列from和to都是TIMESTAMP WITHOUT TIME ZONE，并且是以UTC格式存储的日期/时间（在我的应用程序中将数据插入这些列之前我转换为UTC，并且我在postgresql.conf中将我的数据库的时区设置为“UTC”）。

但是，我想我可能遇到的问题是，这个约束正在做出（错误的）假设，即没有小于一秒的时间增量。

值得注意的是，对于我存储的特定数据，我只需要第二个分辨率。但是，我觉得我可能仍然需要处理这个问题，因为SQL类型timestamp和timestamptz的分辨率都高于一秒。

我的问题是：是否有任何问题，只是假设第二个解决方案，因为这是我的所有应用程序需要（或想要），或者，如果有，我怎么能改变这个约束来处理一个秒的分数健壮的方式？

Answer 1

范围类型consist of a lower and an upper border, which can be included or excluded。典型用例（范围类型的默认值）是包含下限并排除上限。

排除重叠范围似乎很清楚。有一个nice code example in the manual

此外，使用adjacent operator -|-创建另一个排除约束以排除相邻条目。两者都必须基于GiST索引，因为目前不支持GIN。

为了保持干净，我将使用[)为CHECK constraint强制执行所有条目的range functions界限（包括较低和排除上限）：

CREATE TABLE tbl (
   tbl_id serial PRIMARY KEY
 , tsr tsrange
 , CONSTRAINT tsr_no_overlap  EXCLUDE USING gist (tsr WITH &&)
 , CONSTRAINT tsr_no_adjacent EXCLUDE USING gist (tsr WITH -|-)
 , CONSTRAINT tsr_enforce_bounds CHECK (lower_inc(tsr) AND NOT upper_inc(tsr))
);

db <>小提琴here （老SQL Fiddle）

不幸的是，这创建了两个相同的GiST索引来实现两个排除约束，其中一个就足够了，逻辑上。这似乎是当前实施的一个缺点（至少是Postgres 11）。

Answer 2

您可以使用9.2中引入的范围类型重写排除。更好的是，您可以用范围替换这两个字段。请参阅此处的“范围约束”，其中的示例基本上与您的用例相符：

http://www.postgresql.org/docs/current/static/rangetypes.html

Answer 3

但是，我想我可能遇到的问题是，这个约束正在做出（错误的）假设，即没有小于一秒的时间增量。

你在那里好，考虑一下：

select 
  extract ('epoch' from now())
  , extract ('epoch' from now()::timestamp(0))