An Investigation Of Cyclic Rule Behavior In Integrity Maintenance Rules

本研究对主动数据库环境中完整性维护规则的自动静态分析进行了研究。完整性维护规则是这样一种规则，它试图通过启动纠正的、改变状态的数据库操作来“重新满足”约束。但是，试图维护冲突或指定不当的约束的规则可能会导致循环和异常的规则行为。为了自动识别可证明安全、可证明不一致和潜在不一致的规则行为，本研究讨论了一个系统的理论方面和实现细节，该系统用于推理完整性维护规则之间的交互。研究是在演绎的、面向对象的框架中进行的，使用对象逻辑来提供定义良好的语法和语义。规则行为分析基于演绎数据库中约束可满足性和完整性检查的研究现状，使用真值维护范式来支持用户在规则分析过程中的交互和解释。分析过程包括由一组交易操作触发的规则。这项研究的一个重要贡献是它为在主动的、面向对象的环境中正确执行完整性维护规则提供了框架，并总体上为进一步完善执行模型和主动数据库规则的运行时监视提供了框架。

This research investigates the automated, static analysis of integrity maintenance rules within an active database environment. An integrity maintenance rule is a rule that attempts to "resatisfy" a constraint by initiating corrective, state-altering database operations. Rules that attempt to maintain conflicting or ill-specified constraints, however, can lead to cyclic and anomalous rule behavior. This research addresses the theoretical aspects and implementation details of a system for reasoning about the interaction between integrity maintenance rules for the purpose of automatically identifying provably safe, provably inconsistent, and potentially inconsistent rule behaviors. The investigation is performed in a deductive, object-oriented framework, using object logics to provide a well-defined syntax and semantics. The analysis of rule behavior is based on current research on constraint satisfiability and integrity checking in deductive databases, using the truth maintenance paradigm to support user interaction in and explanation of the rule analysis process. The analysis process includes rules triggered by a set of transaction operations. An important contribution of the research is the framework it provides for the correct execution of integrity maintenance rules in an active, object-oriented environment and for further refinement of execution models and run-time monitoring of active database rules, in general.