Skip to main content

ETALIS: Rule-Based Reasoning in Event Processing

  • Chapter
Reasoning in Event-Based Distributed Systems

Part of the book series: Studies in Computational Intelligence ((SCI,volume 347))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)

    MATH  Google Scholar 

  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. Agrawal, J., Diao, Y., Gyllstrom, D., Immerman, N.: Efficient pattern matching over event streams. In: SIGMOD (2008)

    Google Scholar 

  4. Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)

    Article  MATH  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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. Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. Journal of the ACM (1996)

    Google Scholar 

  10. Condie, T., Chu, D., Hellerstein, J.M., Maniatis, P.: Evita raced: metacompilation for declarative networks. In: Proc. VLDB Endow (2008)

    Google Scholar 

  11. Demers, A.J., Gehrke, J., et al.: Cayuga: A general purpose event monitoring system. In: CIDR. Stanford University, USA (2007)

    Google Scholar 

  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. Forgy, C.L.: Rete: A fast algorithm for the many pattern/ many object pattern match problem. Artificial Intelligence (1982)

    Google Scholar 

  14. Gupta, A., Mumick, I.S.: Maintenance of materialized views: Problems, techniques and applications. IEEE Data Engineering Bulletin (1995)

    Google Scholar 

  15. Haley, P.: Data-driven backward chaining. In: International Joint Conferences on Artificial Intelligence, Milan, Italy (1987)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  18. Lloyd, J.W.: Foundations of Logic Programming. Computer Science Press, Rockville (1989)

    Google Scholar 

  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. 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. Paton, N.W., Díaz, O.: Active database systems. ACM Comput. Surv. (1999)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Anicic, D., Fodor, P., Rudolph, S., Stühmer, R., Stojanovic, N., Studer, R. (2011). ETALIS: Rule-Based Reasoning in Event Processing. In: Helmer, S., Poulovassilis, A., Xhafa, F. (eds) Reasoning in Event-Based Distributed Systems. Studies in Computational Intelligence, vol 347. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19724-6_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-19724-6_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-19723-9

  • Online ISBN: 978-3-642-19724-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics