Expressiveness Issues and Decision Problems for Active Database Event Queries
A key facility of active database management systems is their ability to detect and react to the occurrence of events. Such events can be either atomic in nature, or specified using an event algebra to form complex events. An important role of an event algebra is to define the semantics of when events become invalid (event consumption). In this paper, we examine a simple event algebra and provide a logical framework for specification of various consumption policies. We then study the problems of equivalence and implication, identifying a powerful class of complex events for which equivalence is decidable. We then demonstrate how extensions of this class lead to undecidability.
Unable to display preview. Download preview PDF.
- 1.S. Chakravarthy, V. Krishnaprasad, E. Anwar, and S.-K. Kim. Composite events for active databases: semantics, contexts and detection. In 20th International Conference on Very Large Data Bases, pages 606–617, 1994.Google Scholar
- 2.J. Chomicki and D. Toman. Implementing temporal integrity constraints using an active dbms. IEEE TKDE, 7(4):566–581, 1995.Google Scholar
- 4.S. Gatziu and K. Dittrich. Detecting composite events in active database systems using Petri nets. In Proceedings of the 4th International Workshop on Research Issues in Data Engineering, pages 2–9, Houston, Texas, 1994.Google Scholar
- 5.N. Gehani, H. V. Jagadish, and O. Shmueli. Composite event specification in active databases: Model and implementation. In VLDB’92, pages 327–338, 1992.Google Scholar
- 6.A. Geppert and K. Dittrich. Performance assessment. In N. Paton, editor, Active Rules in Database Systems, pages 103–123. Springer-Verlag, 1999.Google Scholar
- 8.M. Minsky. Computation: Finite and Infinite Machines. Prentice Hall, 1967.Google Scholar
- 11.N. Paton, editor. Active Rules in Database Systems. Springer-Verlag, 1999.Google Scholar
- 15.D. Zimmer and R. Unland. On the semantics of complex events in active database management systems. In ICDE’99, pages 392–399, 1999.Google Scholar