A Development Environment for Active Database Systems: Testing and Analysis of Active Database Rules

主动数据库系统通过使用规则作为警报器和触发器，将被动数据库处理转换为主动环境。本研究探讨主动式资料库开发环境的两个互补方面：主动式规则的终止与汇流特性分析，以及主动式规则的执行阶段测试与除错。这项研究是在一个积极的，演绎的，面向对象的数据库的背景下。规则分析过程是一种静态方法，应用条件项重写的终止/汇合分析技术，在执行之前识别规则问题。运行时环境是一种动态方法，允许用户逐步完成规则触发过程，观察规则行为并测试不同的规则触发序列。执行模型包括用于监视对派生数据的更改的传播算法。规则分析与规则生成和事务开发的集成，以支持规则执行之前的规则规范和分析，也正在研究中。这项工作的意义在于集成了主动、演绎和面向对象的概念，以及为解决复杂数据库应用程序开发中主动规则的正确性和可预测性所提供的支持环境。

Active database systems transform passive database processing into active environments by using rules as alerters and triggers. This research is investigating two complementary aspects of active database development environments: the analysis of rules for termination and confluence properties and the run-time testing and debugging of active rules. The research is addressed in the context of an active, deductive, and object-oriented database. The rule analysis process is a static approach, applying termination/confluence analysis techniques from conditional term rewriting to identify rule problems before execution. The run-time environment is a dynamic approach allowing users to step through the rule triggering process, observing rule behavior and testing different rule triggering sequences. The execution model includes a propagation algorithm for monitoring changes to derived data. The integration of rule analysis with rule generation and transaction development to support specification and analysis of rules prior to rule execution is also being investigated. The significance of this work is found i n the integration of active, deductive, and object-oriented concepts as well as the supportive environment provided to address the correctness and predictability of active rules in the development of complex database applications.