验证树建模为邻接列表、TRIGGER 与 CHECK 约束的最佳方法

Question

我正在使用 PostgreSQL 使用邻接列表方法对树数据结构进行建模。我希望能够在每个叶子上存储额外的数据，指示这棵树属于哪个组：

CREATE TABLE groups (
  group_id integer PRIMARY KEY
);

CREATE TABLE leafs (
  leaf_id   integer PRIMARY KEY,
  parent_id integer REFERENCES leafs ON DELETE CASCADE ON UPDATE CASCADE,

  group_id integer REFERENCES groups ON DELETE CASCADE ON UPDATE CASCADE NOT NULL
);

我还想确保每个叶子只能连接到同一个组。看起来这可以通过创建 TRIGGER 或 CHECK 约束来完成。我有两个问题：

1. 处理这种特殊情况的最有效/正确的方法是什么，TRIGGER 或 CHECK 约束？ （以及在这两者之间进行选择的经验法则是什么）

2. 是否有更好的方法来强制此模型的一致性（或者可能有替代方法来对此类树组进行建模）。

谢谢，

TRIGGER 版本代码：

CREATE OR REPLACE FUNCTION after_leaf_update()
  RETURNS trigger AS
$$
BEGIN
IF (NEW.parent_id IS NOT NULL) AND (SELECT group_id FROM leafs WHERE leaf_id=NEW.parent_id) <> NEW.group_id THEN
    RAISE EXCEPTION 'group_id of node/leaf does not match!!!';
END IF;
RETURN NEW;
END;
$$
LANGUAGE 'plpgsql';


CREATE TRIGGER leafs_consistency_check
  BEFORE INSERT OR UPDATE
  ON leafs
  FOR EACH ROW
  EXECUTE PROCEDURE after_leaf_update();

CHECK 约束版本的代码：

CREATE OR REPLACE FUNCTION leafs_consistency_check_constraint(prn_id integer, grp_id integer) RETURNS BOOL AS
$$
BEGIN
    IF (prn_id IS NOT NULL) AND (SELECT group_id FROM leafs WHERE leaf_id=prn_id) <> grp_id THEN
    RAISE EXCEPTION 'CHECK: group_id of node/leaf does not match!!!';
END IF;
RETURN TRUE;

END;
$$ LANGUAGE plpgsql;

ALTER TABLE leafs ADD constraint group_id_constraint check ( leafs_consistency_check_constraint(parent_id, group_id) );

Answer 1

使用触发器。

一般来说，Postgres 开发人员不建议将运行查询的函数放在 CHECK 约束中。除其他外，在某些情况下，CHECK 约束可能会针对一个查询进行多次检查，这是一项非常昂贵的检查。更重要的是，围绕行可见性和触发器的类似考虑因素进行了很多仔细的工程，而约束根本不存在。

我还建议您考虑另一种方法：如果您使用 BEFORE 触发器，忽略用户输入并自动为新节点提供与其父节点相同的 group_id，而不是引发错误，该怎么办？

或者更好的是，由于 group_ids 与父母相关联，而不是与孩子相关联，那么将 group_ids 放在仅链接到父节点的单独表中怎么样？