权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

主动数据库系统的开发环境：主动数据库规则的测试与分析

基本信息

批准号：
9410993
负责人：
Susan Urban
金额：
$ 28万
依托单位：
Arizona State University
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1995
资助国家：
美国
起止时间：
1995-07-01 至 1998-12-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9410993&HistoricalAwards=false
关键词：
Development Environment Active Database Systems

项目摘要

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.

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