Paper Info
Title
Checking Inconsistency of Rule Sets in Active Real-Time Databases
Abstract
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.
Year
DOI
Venue
2008
10.1109/HASE.2008.58
HASE
Keywords
Field
DocType
active rule,active databases,active real-time databases,event-condition-action rules,constraint solving,consistency checking,database system,timing constraints,checking inconsistency,real-time databases,rule sets,program verification,eca rules,real-time systems,real time,real time systems
Abstraction,Computer science,Real-time computing,Database
Conference
ISSN
ISBN
Citations 
1530-2059
978-0-7695-3482-4
0
PageRank 
References 
Authors
0.34
8
1
Name
Order
Citations
PageRank
Jian Zhang100.68