Rule termination analysis investigating the interaction between transactions and triggers

Proceedings of the International Database Engineering and Applications Symposium, IDEAS

Volumn 2002-January, Issue , 2002, Pages 285-294

  Montesi, D ^a   Bertino, E ^b   Bagnato, M ^b   Dearnley, P ^c  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF MILAN   (Italy)

^c UNIVERSITY OF EAST ANGLIA   (United Kingdom)

Author keywords

Algorithm design and analysis; Data analysis; Database languages; Database systems; Information analysis; Information systems; Petri nets; Runtime; Testing; Transaction databases

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATA REDUCTION; INFORMATION ANALYSIS; INFORMATION SYSTEMS; PETRI NETS; TESTING;

ACTIVE DATABASE; ALGORITHM DESIGN AND ANALYSIS; DATABASE LANGUAGE; RULE TERMINATION; RUNTIMES; TERMINATION ANALYSIS; TRANSACTION DATABASE;

DATABASE SYSTEMS;

EID: 84857170804     PISSN: 10988068     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IDEAS.2002.1029681     Document Type: Conference Paper

References (22)

1. S. Abiteboul, R. Hull and V. Vianu. Foundation of Databases. Addison-Wesley, 1994.
2. A. Aiken, J. M. Hellerstein and J. Widom. Behaviour of Database Production Rules: Termination, Confluence and Observable Determinism. ACM-SIGMOD, pp. 59-68, 1992.
3. A. Aiken, J.M. Hellerstein, J. Widom. Static Analysis Techniques for Predicting the Behavior of Database Production Rules. ACM TODS, pp. 3-41, 1995.
4. E. Baralis, S. Ceri, S. Paraboschi. Improved Rule Analysis by Means of Triggering and Activation Graphs. RIDS'95, Lecture Notes in Computer Science, pp. 165-181, 1995.
5. J. Bailey, L. Crnogorac, K. Ramamohanarao, H. Sondergaard. Abstract Interpretation of Active Rules and Its Use in Termination Analysis. ICDT'97, Lecture Notes in Computer Science, pp. 188-202, 1997.
6. J. Bailey, G. Dong, K. Ramamohanarao. Decidability and Undecidability Results for the Termination Problem of Active Database rules. PODS'98, pp. 264-273, 1998.
7. E. Baralis, J. Widom. An Algebraic Approach to Static Analysis of Active Database Rules., ACM Transactions on Database Systems, September 2000.
8. S. Ceri, P. Fraternali, S. Paraboschi, L. Tanca. Active Rule Management in Chimera. in S. Ceri, J. Widom, "Active Database Systems", Morgan Kaufmann, 1996.
9. S. Ceri, J. Widom. Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan-Kaufmann, 1996.
10. W. Dietrich, A. P. Karadimce, M. K. Tschudi, S.D. Urban. An Implementation and Evaluation of the Refined Triggering Graph Method for Active Rule Termination Analysis. RIDS'97, Lecture Notes in Computer Science, pages 133-148, 1997.
11. J. Gray, A. Reuter. Transaction Processing: Concepts and Tecniques. Morgan-Kaufmann, 1993.
12. Informix. Guide to SQL: Reference, February 1998.
13. A. P. Karadimce, S. D. Urban. Refined Triggering Graphs: A Logic-Based Approach to Termination Analysis in an Active Object-Oriented Database. ICDE'96, IEEE Computer Society, pp. 384-391, 1996.
14. L. Leverenz et al. SQL Reference, Handbook. Oracle Corporation, 2000.
15. L. Leverenz et al. Oracle8 Concepts, Handbook. Oracle Corporation, 2000.
16. D. Montesi, M. Bagnato and C. Dallera. Termination Analysis in Active Databases. In Proc. IDEAS'99, IEEE Computer Society Press, Montreal, 1999.
17. A. Mackenstock, R. Unland, D. Zimmer. Rule Termination Analysis based on Petri Nets. Technical Report 3/1996 of C-Lab, R&D Institute of University-GH Paderborn and Siemens Nixdorf Informationssysteme AG, 1996.
18. N. W. Paton. Active Rules in Database Systems. Springer-Verlag, 1999.
19. SQL Server 2000: Books Online.
20. IBM DB2 Universal Database SQL Reference, Appendix A - SQL Limits, 1998.
21. A. Siebes, L. van der Voort. Termination and Confluence of Rule Execution. CIKM'93, ACM Press, pp. 245-255, 1993.
22. J. Widom. The Starburst Rule System: Language Design, Implementation, and Applications. IEEE Data Engineering Bulletin, pp. 15-18, 1992.