Skip to main content
SpringerLink
Log in

Expressing temporal behaviour with extended ECA rules

  • Conference paper
  • First Online:
Directions in Databases (BNCOD 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 826))

Included in the following conference series:

  • 139 Accesses

Abstract

The ECA (EventConditionAction) model constitutes the underlying theoretical model for active databases. The action of an ECA rule is triggered, when the event is detected and the condition is satisfied. Currently, only predicate logic expressions are allowed as conditions in ECA rules. We want to consider the use of temporal logic expressions instead. This allows the specification of situations involving the temporal database development. Temporal conditions are necessary for, among other things, the maintenance of dynamic integrity constraints. We introduce initialized temporal ECA rules which allow the explicit specification of the evaluation-periods of temporal conditions. Moreover we discuss the construction and evaluation of an IT-ECA automaton for the evaluation of intialized temporal ECA rules.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arapis, C., Temporal Specification of Object Behaviour, in: Thalheim, B.; Demetrovics, J.; Gerhardt, H.-D. (Eds.): Proc. 3rd Symp. Mathematical Fundamentals of Database and Knowledge Base Systems MFDBS '91, Rostock, 1991, LNCS 495, pp. 308–324.

    Google Scholar 

  2. Behrends, H., Jasper, H., et.al., Endbericht der Projektgruppe “Aktive Informationssysteme”, Interne Berichte IS 15, Abteilung Informationssysteme, Universität Oldenburg, October 1993, in german.

    Google Scholar 

  3. Chakravarthy, S., Rule Management and Evaluation: An Active DBMS Perspective, SIGMOD RECORD, Vol. 18., No. 3, September 1989, pp. 20–28.

    Google Scholar 

  4. Chakravarthy, S., Mishra, D., Snoop: An Expressive Event Specification Language for Active Databases, Technical Report UF-CIS-TR-93-007, University of Florida, 1993.

    Google Scholar 

  5. Dayal, U., Blaustein, B., Buchmann., A., et. al., The HiPAC Project: Combining Active Databases and Timing Constraints, SIGMOD RECORD, Vol. 17, No. 1, March 1988, pp. 51–70.

    Google Scholar 

  6. Dayal, U., Buchmann, A.P., McCarthy, D.R., Rules are Objects Too: A Knowledge Model for an Active, Object-Oriented Database System, in: Dittrich, K.R. (Ed.), Advances in Object-Oriented Database Systems, 2nd International Workshop on Object-Oriented Database Systems, Bad Münster am Stein-Ebernburg, FRG, September 1988, pp. 129–143.

    Google Scholar 

  7. Diaz, O., Paton, N., Gray, P., Rule Management in Object-Oriented Databases: A Uniform Approach, Proceedings of the 17th International Conference on Very Large Databases, Barcelona, Spain, 1991, pp. 317–326.

    Google Scholar 

  8. Ehrich, H.-D., Lipeck, U.W., Gogolla, M., Specification, Semantics, and Enforcement of Dynamic Database Constraints, in: Proceedings of the 5th International Conference on Very Large Databases, Singapore, 1984, pp. 301–308.

    Google Scholar 

  9. Fraternali, P., Paraboschi, S., Tanca, L., Automatic Rule Generation for the Correction of Constraint Violations in Active Databases, in: Lipeck, U., Thalheim, B. (Eds.), Modelling Database Dynamics, Volkse, 1992, Germany, Springer-Verlag, pp. 153–173.

    Google Scholar 

  10. Gatziu, S., Dittrich, K.R., Eine Ereignissprache für das aktive, objektorientierte Datenbanksystem SAMOS, in: Stucky, W., Oberweis, A. (Eds.), Datenbanksysteme in Büro, Technik und Wissenschaft, GI-Fachtagung, Braunschweig, March 1993, pp. 94–103, in german.

    Google Scholar 

  11. Gehani, N.H., Jagadish, H.V., Ode as an Active Database: Constraints and Triggers, Proceedings of the 17th International Conference on Very Large Databases, Barcelona, Spain, 1991, pp. 327–336.

    Google Scholar 

  12. Gehani, N.H., Jagadish, H.V., Shmueli, O., Composite Event Specification in Active Databases: Model & Implementation, Proceedings of the 18th International Conference on Very Large Databases, Vancouver, British Columbia, Canada, 1992, pp. 327–338.

    Google Scholar 

  13. Gehani, N.H., Jagadish, H.V., Shmueli, O., Event Specification in an Active Object-Oriented Database, Proc. ACM SIGMOD, June 1992, pp. 81–90.

    Google Scholar 

  14. Hansen, E.N., An Initial Report on the Design of Ariel: A DBMS with an Integrated Production Rule System, SIGMOD RECORD, Vol. 18., No. 3, September 1989, pp. 12–19.

    Google Scholar 

  15. Hülsmann, K., Saake, G., Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring, Acta Informatica, Vol. 28, 1991, Springer-Verlag, pp. 365–407.

    Google Scholar 

  16. Lipeck, U.W., Transformation of Dynamic Integrity Constraints into Transaction Specification, Theoretical Computer Science, Vol. 76, 1990, pp. 115–142.

    Google Scholar 

  17. Lipeck, U.W., Saake, G., Monitoring Dynamic Integrity Constraints Based on Temporal Logic, Information Systems, Vol. 12, No. 3, 1987, pp. 255–269.

    Google Scholar 

  18. Manna, Z., Pnueli, A., How to Cook a Temporal Proof System for your Pet Language, 10th ACM Symposium on Principles of Programming Languages, January 1983, pp. 141–154.

    Google Scholar 

  19. Manna, Z., Pnueli, A., The Temporal Logic of Reactive and Concurrent Systems, Vol. 1: Specification, Springer-Verlag, New York, 1991.

    Google Scholar 

  20. McCarthy, D.R., Dayal, U., The Architecture of an Active Database Management System, Proc. ACM SIGMOD 1989 International Conference on the Management of Data, Portland, Oregon, May–June 1989, pp. 215–224.

    Google Scholar 

  21. Saake, G., Spezifikation, Semantik und Überwachung von Objektlebensläufen in Datenbanken, Informatik-Skripten 20, TU Braunschweig, 1988, in german.

    Google Scholar 

  22. Saake, G., Descriptive Specification of Database Object Behaviour, Data & Knowledge Engineering, Vol. 6 (1991), pp. 47–73.

    Google Scholar 

  23. Saake, G., Lipeck, U.W., Using Finite-Linear Temporal Logic for Specifying Database Dynamics, in: Börger, E.; Kleine Büning, H.; Richter, M.M. (Eds.), Proc. CSL'88, 2nd Workshop Computer Science Logic, Duisburg, 1988, LNCS 385, 1989, pp. 288–300.

    Google Scholar 

  24. Schwiderski, S., Realisation von Objekten in einem Relationalen Datenbanksystem, Diplomarbeit, TU Braunschweig, 1992, in german.

    Google Scholar 

  25. Schwiderski, S., Saake, G., Monitoring Temporal Permissions using Partially Evaluated Transition Graphs, in: Lipeck, U., Thalheim, B. (Eds.), Modelling Database Dynamics, Volkse, 1992, Germany, Springer-Verlag, pp. 196–217.

    Google Scholar 

  26. Schwiderski, S., Hartmann, T., Saake, G., Monitoring Temporal Preconditions in a Behaviour Oriented Object Model, Informatik-Berichte 93-07, TU Braunschweig, 1993.

    Google Scholar 

  27. Sernadas, A., Temporal Aspects of Logical Procedure Definition, Information Systems, Vol. 5, 1980, pp. 167–187.

    Google Scholar 

  28. Stonebraker, M., Hanson, E.N., Potamianos, S., The POSTGRES Rule Manager, IEEE Transactions on Software Engineering, Vol. 14, No. 7, July 1988, pp. 897–907.

    Google Scholar 

  29. Stonebraker, M., Jhingran, A., Goh, J., Potamianos, S., On Rules, Procedures, Caching and Views in Data Base Systems, SIGMOD RECORD, Vol. 19, Issue 2, June 1990, pp. 281–290.

    Google Scholar 

  30. Widom, J., Finkelstein, S.J., Set-Oriented Production Rules in Relational Database Systems, SIGMOD RECORD, Vol.19., Issue 2, June 1990, pp. 259–270.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Laboratory, University of Cambridge, CB2 3QG, Cambridge, UK

    Scarlet Schwiderski

  2. Informatik, Abt. Datenbanken, Technische Universität Braunschweig, 38023, Braunschweig, FRG

    Gunter Saake

Authors
  1. Scarlet Schwiderski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gunter Saake
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

David S. Bowers

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schwiderski, S., Saake, G. (1994). Expressing temporal behaviour with extended ECA rules. In: Bowers, D.S. (eds) Directions in Databases. BNCOD 1994. Lecture Notes in Computer Science, vol 826. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58235-5_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-58235-5_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58235-9

  • Online ISBN: 978-3-540-48580-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation