摘要：主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。

摘要：遵循OraclePL/SQLV2.3语言规范,在数据库管理系统GKD-BasePL/SQL引擎上设计并实现了游标机制,增强了PL/SQL程序对数据访问和操作的能力,扩展了GKD-Base在过程处理方面的功能。

摘要：提供地理信息服务是数字图书馆建设的一项重要内容。分析了数字图书馆中地理信息系统的特点,介绍了系统所涉及的相关技术,设计并实现了一个原型系统。

摘要：本文提出了基于CLIPS的卫星任务规划专家系统的设计方法,详细分析了系统的结构和功能,重点讨论了中文产生式系统的BNF范式、基于上下文的推理机制和集合运算符。中文产生式系统的BNF范式基于CLIPS标准BNF范式定义,并依据BNF范式进行规则表示和规则自定义获取;推理机采用上下文限制的规则控制策略,依据不同的上下文加载相关的事实和规则,提高推理机的运行效率;利用规则中的对象逻辑子式进行了集合运算符的设计,并对极值运算符、属性差值运算符和均值运算符等三类集合运算符进行了探讨。该系统解决了卫星任务规划中知识表示和知识获取问题,提高了卫星任务规划推理效率,为卫星任务规划人员提供有效的辅助决策功能。

摘要：根据当前数据库应用需求和技术发展现状,研究了数据库管理系统触发器机制实现的关键技术问题,并以GKD-Base为原型,在已有的GKD-BasePL/SQL引擎基础上实现了数据库的触发器功能。

摘要：在数据库管理系统GKD-BASE上设计并实现了兼容OraclePL/SQLV2.3语言规范的PL/SQL引擎,扩展了GKD-BASE过程处理功能。

摘要：对动态 SQL 技术进行了研究,实现了一个嵌入式 SQL 系统中动态 SQL 语句处理的3种方法。首先介绍了整个嵌入式 SQL 系统 GKD-ESQL 系统,然后详细描述了3种动态 SQL 语句的处理方法,重点讲述了方法3的设计与实现,最后讲述了动态 SQL 语句的错误处理机制。

摘要：兼容OraclePL/SQLV2.3语言规范,基于国产数据库管理系统GKD-Base内核与PL/SQL引擎,提出了Instead-Of视图触发器的编译存储和点火执行算法,并设计实现了Instead-Of视图触发器编译及执行处理模块。从而在GKD-Base上实现了Instead-Of视图触发器机制,扩展了国产数据库GKD-Base功能。

摘要：在国产数据库管理系统GKD-Base内核上,兼容Oracle PL/SQLV 8．0语言规范,基于PL/SQL引擎,从编译的角度提出了一套解析和标识Oracle PL/SQL程序中对象的解决方案。依据这套解析机制,可以在GKD-Base中引入面向对象的概念,实现了对数据库中对象的编译,支持对象的继承和多态性。从而进一步扩展了GKD-Base的功能。

摘要：GKD-Base数据库管理系统是自主开发并具有高安全级别的关系型数据库系统,讨论了该系统中嵌入式SQL的设计与实现技术。在C语言中嵌入SQL语句,就需要处理两种语言成分,即C语言成分与GKD-ESQL语句成分,通过对GKD-ESQL语句的预编译处理,识别其中的SQL语句,并将其转换成相应的C语言函数调用格式,并在ESQL运行库中实现这些函数,从而通过C编译器的处理,就可以将嵌入式SQL编译成可执行代码,并在GKD-Base数据库管理系统中执行。