An Investigation Of Cyclic Rule Behavior In Integrity Maintenance Rules

完整性维护规则中循环规则行为的调查

• 批准号: 9109195
• 负责人: Susan Urban
• 金额: $ 5.62万
• 依托单位: Arizona State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-09-01 至 1993-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9109195&HistoricalAwards=false
• 关键词: Investigation; Cyclic; Rule; Behavior; Integrity

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.

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