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.