ACM Computing Surveys (CSUR)
Early Active Database Efforts: A Capsule Summary
IEEE Transactions on Knowledge and Data Engineering
Rule Modelling and Simulation in ALFRED
RIDS '97 Proceedings of the Third International Workshop on Rules in Database Systems
An Introduction to the Theoretical Aspects of Coloured Petri Nets
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Efficient Answer Extraction of Deductive Databases Modeled by HLPN
DEXA '97 Proceedings of the 8th International Conference on Database and Expert Systems Applications
Active rules termination analysis through conditional formula containing updatable variable
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
Modeling and verifying DML triggers using event-B
ACIIDS'13 Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part II
Hi-index | 0.00 |
Active database systems have been developed for applications needing an automatic reaction in response to certain conditions being satisfied or certain event occurring. The desired behavior is expressed by ECA-rules (event-condition-action rules). Generally, ECA rules and their execution are represented by rule language, for example, defining TRIGGERs in an active database. Then, database behavior prediction or analysis can be realized through other approaches such as algebraic approach, trigger graph methods, etc.. Therefore, in such active databases, rule representation and processing are separated. In this paper we propose a structural model which integrates rule representation and processing entirely, it is called Conditional Colored Petri Net (CCPN). CCPN can model both rules themselves and their complicated interacting relation in an graphical way. If the rule base of an active database is modeled by CCPN, then rule simulation can be done. An example is illustrated in the paper.