Temporal Conditions and Integrity Constraints in Active Database Systems

ACM SIGMOD Record

Volumn 24, Issue 2, 1995, Pages 269-280

  Sistla, A Prasad ^a   Wolfson, Ouri ^a  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976746712     PISSN: 01635808     EISSN: N/A     Source Type: Journal    
DOI: 10.1145/568271.223844     Document Type: Article

References (36)

1. S. Chakravarthy, HiPAC: A Research Project in Active, Time-Constrained Database Management, TR XAIT-89-02, Xerox Advanced Information Technology.
2. J. Chomicki, Composite Events for Active Databases: Semantics, Contexts and Detection, Proc. VLDB 94.
3. J. Chomicki, Real-Time Integrity Constraints, ACM Symposium on Principles of Database Systems, June 1993.
4. J. Chomicki, Real-Time Integrity Constraints, ACM Symposium on Principles of Database Systems, June 1992.
5. U. Dayal, Active Database Management Systems, Proceedings of the Third International Conference on Data and Knowledge Bases—Improving Usability and Responsiveness, Jerusalem, June 1988.
6. U. Dayal, M. Hsu, R. Ladin Organizing Long-Running Activities with Triggers and Transactions, Proc. ACM-SIGMOD Conf. 1990.
7. U. Dayal, M. Hsu, R. Ladin A Transactional Model for Long-Running Activities, Proceedings of the 17th Conf. on VLDB, 1991.
8. M. Deng, Past Temporal Logic Trigger Evaluation System, Masters Project Report, University of Illinois at Chicago, Department of EE and CS, 1994.
9. A. Elmagarmid, editor, Data Eng. Bulletin, Special fssue on Unconventional Transaction Management, March 1991.
10. O. Etzion, A. Gal and A. Segev, Retroactive and Proactive Database Processing, Proc. of the 4th Int. Workshop on Research Issues in Database Engineering, Feb. 94.
11. S. Gatziu and K. Dittrich, SAMOS: an Active Object-Oriented Database System, Data Engineering Bulletin, Dec. 92.
12. N. H. Gehani, H. V. Jagadish and O. Shmueli, Event Specification in an Active Object-Oriented Database, ACM-SIGMOD 92.
13. N. H. Gehani, H. V. Jagadish and O. Shmueli, Composite Event Specification in Active Databases: Model& Implementation, Proceedings of the 18th International Conference on Very Large Databases, Aug. 1992.
14. M. Gertz and U. Lipeck, Deriving Integrity Maintaining Triggers from Transition Graphs, Proc. Int. Conf. on Data Eng., 1993.
15. E.N. Hanson, Rule Condition Testing and Action Execution in Ariel Proceedings of the ACM-SIGMOD 1992, International Conference on Management of Data, June 1992.
16. E. N. Hanson and J. Widom, An Overview of Production Rules in Database Systems Research Report RJ9023, IBM Research Division, 1992.
17. G. Iviernan, C. D. Maindreville, E. Simon, Making Deductive Database a Practical Technology: A Step Forward, Proc. of the ACM-Sigmod International Conf. on Management of Data, 1990.
18. A. Kotz, K. Dittrich and J. Mulle, Supporting Semantic Rules by a Generalized Event/Trigger Mechanism, Proc. of the EDBT’88, Springer Verlag LNCS 303.
19. U. W. Lipeck and Gunter Saake, Monitoring Dynamic Integrity Constraints Based on Temporal Logic, Information Systems, 12(3);255-269, 1987.
20. U. W. Lipeck and Gunter Saake, Using Finite-Linear Temporal Logic for Specifying Database Dynamics, Lecture Notes in Computer Science, Springer-Verlag 1988.
21. D.R. McCarthy and U. Dayal, The Architecture of An Active Database Management System, Proc. ACM-SIGMOD 1989 Int’l Conf. Management of Data, Portland, Oregon, May-June 1989, 215–224.
22. T. Risch, Monitoring Database Objects, Proc. VLDB, Aug. 89.
23. A. Segev and H. Gunadhi, Event-Join Optimization in Temporal Relational Databases, Proc. VLDB, Aug. 1989.
24. A. Segev and A. Shoshani, Logical Modeling of Temporal Data, Proc. of the ACM-Sigmod International Conf. on Management of Data, 1987.
25. A. Segev and A. Shoshani, The Representation of a Temporal Data Model in the Relational Environment, 4th Int. Conf. on Statistical and Scientific Data Management, June 1988.
26. T. Sellis, Ed., Special Issue on Rule Management and Processing in Expert Database Systems, SIGMOD RECORD, 18(3), Sept. 1989.
27. A. P. Sistla and O. Wolfson, Temporal Triggers in Active Databases, To appear in IEEE Transactions on Knowledge and Data Engineering 1995.
28. R. Onodgrass and I. Ahn, The Temporal Databases, IEEE Computer, Sep. 1986.
29. R. Snodgrass, S. Gomez, E. McKenzie, Aggregates in the Temporal Query Language TQuel IEEE Trans, on Knowledge and data Eng., Oct. 1993.
30. L. J. Stockmeyer (1974), The complexity of decision procedures in Automata theory and Logic, Doctoral Dissertation, MIT, Cambridge, Project MAC Technical Report TR-133.
31. M. Stonebraker, A. Jhingran, J. Goh, and S Potamianos, On Rules, Procedures, Caching and Views in Database Systems, Proc. of the ACM-Sigmod International Conf. on Management of Data, 1990.
32. M. Stonebraker and G. Kemmtz, The Post-gres Next-generation Database Management System, CACM, Oct, 91.
33. D. Toman and J. Chomicki, Implementing Temporal Integrity Constraints Using an Active Database, Proc. of the 4th Int Workshop on Research Issues in Database Engineering, Feb. 94.
34. A. Tuzhilin and J. Clifford, A Temporal Relational Algebra as a Basis for Temporal Relational Completeness, Proc. of the 16th VLDB Conference, 1990.
35. J. D. Ullman, Principles of Database and Knowledge-Base Systems, Computer Science Press, 1988.
36. J. Widom, S. Finkelstein, Set-Oriented Production Rules in Relational Database Systems, Proc. of the ACM-Sigmod International Conf. on Management of Data, 1990.