Abstract
In this article, we propose an interval based algebra for detection of complex events. The algebra includes a strong restriction policy in order to comply with the resource requirements of embedded or real-time applications. We prove a set of algebraic properties to justify the novel restriction policy and to establish the relation between the unrestricted algebra and the restricted version. Finally, we present an efficient algorithm that implements the proposed algebra.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adaikkalavan, R., Chakravarthy, S.: Event operators: Form alization algorithms, and implementation using interval-based semantics. Technical Report CSE-2002- 3, University of Texas at Arlington, Department of Computer Science and Engineering (June 2002)
Allen, J.F., Ferguson, G.: Actions and events in interval temporal logic. Journal of Logic and Computation 4(5), 531–579 (1994)
Chakravarthy, S., Krishnaprasad, V., Anwar, E., Kim, S.-K.: Composite events for active databases: Semantics, contexts and detection. In: Bocca, J.B., Jarke, M., Zaniolo, C. (eds.) 20th International Conference on Very Large Data Bases, Santiago, Chile proceedings, Los Altos, CA 94022, USA, September 12–15, pp. 606–617. Morgan Kaufmann Publishers, San Francisco (1994)
Galton, A., Augusto, J.C.: Two approaches to event definition. In: Hameurlain, A., Cicchetti, R., Traunmüller, R. (eds.) DEXA 2002. LNCS, vol. 2453, pp. 547–556. Springer, Heidelberg (2002)
Gatziu, S., Dittrich, K.R.: Events in an Active Object-Oriented Database System. In: Paton, N.W., Williams, H.W. (eds.) Proc. 1st Intl. Workshop on Rules in Database Systems (RIDS), Workshops in Computing, Edinburgh, UK, Springer, Heidelberg (1993)
Gehani, N., Jagadish, H.V., Shmueli, O.: COMPOSE: A system for composite specification and detection. In: Adam, N.R., Bhargava, B.K. (eds.) Advanced Database Systems. LNCS, vol. 759, Springer, Heidelberg (1993)
Hinze, A., Voisard, A.: A parameterized algebra for event notification services. In: Proceedings of the 9th International Symposium on Temporal Representation and Reasoning (TIME 2002), Manchester, UK (2002)
Kowalski, R., Sergot, M.: A logic-based calculus of events. In: Schmidt, J.W., Thanos, C. (eds.) Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence, pp. 23–55. Springer, Heidelberg (1989)
Liu, G., Mok, A., Konana, P.: A unified approach for specifying timing constraints and composite events in active real-time database systems. In: 4th IEEE Real-Time Technology and Applications Symposium (RTAS 1998), Washington - Brussels - Tokyo, pp. 199–209. IEEE, Los Alamitos (1998)
Mellin, J., Adler, S.F.: A formalized schema for event composition. In: Proc. 8th Int. Conf on Real-Time Computing Systems and Applications (RTCSA 2002), Tokyo, Japan, March 18–20, pp. 201–210 (2002)
Zimmer, D., Unland, R.: On the Semantics of Complex Events in Active Database Management Systems. In: Proceedings of the 15th International Conference on Data Engineering, pp. 392–399. IEEE Computer Society Press, Los Alamitos (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Carlson, J., Lisper, B. (2004). An Interval-Based Algebra for Restricted Event Detection. In: Larsen, K.G., Niebert, P. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2003. Lecture Notes in Computer Science, vol 2791. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40903-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-40903-8_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21671-1
Online ISBN: 978-3-540-40903-8
eBook Packages: Springer Book Archive