.png){kind=icon}
返回
Refined rules termination analysis through transactions
.png){kind=icon}
PRE
AI
DOI：10.1016/S0306-4379(02)00025-X.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
We propose two methods for rule termination analysis within active databases. The first method relies on evolution graphs simulating rule processing statically and considering both rule activation and deactivation. The evolution graphs provide a more accurate analysis than traditional graph-based approaches. The second method refines the former one considering the updates forming transactions that trigger active rules. We show that several termination analysis methods are captured with our approaches. The algorithms testing rules termination (with and without transactions) are presented considering both event-preserving and event-consuming policies and immediate rule execution. The proposed approaches turn out to be practical and general with respect to the various rule languages and thus they may be applied to several database systems. (C) 2002 Elsevier Science Ltd. All rights reserved.
Keyword:
rules termination
static analysis
transactions
active data bases
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.9
论文数:
2.8K
被引数:
1.8K
机构
暂无机构信息
引用论文
.png){kind=icon}
分享收藏分享收藏Should participatory opportunities be a component of democratic quality? The role of citizen views in resolving a conceptual controversy参与机会是否应作为民主质量的一个组成部分？公民观点在解决一个概念争议中的作用
PREAI
分享收藏Parteien und Bürgermeister in der Repräsentativen Demokratie. Kommunale Konkordanz- und Konkurrenzdemokratie im Vergleich政党与市长在代议制民主中。市级的共识民主与竞争民主比较。
PREAI
分享收藏
查看更多内容