Checking Inconsistency of Rule Sets in Active Real-time Databases

摘要：

Using active rules in database systems provides a kind of abstraction and flexibility. But it may also be difficult to use the rules properly, especially when they involve timing constraints. In this paper, we define a type of inconsistency between Event-Condition-Action (ECA) rules, and propose an approach for checking the inconsistency automatically.

关键词： active databases real-time databases ECA rules consistency checking constraint solving

作者: Jian Zhang

作者单位: State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences Beijing 100190, China

会议类型: 国际会议

会议名称: 11th IEEE High Assurance Systems Engineering Symposium(HASE 2008)(第十一届IEEE高可信系统工程国际研讨会)

会议地点: 南京

会议语种:英文

页码: 453-456

在线出版日期: 2008-12-03（万方平台首次上网日期，不代表论文的发表时间）