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
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, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
P. Sistla and O. Wolfson. Temporal Conditions and Integrity Constraints in Active Database Systems. To appear at Sigmod, 1995.
J. Chomicki. History-less Checking of Dynamic Integrity Constraints. In Proceedings IEEE International Conference on Data Engineering, Phoenix, Arizona, Febraury 1992.
J. Chomicki, Real-Time Integrity Constraints. ACM Symposium on Principles of Database Systems, June 1992.
D. Cohen. Compiling Complex Database Triggers. In Proceedings of ACM SIGMOD, 1989.
S. Ceri and J. Widom. Production Rules in Parallel and Distributed Database Environments. In Proceedings of VLDB, 1992.
S. Chakravarthy et al. HiPAC: A Research Project in Active, Time-Constrained Database Management. TR XAIT-89-02, Xerox Advanced Information Technology, 1989.
S. Chakravarthy et al. Composite Events for Active Databases: Semantics, Contexts and Detection. In Proceedings of VLDB, 1994.
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.
M. Deng. Past Temporal Logic Trigger Evaluation System. Masters Project Report, University of Illinois at Chicago, Department of EE and CS, 1994.
U. Dayal, M. Hsu, and R. Ladin. Organizing Long-Running Activities with Triggers and Transactions. In Proceedings of ACM-SIGMOD Conference, 1990.
U. Dayal, M. Hsu, R. Ladin A Transactional Model for Long-Running Activities, Proceedings of the 17th Conf. on VLDB, 1991.
M. Darnovsky and J. Bowman. TRANSACT-SQL USER’S GUIDE. Document 3231-2.1 Sybase Inc., 1987.
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.
A. Elmagarmid, editor, Data Eng. Bulletin, Special Issue on Unconventional Transaction Management, March 1991.
S. Gatziu and K. Dittrich. SAMOS: an Active Object-Oriented Database System. Data Engineering Bulletin, December 1992.
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.
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.
M. Gertz and U. Lipeck. Deriving Integrity Maintaining Triggers from Transition Graphs. In Proceedings International Conference on Data Engineering, 1993.
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.
E. N. Hanson and J. Widom, An Overview of Production Rules in Database Systems. Research Report RJ9023, IBM Research Division, 1992.
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.
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.
U. W. Lipeck and G. Saake. Monitoring Dynamic Integrity Constraints Based on Temporal Logic. Information Systems, 12(3):255–269, 1987.
U. W. Lipeck and G. Saake, Using Finite-Linear Temporal Logic for Specifying Database Dynamics. Lecture Notes in Computer Science, Springer-Verlag, 1988.
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.
T. Risch. Monitoring Database Objects. In Proceedings of VLDB, August 1989.
T. Sellis, editor. Special Issue on Rule Management and Processing in Expert Database Systems. SIGMOD RECORD, 18(3), September 1989.
A. Segev and H. Gunadhi. Event-Join Optimization in Temporal Relational Databases.In Proceedings of VLDB, August 1989.
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.
M. Stonebraker and G. Kemnitz. The Postgres Next-generation Database Management System. CACM, October 1991.
R. Snodgrass, editor. Data Engineering, Special Issue on Temporal Databases, December 1988.
R. Snodgrass and I. Ahn. The Temporal Databases. IEEE Computer, September 1986.
R. Snodgrass, S. Gomez, and E. McKenzie. Aggregates in the Temporal Query Language TQuel. IEEE Transactions on Knowledge and Data Engineering, October 1993.
A. Segev and A. Shoshani. Logical Modeling of Temporal Data. In Proceedings of the ACM-Sigmod International Conference on Management of ata, 1987.
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.
L. J. Stockmeyer. The complexity of decision procedures in Automata theory and Logic. Doctoral Dissertation, MIT, Cambridge, Project MAC Technical Report TR-133, 1974.
A. P. Sistla and O. Wolfson. Temporal Triggers in Active Databases. Technical Report, EECS Department, University of Illinois at Chicago, 1993.
A. Tuzhilin and J. Clifford. A Temporal Relational Algebra as a Basis for Temporal Relational Completeness. In Proceedings of the 16th VLDB Conference, 1990.
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.
J. D. Ullman. Principles of Database and Knowledge-Base Systems. Computer Science Press, 1988.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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