Refined rules termination analysis through transactions

Information Systems

Volumn 28, Issue 5, 2003, Pages 435-456

  Montesi, Danilo ^a   Bertino, Elisa ^b   Bagnato, Maria ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

Active data bases; Rules termination; Static analysis; Transactions

Indexed keywords

ALGORITHMS; GRAPH THEORY; KNOWLEDGE BASED SYSTEMS; SYSTEMS ANALYSIS;

ACTIVE DATABASES; EVOLUTION GRAPHS; RULES TERMINATION;

DATABASE SYSTEMS;

EID: 0038048799     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0306-4379(02)00025-X     Document Type: Article

References (30)

1. S. Ceri, J. Widom, Active Database Systems: Triggers and Rules for Advanced Database Processing, Morgan Kaufmann, Los Altos, CA, 1996.
2. N.W. Paton, Active Rules in Database Systems, Springer, Berlin, 1999 http://www.springer-ny.com/.
3. IBM DB2 Universal Database: Online Books.
4. L. Leverenz et al., Oracle8 Concepts, Handbook, Oracle Corporation, 2000.
5. SQL Server 2000: Books Online.
6. Informix, Guide to SQL: Reference, 1998.
7. SQL Reference handbook, Appendix A - SQL Limits, 1997.
8. D. Montesi, M. Bagnato, C. Dallera, A Termination Analysis in Active databases, in: Proceedings of the IDEAS'99, IEEE Computer Society Press, Montreal, 1999.
9. D. Montesi, E. Bertino, M. Bagnato, Rules termination analysis investigating the interaction between transactions and triggers, in: Proceedings of the IDEAS'02, IEEE Computer Society Press, Silver Spring, MD, 2002, to appear.
10. A. Aiken, J.M. Hellerstein, J. Widom, Static analysis techniques for predicting the behavior of database production rules, ACM Transactions on Database Systems, 1995, pp. 3-41.
11. J. Widom. The starburst rule system: language design, implementation, and applications, IEEE Data Engineering Bulletin (1992) 15-18.
12. E. Baralis, S. Ceri, S. Paraboschi, Improved rule analysis by means of triggering and activation graphs, RIDS'95, Lecture Notes in Computer Science, Springer, Berlin, 1995, pp. 165-181.
13. S. Ceri, P. Fraternali, S. Paraboschi, L. Tanca, Active rule management in Chimera, in: S. Ceri, J. Widom (Eds.), Active Database Systems: Triggers and Rules for Advanced Database Processing, Morgan Kaufmann, Los Altos, CA, 1996, pp. 151-176.
14. 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, Springer, Berlin, 1997, pp. 188-202.
15. 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. http://www.c-lab.de/
16. E. Baralis, J. Widom, An algebraic approach to static analysis of active database rules, ACM Transactions on Database Systems, September 2000.
17. J. Bailey, G. Dong, K. Ramamohanarao, Decidability and undecidability results for the termination problem of active database rules, PODS'98, 1998, pp. 264-273.
18. L. Leverenz et al., SQL Reference, Handbook, Oracle Corporation, 2000.
19. E.N. Hanson, Rule conditions testing and action execution in Ariel, in: ACM SIGMOD International Conference on Management of Data, San Diego, CA, 2-5 June 1992. SIGMOD Record 21(2) (2 1992) 49-58.
20. U. Dayal et al., The HiPAC project: combining active databases and timing constraints, SIGMOD Record 17(1) (1988) 51-70. http://www.cise.ufl.edu/~sharma/research/
21. R. Arlein, N. Gehani, D.F. Lieuwen, The ode active database: trigger semantics and implementation, ICDE'96, IEEE Computer Society, Silver Spring, MD, 1996, pp. 412-420.
22. O. Diaz, A. Jaime, N W. Paton, DEAR: A debugger for active rules in an object-oriented context, in: N.W. Paton, M.H. Williams (Eds.), Rules In Database Systems: Proceedings of the 1st International Workshop, Springer, Berlin, 1994, pp. 180-193.
23. K.R. Dittrich, S. Gatziu, A. Vaduva. Investigating termination in active database systems with expressive rule languages, RIDS'97, Lecture Notes in Computer Science, Springer, Berlin, 1997, pp. 149-164.
24. S. Abiteboul, R. Hull, V. Vianu, Foundation of Databases, Addison-Wesley, Reading, MA, 1994.
25. J. Gray, A. Reuter, Transaction Processing: Concepts and Techniques, Morgan Kaufmann, Los Altos, CA, 1993.
26. A. Aiken, J.M. Hellerstein, J. Widom, Behaviour of database production rules: termination, confluence and observable determinism, ACM-SIGMOD, 1992, pp. 59-68.
27. A. Siebes, L. van der Voort, Termination and Confluence of Rule Execution, CIKM'93, ACM Press, New York, 1993, pp. 245-255. http://dbs.cwi.nl
28. M.K. Tschudi, S.D. Urban, A.P. Karadimce, W. Dietrich, An implementation and evaluation of the refined triggering graph method for active rule termination analysis, International Workshop on Rules in Database Systems (RIDS), Skövde, Sweden, 1997, Lecture Notes in Computer Science, vol. 1312, Springer, Berlin, 1997, pp. 133-148.
29. 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, Silver Spring, MD, 1996, pp. 384-391. http://www.eas.asu.edu/~adood/
30. D. Montesi, R. Torlone, A transaction transformation approach to active rule processing, in: Proceedings of the ICDE'95, IEEE Computer Society Press, Silver Spring, MD, 1995, pp. 109-116.