Temporal Triggers in Active Databases

IEEE Transactions on Knowledge and Data Engineering

Volumn 7, Issue 3, 1995, Pages 471-486

  Sistla, A Prasad ^a   Wolfson, Ouri ^a  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

Active databases; algorithms; temporal logics; triggers

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER NETWORKS; COMPUTER WORKSTATIONS; DATABASE SYSTEMS; FORMAL LOGIC; SOFTWARE ENGINEERING;

ACTIVE DATABASES; FUTURE TEMPORAL LOGIC; PAST TEMPORAL LOGIC; TEMPORAL TRIGGERS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0029324181     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.390251     Document Type: Article

References (41)

1. R. Alur and T. Henzinger, “Real-time logics: Complexity and expressiveness,” Proc. Fifth IEEE Symp Logic in Computer Science, pp. 390-401, 1990.
2. J.A. Blakeley, P.-A. Larson, and F.W. Tompa, “Efficiently updating materialized views, Proc. ACM-SIGMOD 1986, Int'l Conf. Management of Data, Washington, D.C., pp. 61-71, May 1986.
3. J.A. Blakeley, N. Cobum, and P.-A. Larson, “Updated derived relations: Detecting irrelevant and autonomously computable updates,” ACM Trans. Database Systems, vol. 14, no. 3, 1989.
4. J. Chomicki, “History-less checking of dynamic integrity constraints,” IEEE Int’l Conf. Data Engineering, Phoenix, Ariz., Feb. 1992.
5. J. Chomicki, “Real-time integrity’ constraints,” ACM Symp. Principles of Database Systems, June 1992.
6. D. Cohen, “Compiling complex database triggers,” Proc. ACM SIGMOD, 1989.
7. S, Ceri and J. Widom, “Production rules in parallel and distributed database environments,” Proc. V1DB’92, 1992.
8. S. Chakravarthy et, al., HiPAC: A Research Project in Active, Time-Constrained Database Management, TR XAIT-89-02, Xerox Advanced Information Technology.
9. U Dayal, “Active database management systems" Proc. Third Inti 'lConf. Data and Knowledge Bases—Improving Usability and Responsiveness, Jerusalem, June 1988.
10. T. Dean, “Using temporal hierarchies to efficiently maintain large temporal databases,” JACM, vol. 36, no. 4, Oct. 1989.
11. M. Darnovsky and J. Bowman, “Transact-SQL User’s Guide,” Document 3231-2.1, Sybase Inc., 1987.
12. A. Dupuy, S. Sengupta, O. Wolfson, and Y. Yemini, Design of the NetMate Network Management System. Integrated Network Management II, I. Krishnan and W. Zimmer, eds., Elsevier Science Publishers B.V., North Holland.
13. A. Dupuy, S. Sengupta, O. Wolfson, and Y. Yemini; “NetMate; A network management environment,” to appear in the special issue on Network Operations and Management, IEEE Network, The Magazine of Computer Communications, 1991.
14. N.H. Gehani, H.V. Jagadish, and O. Shmueli, “Event specification in an active object-oriented database,” ACM-SIGMOD ’92.
15. N.H. Gehani et. al., “Composite event specification in active databases; Model and implementation,” Proc. 18th Int'l Conf. Very Large Databases, Aug. 1992.
16. E.N. Hanson, M. Chaabouni, C.-H. Kim, and Y.-W. Wang, “A predicate matching algorithm for database and rule systems,” Proc. ACM-SIGMOD 1990, Int'l Conf Management of Data, Atlantic City, N.J., pp. 271-280, May 1990.
17. T. Henzinger, “Half-order modal logic: How to prove real-time properties,” Proc. Ninth ACM Symp. Principles of Distributed Computing, pp. 281-296, 1990.
18. E.N. Hanson and J. Widom, “An overview of production rules in database systems,” Research Report RJ9023, IBM Research Division, 1992
19. C.S. Jensen, L. Mark and N. Roussopoulos, “Incremental implementation model for relational databases with transaction time,” IEEE Trans. on Knowledge and Data Engineering, Dec 1991.
20. A. Kotz, K. Dittrich, and J. Mulle, “Supporting semantic rules by a generalized event/trigger mechanism,” Proc. EDBT’88, Springer Verlag LNCS 303.
21. G. Kieman, C. de Maindreville, and E. Simon, “Making deductive database a practical technology: A step forward,” Proc. ACM-SIGMOD Int'l Conf. Management of Data, 1990.
22. U.W. Lipeck and G. Saake, “Monitoring dynamic integrity constraints based on temporal logic,” Information Systems, vol. 12, no. 3, pp. 255-269, 1987.
23. U.W. Lipeck and G. Saake, “Using finite-linear temporal logic for specifying database dynamics,” Lecture Notes in Computer Science, Springer Verlag, 1988.
24. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems—Specification, Springer Verlag 1992.
25. X. Qian and G. Wiederhold, “Incremental recomputation of active relational expressions,” IEEE Trans. on Knowledge and Data Engineering, vol. 3, no. 3, 1991.
26. T. Risch, “Monitoring database objects,” Proc. VLDB, Aug. 1989.
27. R.R. Razouk and M.M. Gorlik, “A real time interval logic for reasoning about executions of real-time programs,” Proc. ACM-SIGSOFT Conf, 1989.
28. Special issue on rule management and processing in expert database systems, T. Sellis, ed., S1GMOD Record, vol 18, no. 3, Sept. 1989
29. A. Segev and H. Gunadhi, “Event-join optimization in temporal relational databases,” Proc. VLDB, Aug. 1989.
30. M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos, “On rules, procedures, caching, and views in database systems,” Proc. ACM-SIGMOD Int’l Conf. Management of Data, 1990.
31. R. Snodgrass, “The temporal query language TQuel,” ACM Trans. Database Systems, vol. 12, no. 2, 1987.
32. Data Engineering, R Snodgrass, ed., special issue on temporal Databases, Dec. 1988.
33. A. Segev and A. Shoshani, “Logical modeling of temporal data,” Proc. ACM-SIGMOD Int’l Conf. Management of Data, 1987.
34. A. Segev and A. Shoshani, “The representation of a temporal data model in the relational environment,” Fourth Int'l Conf. Statistical and Scientific Data Management, June 1988.
35. L.J. Stockmeyer, “The complexity of decision procedures in automata theory and logic,” doctoral dissertation, MIT, Cambridge, Mass. Project MAC Tech. Report TR-133, 1974.
36. A.P. Sistla and O. Wolfson, “Temporal triggers in active databases,” Tech. Report, EECS Dept., Univ. of Illinois, Chicago, 1994.
37. A. Tuzhilin and J. Clifford, “A temporal relational algebra as a basis for temporal relational completeness,” Proc. 16th VLDB Conf, 1990.
38. J.D. Ullman, Principles of Database and Knowledge-Based Systems, Computer Science Press, 1988.
39. J. Widom and S. Finkelstein, “Set-oriented production rules in relational database system" Proc. ACM-SIGMOD Int'l Conf Management of Data, 1990.
40. O. Wolfson, S. Sengupta, and Y. Yemini, “Managing communication networks by monitoring databases" IEEE Trans. Software Engineering, vol. 17, no. 9, pp. 944-953, Sept. 1991.
41. Y. Yemini and O. Wolfson, “NetMate: Management of complex distributed networked systems (project synopsis),” Proc. First Int'l Conf Parallel and Distributed Information Systems, Dec. 1991.