ETALIS: Rule-Based Reasoning in Event Processing

  • Darko Anicic
  • Paul Fodor
  • Sebastian Rudolph
  • Roland Stühmer
  • Nenad Stojanovic
  • Rudi Studer
Part of the Studies in Computational Intelligence book series (SCI, volume 347)


Complex Event Processing (CEP) is concerned with timely detection of complex events within multiple streams of atomic occurrences, and has useful applications in areas including financial services, mobile and sensor devices, click stream analysis and so forth. In this chapter, we present ETALIS Language for Events. It is an expressive language for specifying and combining complex events. For this language we provide both a syntax as well as a clear declarative formal semantics. The execution model of the language is based on a compilation strategy into Prolog. We provide an implementation of the language, and present experimental results of our running prototype. Further on, we show how our logic rule-based approach compares with a non-logic approach in respect of performance.


Logic Programming Complex Event Event Processing Atomic Event Event Pattern 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)zbMATHGoogle Scholar
  2. 2.
    Adaikkalavan, R., Chakravarthy, S.: Snoopib: Interval-based event specification and detection for active databases. In: Data Knowledge Engineering. Elsevier Science Publishers B. V., Amsterdam (2006)Google Scholar
  3. 3.
    Agrawal, J., Diao, Y., Gyllstrom, D., Immerman, N.: Efficient pattern matching over event streams. In: SIGMOD (2008)Google Scholar
  4. 4.
    Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)CrossRefzbMATHGoogle Scholar
  5. 5.
    Alvaro, P., Condie, T., Conway, N., Elmeleegy, K., Hellerstein, J.M., Sears, R.C.: Boom: Data-centric programming in the datacenter. Technical Report UCB/EECS-2009-113, EECS Department. University of California, Berkeley (2009)Google Scholar
  6. 6.
    Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.D.: Magic sets and other strange ways to implement logic programs. In: PODS 1986, Massachusetts, United States, ACM, New York (1986)Google Scholar
  7. 7.
    Bry, F., Eckert, M.: Rule-based composite event queries: The language xChangeEQ and its semantics. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. LNCS, vol. 4524, pp. 16–30. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  8. 8.
    Chakravarthy, S., Mishra, D.: Snoop: an expressive event specification language for active databases. In: Data Knowledge Engineering, Elsevier Science Publishers B. V., Amsterdam (1994)Google Scholar
  9. 9.
    Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. Journal of the ACM (1996)Google Scholar
  10. 10.
    Condie, T., Chu, D., Hellerstein, J.M., Maniatis, P.: Evita raced: metacompilation for declarative networks. In: Proc. VLDB Endow (2008)Google Scholar
  11. 11.
    Demers, A.J., Gehrke, J., et al.: Cayuga: A general purpose event monitoring system. In: CIDR. Stanford University, USA (2007)Google Scholar
  12. 12.
    Eisner, J., Goldlust, E., Smith, N.A.: Compiling comp ling: Weighted dynamic programming and the dyna language. In: Proc. HLT-EMNLP (2005)Google Scholar
  13. 13.
    Forgy, C.L.: Rete: A fast algorithm for the many pattern/ many object pattern match problem. Artificial Intelligence (1982)Google Scholar
  14. 14.
    Gupta, A., Mumick, I.S.: Maintenance of materialized views: Problems, techniques and applications. IEEE Data Engineering Bulletin (1995)Google Scholar
  15. 15.
    Haley, P.: Data-driven backward chaining. In: International Joint Conferences on Artificial Intelligence, Milan, Italy (1987)Google Scholar
  16. 16.
    Kozlenkov, A., Penaloza, R., Nigam, V., Royer, L., Dawelbait, G., Schröder, M.: Prova: Rule-based java scripting for distributed web applications: A case study in bioinformatics. In: Grust, T., Höpfner, H., Illarramendi, A., Jablonski, S., Fischer, F., Müller, S., Patranjan, P.-L., Sattler, K.-U., Spiliopoulou, M., Wijsen, J. (eds.) EDBT 2006. LNCS, vol. 4254, pp. 899–908. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  17. 17.
    Lausen, G., Ludäscher, B., May, W.: On active deductive databases: The statelog approach. In: Kifer, M., Voronkov, A., Freitag, B., Decker, H. (eds.) Dagstuhl Seminar 1997, DYNAMICS 1997, and ILPS-WS 1997. LNCS, vol. 1472, p. 69. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  18. 18.
    Lloyd, J.W.: Foundations of Logic Programming. Computer Science Press, Rockville (1989)Google Scholar
  19. 19.
    Motakis, I., Zaniolo, C.: Composite temporal events in active database rules: A logic-oriented approach. In: Ling, T.-W., Vieille, L., Mendelzon, A.O. (eds.) DOOD 1995. LNCS, vol. 1013, Springer, Heidelberg (1995)Google Scholar
  20. 20.
    Paschke, A., Kozlenkov, A., Boley, H.: A homogenous reaction rules language for complex event processing. In: EDA-PS. ACM, New York (2007)Google Scholar
  21. 21.
    Paton, N.W., Díaz, O.: Active database systems. ACM Comput. Surv. (1999)Google Scholar
  22. 22.
    Ullman, J.D.: Principles of Database and Knowledge-Base Systems, 2nd edn., vol. I and II. W. H. Freeman & Co., New York (1990)Google Scholar
  23. 23.
    Yoneki, E., Bacon, J.M.: Unified semantics for event correlation over time and space in hybrid network environments. In: Chung, S. (ed.) OTM 2005. LNCS, vol. 3760, pp. 366–384. Springer, Heidelberg (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Darko Anicic
    • 1
  • Paul Fodor
    • 2
  • Sebastian Rudolph
    • 3
  • Roland Stühmer
    • 1
  • Nenad Stojanovic
    • 1
  • Rudi Studer
    • 1
  1. 1.FZI Forschungszentrum InformatikGermany
  2. 2.Stony Brook UniversityStony BrookU.S.A.
  3. 3.Karlsruhe Institute of TechnologyGermany

Personalised recommendations