触发器机制实现的关键技术问题，并以gkd-base为原型，在已有的gkd-base pl/sql引擎基础上实现了数据库的触发器功能。

数据库管理系统作为信息系统的核心部件，在信息化时代所充当的角色是其它任何软件所不能替代的。当前数据库应用的一个普遍要求是数据库管理系统能够在一些数据库相关事件发生时触发预先定义的操作，实现信息管理的自动化，因此引进了触发器机制。触发器可以增强引用完整性，加强复杂业务的规则，或者监控数据库的变动，并执行一定的数据操作。

触发器机制实现主要涉及触发事件的检测以及触发条件的判决等关键技术问题，以及对触发器的编译存储和调用执行等具体操作。

本文对国产数据库管理系统gkd-base为原型，在兼容oracle规范的pl/sql引擎基础上，提出一套解决方案，对触发器的关键技术问题进行了探讨，并设计实现了数据库的触发器机制，扩展了数据库管理系统gkd-base的功能。

1 gkd-base pl/sql引擎

gkd-base数据库是一个具有自主知识产权的数据库管理系统，具有兼容sql89标准的sql引擎，能够为用户提供一个统一、有效的数据库访问接口（xapi），实现对数据库各种操作。为了融合sql语音强大的集合数据处理能力和第三代语音（3gl）灵活的过程处理能力，在gkd-base上已初步实现了兼容oarcle pl/sql v.23的pl/sql引擎。图1 gkd-base pl/sql引擎包括编译器、解释器和异常处理三个模块。在编译阶段，根据pl/sql语音兼有过程式语句和sql语句的特点，采取分而治之策略，把过程语句和sql语句分开处理。对于sql语句，编译器首先建立sql语句结点，进行相应的变量绑定和语法检查；检查无误后产生语法树形式的中间代码。对于过程语句，编译器将对语句成分进行语法分析，对声明的变量和数据类型建立相应的符号表，最终产生语法树形式垢中间代码。解释器的作用是对编译器生成扣间代码进行解释执行。解释器与编译器对应，具有相对独立的sql语句解释模块和过程语句解释模块。另外，解释器还包括执行状态堆栈的管理、与gkd-base sql引擎的调用接口。异常处理模块主要实现程序运行时的错误检查和报告，并支持用户自定义异常和预定义异常的检查和处理。

gkd-base pl/sql引擎可以实现对过程式语句、sql语句与游标、存储子程序及饭的编译和解释执行。

2 触发器实现的关键问题

触发器定义了当其些数据库相关事件发生时数据库应采取的动作。触发器可增强引用完整性，加强复杂业务的规则，或者监控数据库的变动，其实现主要涉及到触发事件的检测以及触发条件的判决等关键技术问题。

2．1 触发器的事件检测机制

触发器事件检测机制包括对事件的检测和存储，是实现触发器的关键。触发器检测的事件类型比较简单，基本事件主要包括对数据的插入、删除以及更新等。gkd-base的触发器在对事件检测时，直接在相关事件发生的前后调用检测函数截获并分析事件消息，以确定是否对触发器点火。

触发器事件检测机制实现的关键在于对触发事件的存储。触发事件具有时间顺序，因此存储时也必须按照严格的时间顺序进行存储。综合比较各个商用和实验数据库系统的事件表存储机制，选择了startburst的双hash链表存储机制，如图1。

这里，变迁表分为两种类型：new和old，分别对应于触发器行级别操作中的new值和old值。变迁表中存了事件类型、当前数据表以及事件作用的元组。系统可以通过这个驻留内存的双hash链表实现数据库变迁的快速定位和跟踪处理。

2．2 触发器的条件判决机制

触发器的条件判决机制是触发器的核心，根据sql99标准的定义，可以将触发器分为前触发、结束判定和后触发三种类型。这三种类型触发器的判决顺序策略如图2。图2 触发器的条件评估是影响触发器机制是最关键因素。在数据库环境中，大多数数据修改行为只能影响数据库的一小部分内容，因此没必要每次都从头开始评估触发器规则条件，rete和treat网络等增量条件评估方法已经被证明是触发器条件评估（condition evaluation）的有效处理手段。

以rete网络为例（图3），它是一个左深度二叉树，其基本元素包括：

根结点：根结点接收插入/删除（+/-）记号（tokens），并将其传递给每一个后继结点；

t-const结点：记号到达这些结点后，将根据该结点上的条件谓词进行判决，那些通过测试的记号将继续传播下去，没有通过测试的记号则被丢弃掉；

α-存储结点：通过t-const结点测试的记号将存储到这个结点中，存储在α-存储结点中的每一个记号都将同时被传递给该结点的后继结点；

and（连接）结点：这些结点有两个输入，到达其中任意一个输入结点的记号都要通过and结点进行测试，看它是否需要与另外一个输入进行连接操作。如果是，则连接两个输入的记号时，将它们合并成一个组合记号后再传递给后续的β-存储结点；

β-存储结点：存储连接结点的输出，并将输出同时传递给后继结点；

p-结点（规则结点）：+记号到达这里表明应该唤醒一个与该记号相关联的规则实例；-记号到达这里表明与其中的标签对象相关联的已经进入待执行队列的规则实例应该被删除。

rete网络只支持两路连接，对于一个有多个关系参与的规则定义，不同的连接顺序可以得到不同的rete网络，根据数据字典信息可以选择最优的执行顺序。图3是对应于规则条件“a.color”="bule"and a.x

3 触发器实现算法

触发器的具体实现可以分为触发器创建和调用，此外还包括触发器的修改、删除等操作。其中触发器的创建包括触发器的编译与存储操作，触发器的调用包括对触发器事件的检测和触发器动作的执行。图3 3．1 创建触发器

触发器的创建包括触发器的编译和存储。触发器的编译涉及到触发器的命名、触发器事件的正确性检查、触发器引用表的合法性检查以及触发器主体的语法检查。触发器创建之前首先要检查用户是否有创建触发器的权限，以及触发器名是否已经在存储触发器的数字典中被使用。触发事件部分在解发器创建时要进行检查，需要检查的内容包括语法检查、触发器引用的表和更是否存在，以及用户是否有针对这个表创建触发器的权限。表和列的存在与否可能先调用gkd-base的xapi函数分析出dml语句中表和列的信息，然后根据这些信息检查数字字典；权限的检查也要到数字字节中查询。触发器的语法检查通过调用pl/sql引擎的编译器实现；pl/sql引擎编译器对触发器过程语句块进行编译，并生成包含触发器所有必要信息的语法树形式的中间代码。

保存触发器相关信息的数据结构最终需要保存的数据字典中。因为触发器使用单独的命名空间，可以设计一个单独的系统表作为存储触发器的数据字典。数据字典应该保存触发器调用过程中必须的信息，类似于oracle sys.trigger$表。触发器主体是一个语句块，对它可以当作一个存储过程来处理，单独保存在一个系统表中，通过触发器主体的id号与存储在user_triggers表中的其它触发器信息相关联。在触发器调用过程中，根据触发器中的id来调用。

创建触发器算法如下：

（1） 合法性验证。如当前用户无权执行该操作，或者用户给出的表不存在，转（6）；否则转（2）。

（2） 存在性检查。如当前定义的触发器与当前表以往定义的触发器名名或同类型，转（6）；否则转（3）。

（3） 语法检查。调用pl/sql引擎编译器对触发器语句进行编译，如出现语法或语义错误，转（6）；否则转（4）。

（4） 将触发器信息写入外存，然后返回触发器标识id。

（5） 在数据库表结构的系统表中将（4）中所得标识与触发器名填入其中，然后将触发器定义的表项插入到user_triggers相应的系统表项中，转（7）。

（6） 释放所占资源，报错退出。

（7） 释放资源，正常退出。

3． 2 触发器的调用

触发器的调用首先要从外存中读取触发器的信息，并写入内存相应的数据结构中。触发器的内存形式是为了更方便地进行触发器结束条件的检查而设立的。为了在触发事件发生时，能立即判断当前被处理对象是否满足触发结束条件通过调用pl/sql引擎编译器将外存中存放触发器结束源代码转换为其内存表示，存放在相应触发器的内存结构中。

在触发器被调用前，系统将被同一触发事件所触发的所有活跃的触发器组织成四条链，如图4。

根据这个数据结构，触发器调用算法如下：

（1） 将与触发事件相关的触发器按类型分别记入sb、sa、rb和ra四条链中；如没有某种类型的触发器，则相应链置空。

（2） 如sh不为空，则转sb链触发操作算法。

（3） 如rb不为空，则转rb链触发操作算法。

（4） 对当前数据对象进行触发事件所规定的dml操作。

（5） 如ra不为空，则转ra链触发操作算法。

（6） 判断触发事件所作用的数据记录是否都被处理完毕，如是，转（7）；否则，取出下一条记录作为当前的数据对象，转（3）。

（7） 如sa不为空，则转sa链触发操作算法。

（8） 释放所占的资源，结束触发器调用的处理。 对给定触发器链操作算法如下：

（1） 根据触发器调用算法检测，当前触发器链不为空，取链首触发器。

（2） 将待处理数据对象的相关信息代入触发条件判断，如果条件为真，转（3）；否则转（4）。

（3） 启动一个pl/sql解释执行器，对当前触发器动作链中所记录的动作进行解释执行。

（4） 取链中下一个触发器为链首，判断是否为空，如是，转（5）；否则转（1）。

（5） 完成当前触发器链操作，返回触发器调用算法继续。

触发器的更新操作是对一个触发器进行编译后，替换已存在的作用在同一个表上的同名触发器，基本操作与触发器的创建是一致的；触发器的删除操作步骤主要是在数字典中对指定的触发器进行查询并删除。这里不再详述。