6

所以我只是在阅读PostgreSQL 中的排除约束，我似乎找不到在位串上使用位运算符的方法，我想知道这是否可能。

我的用例是我有一name: text列和一value: bit(8)列。我想创建一个基本上这样说的约束：

ADD CONSTRAINT route_method_overlap
EXCLUDE USING gist(name WITH =, value WITH &)

但这不起作用，因为

运算符 &(bit,bit) 不是运算符系列“gist_bit_ops”的成员

我认为这是因为 bit_ops & 运算符不返回布尔值。但是有没有办法做我想做的事情？有没有办法强制operator &将其返回值转换为布尔值？

编辑

忘记版本号了。这是在 9.1.4 上安装的“btree_gist”扩展，全部来自 Ubuntu 12.04 存储库。但版本无关紧要。如果上游有修复/更新，我可以从存储库安装。我还处于这个设计阶段。

4

1 回答 1

6

您安装了扩展btree_gist。没有它，该示例将在name WITH =.

CREATE EXTENSION btree_gist;

安装的算子类btree_gist覆盖了很多算子。不幸的是，&运营商不在其中。显然，因为它不返回boolean预期运营商符合条件的 a 。

替代解决方案

我会使用 b-tree多列索引（用于速度）和触发器的组合。考虑这个演示，在 PostgreSQL 9.1上测试：

CREATE TABLE t (
  name text 
, value bit(8)
);

INSERT INTO t VALUES ('a', B'10101010'); 

CREATE INDEX t_name_value_idx ON t (name, value);

CREATE OR REPLACE FUNCTION trg_t_name_value_inversion_prohibited()
  RETURNS trigger
  LANGUAGE plpgsql AS
$func$
BEGIN
   IF EXISTS (
      SELECT FROM t
      WHERE (name, value) = (NEW.name, ~ NEW.value)  -- example: exclude inversion
      ) THEN

       RAISE EXCEPTION 'Your text here!';
   END IF;

   RETURN NEW;
END
$func$;

CREATE TRIGGER insup_bef_t_name_value_inversion_prohibited
BEFORE INSERT OR UPDATE OF name, value  -- only involved columns relevant!
ON t
FOR EACH ROW
EXECUTE FUNCTION trg_t_name_value_inversion_prohibited();

INSERT INTO t VALUES ('a', ~ B'10101010');  -- fails with your error msg.

在 Postgres 10 或更早版本中使用：

...
EXECUTE PROCEDURE trg_t_name_value_inversion_prohibited();

看：

~是反演算子。

在这种情况下btree_gist不需要扩展。

为了提高效率，我将触发器限制在INSERT OR UPDATE OF相关列。

检查约束不起作用。我引用手册CREATE TABLE：

目前，CHECK表达式不能包含子查询，也不能引用除当前行的列之外的变量。

大胆强调我的。

应该执行得很好，实际上比排除约束要好，因为维护 b-tree 索引比 GiST 索引便宜。并且使用基本=运算符的查找应该比使用&运算符的假设查找更快。

此解决方案不像排除约束那样万无一失，因为触发器可以更容易地被规避 - 例如在同一事件的后续触发器中，或者如果触发器被暂时禁用。如果出现此类情况，请准备好对整张桌子进行额外检查。

更复杂的条件

示例触发器仅捕获value. 正如您在评论中澄清的那样，您实际上需要这样的条件：

IF EXISTS (
      SELECT FROM t
      WHERE  name = NEW.name
      AND    value & NEW.value <> B'00000000'::bit(8)
      ) THEN

这种条件稍微贵一些，但仍然可以使用索引。上面的多列索引可以工作 - 如果你有使用它的话。或者，更有效的是，一个简单的名称索引：

CREATE INDEX t_name_idx ON t (name);

您评论说，每个最多只能有 8 个不同的行name，实际上更少。所以这应该还是很快的。

终极插入性能

如果INSERT性能是最重要的，特别是如果许多尝试的 INSERT 都未能满足条件，您可以做更多：创建一个预先聚合的物化value视图name：

CREATE TABLE mv_t AS 
SELECT name, bit_or(value) AS value
FROM   t
GROUP  BY 1
ORDER  BY 1;

name保证在这里是独一无二的。我会使用PRIMARY KEYonname来提供我们所追求的索引：

ALTER TABLE mv_t SET (FILLFACTOR=90);

ALTER TABLE mv_t
ADD CONSTRAINT mv_t_pkey PRIMARY KEY(name);

然后你INSERT可能看起来像这样：

WITH i(n,v) AS (SELECT 'a'::text, B'10101010'::bit(8)) 
INSERT INTO t (name, value)
SELECT n, v
FROM   i
LEFT   JOIN mv_t m ON m.name = i.n
                  AND m.value & i.v <> B'00000000'::bit(8)
WHERE  m.n IS NULL;          -- alternative syntax for EXISTS (...)

仅当fillfactor您的表获得大量更新时才有用。

更新物化视图中的行以TRIGGER AFTER INSERT OR UPDATE OF name, value OR DELETE使其保持最新。必须仔细权衡额外对象的成本和收益。很大程度上取决于您的典型负载。

于 2012-06-20T21:13:50.580 回答