数据库触发器:列值与空变量的比较

Database trigger: comparison of column value with empty variable

我正在准备模型驱动开发的考试。我遇到了一个特定的数据库触发器:

CREATE TRIGGER tManager_bi
FOR Manager BEFORE INSERT AS
DECLARE VARIABLE v_company_name CHAR(30);
BEGIN
  SELECT M.company
  FROM   Manager M
  WHERE  M.nr = NEW.reports_to
  INTO  :v_company_name;

  IF (NOT(NEW.company = v_company_name))
    THEN EXCEPTION eReportsNotOwnCompany;
END 

此触发器旨在防止经理向外部经理报告的输入,即来自不同公司的经理。对应的OCL约束为:

context Manager
   inv: self.company = self.reports_to.company

相关的 table 看起来像(简化):

CREATE TABLE Manager
(
  nr INTEGER NOT NULL,
  company VARCHAR(50) NOT NULL,
  reports_to INTEGER,
  PRIMARY KEY (nr),
  FOREIGN KEY (reports_to) REFERENCES Manager (nr)
); 

教科书上说这个触发器在新插入的经理不向任何人报告时也能正常工作(即NEW.reports_toNULL),确实,经测试,它确实有效正确。

但是我不明白这一点。如果 NEW.reports_toNULL,这意味着变量 v_company_name 将为空(未初始化?NULL?),这意味着比较 NEW.company = v_company_name 将 return false,导致抛出异常对吧?

我在这里错过了什么?

(显示的 SQL 应该是 SQL:2003 兼容的。MDD 工具是 Cathedron,它使用 Firebird 作为 RDBMS。)

您忽略了一个事实,即当您将 NULLNULL(或任何其他值)进行比较时,答案是 NULL,而不是 falseNULL 的否定仍然是 NULL,因此在 IF 语句中 ELSE 部分将触发(如果有的话)。

我建议您阅读 Firebird Null Guide 以更好地理解这一切。

作为。做这个答案是为了代码高亮。

您可能想要修改触发器以响应更新和插入。

CREATE TRIGGER tManager_bi
FOR Manager BEFORE INSERT OR UPDATE AS
...

如果您不需要特定的异常标识符,您也可以完全避免手写触发器。

您可以只使用 SQL 检查约束

alter table Manager  
    add constraint chk_ManagerNotRespondsOneself
        CHECK ( NOT EXISTS (
          SELECT * FROM Manager M
          WHERE  M.nr = reports_to
            AND  M.company = company 
        ) )

现在看来无法通过 CHECK 约束指定自定义异常...http://tracker.firebirdsql.org/browse/CORE-1852