Skip to main content
SpringerLink
Log in

Formal Semantics for Composite Temporal Events in Active Database Rules

  • Published:
Journal of Systems Integration

Abstract

A major thrust of current research in active databases focuses on allowing complex patterns of temporal events to serve as preconditions for rule triggering. Currently, there is no common formalism for specifying the semantics of composite event languages. Different systems have used an assortment of different techniques, including Finite State Automata, Petri Nets and Event Graphs. In this paper, we propose a unifying approach, based on a syntax-directed translation of composite event expressions into Datalog 1S rules, whose formal semantics defines the meaning of the original expressions. We demonstrate our method by providing a formal specification of the Event Pattern Language (EPL) developed at UCLA. This method overcomes problems and limitations affecting previous approaches and is applicable to other languages such as ODE, SNOOP and SAMOS—thus, allowing a more direct comparison across different systems.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.

  2. N. Arni, K. Ong, S. Tsur, and C. Zaniolo. LDL++: A second generation deductive database system. submitted for publication.

  3. M. Baudinet, J. Chomicki, and P. Wolper. Temporal Deductive Databases. In Tansel et al. [32], chapter 13, pages 294–320.

  4. S. Chakravarthy, V. Krishnaprasad, E. Anwar, and S. K. Kim. Anatomy of a Composite Event Detector. Technical Report CIS TR–93–039, University of Florida, December 1993.

  5. S. Chakravarthy, V. Krishnaprasad, E. Anwar, and S. K. Kim. Composite Events for Active Databases: Semantics, Contexts and Detection. In Proceedings of the 20th VLDB Conference, pages 606–617, Sep. 1994.

  6. S. Chakravarthy and D. Mishra. Snoop: An expressive event specification language for active databases. Data and Knowledge Engineering, 14(1):1–26, Nov. 1994.

    Article  Google Scholar 

  7. J. Chomicki. History-less checking of dynamic integrity constraints. In Proc. of the Intl. Conf. on Data Engineering, pages 557–564, 1992.

  8. R. David. Petri Nets and Grafcet: Tools for modeling discrete event systems. Prentice Hall, New York, 1992.

    Google Scholar 

  9. U. Dayal, A. Buchmann, and S. Chakravarthy. The HiPAC Project. In Widom and Ceri [34], chapter 7, pages 177–206.

  10. U. Dayal, E.N. Hanson, and J. Widom. Active Database Systems. In W. Kim, editor, Modern Database Systems. Addison Wesley, 1995.

  11. P. Deransart, M. Jourdan, and B. Lorho. Attribute Grammars: definitions, systems, and bibliography. Springer-Verlag, 1988.

  12. S. Gatziu. Events in an Active Object-Oriented Database System. PhD thesis, Universität Zürich, 1994.

  13. S. Gatziu and K. R. Dittrich. Events in an object-oriented database system. In Proceedings of the First Intl. Conference on Rules in Database Systems, pages 23–39, Sep. 1993.

  14. S. Gatziu and K. R. Dittrich. Detecting composite events in active databases using Petri Nets. In Proceedings of the 4th Intl. Workshop on Research Issues in Data Engineering: Active Database Systems, pages 2–9, February 1994.

  15. N. H. Gehani, H. V. Jagadish, and O. Shmueli. Composite Event Specification in Active Databases: Model and Implementation. In Proceedings of the 18th VLDB International Conference, pages 327–338, 1992.

  16. N. H. Gehani, H. V. Jagadish, and O. Shmueli. Event Specification in an Active Object-Oriented Database. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 81–90, 1992.

  17. G. Giuffrida and C. Zaniolo. EPL: Event Pattern Language. In Proceedings of the third CLIPS Conference. NASA's Johnson Space Center, September 1994.

  18. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1988.

    Article  Google Scholar 

  19. D. Harel, A. Pnueli, J. P. Schmidt, and R. Sherman. On the Formal Semantics of Statecharts. In Proceedings of the 2nd IEEE Symposium on Logic in Computer Science, pages 54–64, 1987.

  20. D. E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2:127–145, 1968.

    Google Scholar 

  21. J. W. Lloyd. Foundations of Logic Programming. Springer Verlag, 1977.

  22. I. Motakis. Temporal Reasoning in Active Databases. PhD thesis, University of California, Los Angeles, 1997.

    Google Scholar 

  23. I. Motakis and C. Zaniolo. Composite Temporal Events in Active Database Rules: A Logic-Oriented Approach. In Proceedings of the 4th Intl. Conference on Deductive and Object-Oriented Databases, pages 19–37, 1995.

  24. I. Motakis and C. Zaniolo. Composite Temporal Events in Active Databases: A Formal Semantics. In J. Clifford and A. Tuzhilin, editors, Recent Advances in Temporal Databases, Workshops in Computing Series, pages 332–351. Springer, Sep. 1995.

  25. I. Motakis and C. Zaniolo. Temporal Aggregation in Active Database Rules. In Proceedings of the ACM SIGMOD Intl. Conf. on Management of Data, May 1997.

  26. NASA, Lyndon Johnson Space Center, Software Technology Branch. CLIPS 6.0 Reference Manual, June 1993.

  27. N. W. Paton, J. Campin, A. A. Fernandes, and M. H. Williams. Semantics for Active Database Systems. In Proceedings of the 2nd International Workshop on Rules in Database Systems, pages 21–35, 1995.

  28. P. Picouet and V. Vianu. Semantics and Expressiveness Issues in Active Databases. In Proceedings of the 14th Symposium on Principles of Database Systems, pages 126–138, 1995.

  29. N. Pissinou, R. Snodgrass, R. Elmasri, I. Mumick, M. Ozsu, B. Pernici, A. Segev, B. Theodoulidis, and U. Dayal. Towards an Infrastructure for Temporal Databases. ACM-SIGMOD Record, 23(1):35–51, March 1994.

    Google Scholar 

  30. W. Reisig. Petri Nets: An Introduction. Springer-Verlag, Berlin, 1985.

    Google Scholar 

  31. A. P. Sistla and O. Wolfson. Temporal Conditions and Integrity Constraints in Active Database Systems. In Proc. of the 1995 ACM SIGMOD Intl. Conference on Management of Data, pages 269–280, 1995.

  32. A. Tansel et al., editors. Temporal Databases: Theory, Design and Implementation. Benjamin/Cummings, 1993.

  33. J. D. Ullman. Principles of Database and Knowledge-Base Systems, Volumes I and II. Computer Science Press, 1989.

  34. J. Widom and S. Ceri, editors. Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, 1996.

  35. C. Zaniolo. A unified semantics for active and deductive databases. In Proceedings of the 1st International Workshop on Rules in Database Systems, pages 271–287, 1993.

  36. C. Zaniolo, S. Ceri, C. Faloutsos, R. Snodgrass, V.S. Subrahmanian, and R. Zicari. Advanced Database Systems. Morgan Kaufmann Publishers, 1997.

Download references

Authors
  1. Iakovos Motakis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carlo Zaniolo
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Motakis, I., Zaniolo, C. Formal Semantics for Composite Temporal Events in Active Database Rules. Journal of Systems Integration 7, 291–325 (1997). https://doi.org/10.1023/A:1008231404725

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008231404725

Search

Navigation