Skip to main content
SpringerLink
Log in
Book cover

Active and Real-Time Database Systems (ARTDB-95) pp 122–141Cite as

Temporal Conditions with Retroactive and Proactive Updates

  • Conference paper

Part of the book series: Workshops in Computing ((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.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Learn about institutional subscriptions

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.

    Article  MATH  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

  1. Department of Electrical Engineering and Computer Science, University of Illinois at Chicago, Chicago, Illinois, USA

    Minglin Deng, A. Prasad Sistla & Ouri Wolfson

Authors
  1. Minglin Deng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Prasad Sistla
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ouri Wolfson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Skövde, PO Box 408, S-541 28, Skövde, Sweden

    Mikael Berndtsson MSc  & Jörgen Hansson MSc  & 

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

Publish with us

Policies and ethics

Search

Navigation