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.