Skip to main content

Temporal Conditions with Retroactive and Proactive Updates

  • Conference paper

Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Abstract

In this paper, we extend the temporal rule language introduced in [1] to support pro- and retro- active updates. Such updates may cause the time when a condition is satisfied to differ from the time when it is detected. We enrich the rule language by providing a set of alternative actions in each rule; this allows execution of one of the alternative actions depending on the difference between condition-satisfaction time and detection time. We identify a subset of the temporal condition language PTL [1], called decomposable PTL, that is amenable to more efficient evaluation. We present an evaluation algorithm for decomposable PTL. We also describe the implementation of the system on top of the Sybase DBMS.

Keywords

  • Atomic Formula
  • Integrity Constraint
  • Occurrence Time
  • Database State
  • Evaluation Algorithm

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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-1-4471-3080-2_8
  • Chapter length: 20 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   119.00
Price excludes VAT (USA)
  • ISBN: 978-1-4471-3080-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   159.00
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Sistla and O. Wolfson. Temporal Conditions and Integrity Constraints in Active Database Systems. To appear at Sigmod, 1995.

    Google Scholar 

  2. J. Chomicki. History-less Checking of Dynamic Integrity Constraints. In Proceedings IEEE International Conference on Data Engineering, Phoenix, Arizona, Febraury 1992.

    Google Scholar 

  3. J. Chomicki, Real-Time Integrity Constraints. ACM Symposium on Principles of Database Systems, June 1992.

    Google Scholar 

  4. D. Cohen. Compiling Complex Database Triggers. In Proceedings of ACM SIGMOD, 1989.

    Google Scholar 

  5. S. Ceri and J. Widom. Production Rules in Parallel and Distributed Database Environments. In Proceedings of VLDB, 1992.

    Google Scholar 

  6. S. Chakravarthy et al. HiPAC: A Research Project in Active, Time-Constrained Database Management. TR XAIT-89-02, Xerox Advanced Information Technology, 1989.

    Google Scholar 

  7. S. Chakravarthy et al. Composite Events for Active Databases: Semantics, Contexts and Detection. In Proceedings of VLDB, 1994.

    Google Scholar 

  8. U. Dayal. Active Database Management Systems. In Proceedings of the Third International Conference on Data and Knowledge Bases — Improving Usability and Responsiveness, Jerusalem, June 1988.

    Google Scholar 

  9. M. Deng. Past Temporal Logic Trigger Evaluation System. Masters Project Report, University of Illinois at Chicago, Department of EE and CS, 1994.

    Google Scholar 

  10. U. Dayal, M. Hsu, and R. Ladin. Organizing Long-Running Activities with Triggers and Transactions. In Proceedings of ACM-SIGMOD Conference, 1990.

    Google Scholar 

  11. U. Dayal, M. Hsu, R. Ladin A Transactional Model for Long-Running Activities, Proceedings of the 17th Conf. on VLDB, 1991.

    Google Scholar 

  12. M. Darnovsky and J. Bowman. TRANSACT-SQL USER’S GUIDE. Document 3231-2.1 Sybase Inc., 1987.

    Google Scholar 

  13. O. Etzion, A. Gal, and A. Segev. Retroactive and Proactive Database Processing. In Procceedings of the 4th Int. Workshop on Research Issues in Database Engineering, Feb. 94.

    Google Scholar 

  14. A. Elmagarmid, editor, Data Eng. Bulletin, Special Issue on Unconventional Transaction Management, March 1991.

    Google Scholar 

  15. S. Gatziu and K. Dittrich. SAMOS: an Active Object-Oriented Database System. Data Engineering Bulletin, December 1992.

    Google Scholar 

  16. N. H. Gehani, H. V. Jagadish, and O. Shmueli. Event Specification in an Active Object-Oriented Database. In Proceedings of the ACM-SIGMOD Conference, 1992.

    Google Scholar 

  17. N. H. Gehani, H. V. Jagadish, and O. Shmueli. Composite Event Specification in Active Databases: Model & Implementation. In Proceedings of the 18th International Conference on Very Large Databases, August 1992.

    Google Scholar 

  18. M. Gertz and U. Lipeck. Deriving Integrity Maintaining Triggers from Transition Graphs. In Proceedings International Conference on Data Engineering, 1993.

    Google Scholar 

  19. E. N. Hanson. Rule Condition Testing and Action Execution in Ariel. In Proceedings of the ACM-SIGMOD 1992, International Conference on Management of Data, June 1992.

    Google Scholar 

  20. E. N. Hanson and J. Widom, An Overview of Production Rules in Database Systems. Research Report RJ9023, IBM Research Division, 1992.

    Google Scholar 

  21. A. Kotz, K. Dittrich, and J. Mulle. Supporting Semantic Rules by a Generalized Event/Trigger Mechanism. In Proceedings of the EDBT’88, Springer Verlag LNCS 303, 1988.

    Google Scholar 

  22. G. Kiernan, C. de Maindreville, and E. Simon. Making Deductive Database a Practical Technology: A Step Forward. In Proceedings of the ACM-Sigmod International Conference on Management of Data, 1990.

    Google Scholar 

  23. U. W. Lipeck and G. Saake. Monitoring Dynamic Integrity Constraints Based on Temporal Logic. Information Systems, 12(3):255–269, 1987.

    MATH  CrossRef  Google Scholar 

  24. U. W. Lipeck and G. Saake, Using Finite-Linear Temporal Logic for Specifying Database Dynamics. Lecture Notes in Computer Science, Springer-Verlag, 1988.

    Google Scholar 

  25. D. R. McCarthy and U. Dayal. The Architecture of An Active Database Management System. In Proceedings ACM-SIGMOD 1989 International Conference Management of Data, Portland, Oregon, pages 215–224, May-June 1989.

    Google Scholar 

  26. T. Risch. Monitoring Database Objects. In Proceedings of VLDB, August 1989.

    Google Scholar 

  27. T. Sellis, editor. Special Issue on Rule Management and Processing in Expert Database Systems. SIGMOD RECORD, 18(3), September 1989.

    Google Scholar 

  28. A. Segev and H. Gunadhi. Event-Join Optimization in Temporal Relational Databases.In Proceedings of VLDB, August 1989.

    Google Scholar 

  29. M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On Rules, Procedures, Caching and Views in Database Systems. In Proceedings of the ACM-Sigmod International Conference on Management of Data, 1990.

    Google Scholar 

  30. M. Stonebraker and G. Kemnitz. The Postgres Next-generation Database Management System. CACM, October 1991.

    Google Scholar 

  31. R. Snodgrass, editor. Data Engineering, Special Issue on Temporal Databases, December 1988.

    Google Scholar 

  32. R. Snodgrass and I. Ahn. The Temporal Databases. IEEE Computer, September 1986.

    Google Scholar 

  33. R. Snodgrass, S. Gomez, and E. McKenzie. Aggregates in the Temporal Query Language TQuel. IEEE Transactions on Knowledge and Data Engineering, October 1993.

    Google Scholar 

  34. A. Segev and A. Shoshani. Logical Modeling of Temporal Data. In Proceedings of the ACM-Sigmod International Conference on Management of ata, 1987.

    Google Scholar 

  35. A. Segev and A. Shoshani. The Representation of a Temporal Data Model in the Relational Environment. In Proceedings of the 4th International Conference on Statistical and Scientific Data Management, June 1988.

    Google Scholar 

  36. L. J. Stockmeyer. The complexity of decision procedures in Automata theory and Logic. Doctoral Dissertation, MIT, Cambridge, Project MAC Technical Report TR-133, 1974.

    Google Scholar 

  37. A. P. Sistla and O. Wolfson. Temporal Triggers in Active Databases. Technical Report, EECS Department, University of Illinois at Chicago, 1993.

    Google Scholar 

  38. A. Tuzhilin and J. Clifford. A Temporal Relational Algebra as a Basis for Temporal Relational Completeness. In Proceedings of the 16th VLDB Conference, 1990.

    Google Scholar 

  39. D. Toman and J. Chomicki. Implementing Temporal Integrity Constraints Using an Active Database. In Proceedings of the 4th International Workshop on Research Issues in Database Engineering, February 1994.

    Google Scholar 

  40. J. D. Ullman. Principles of Database and Knowledge-Base Systems. Computer Science Press, 1988.

    Google Scholar 

  41. X. Wang, S. Jajodia, and V. Subrahmanian. Temporal Modules: An Approach Toward Federated Temporal Databases. In Proceedings of the ACM-Sigmod International Conference on Management of Data, 1993.

    Google Scholar 

  42. J. Widom and S. Finkelstein. Set-Oriented Production Rules in Relational Database Systems. In Proceedings of the ACM-Sigmod International Conference on Management of Data, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1996 British Computer Society

About this paper

Cite this paper

Deng, M., Prasad Sistla, A., Wolfson, O. (1996). Temporal Conditions with Retroactive and Proactive Updates. In: Berndtsson, M., Hansson, J. (eds) Active and Real-Time Database Systems (ARTDB-95). Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3080-2_8

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3080-2_8

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19983-0

  • Online ISBN: 978-1-4471-3080-2

  • eBook Packages: Springer Book Archive