An algebraic approach to static analysis of active database rules

ACM Transactions on Database Systems

Volumn 25, Issue 3, 2000, Pages 269-332

  Baralis, Elena ^a   Widom, Jennifer ^b  

^a POLITECNICO DI TORINO   (Italy)

^b Stanford University   (United States)

Author keywords

Active database systems; Confluence; Database rule processing; Database trigger processing; Design; H.2.3 Database Management : Languages SQL; H.2.4 Database Management : Systems Rule based databases; Termination; Verification

Indexed keywords

EID: 0000096346     PISSN: 03625915     EISSN: None     Source Type: Journal    
DOI: 10.1145/363951.363954     Document Type: Article

References (43)

1. AIKEN, A., HELLERSTEIN, J. M., AND WIDOM, J. 1995. Static analysis techniques for predicting the behavior of active database rules. ACM Trans. Database Syst. 20, 1 (Mar.), 3-41.
2. BARALIS, E. 1994. An algebraic approach to the analysis and optimization of active database rules. Ph.D. Dissertation.
3. BARALIS, E., CERI, S., AND PARABOSCHI, S. 1995a. ARACHNE: A tool for the analysis of active rules. In Proceedings of the Second International Conference on Applications of Databases (San Jose, CA, Dec.).
4. BARALIS, E., CERI, S., AND PARABOSCHI, S. 1995b. Run-time detection of non-terminating active rule systems. In Proceedings of the 4th International Conference on Deductive and Object-Oriented Databases (Singapore, Dec.). Springer-Verlag, New York, NY, 38-54.
5. BARALIS, E., CERI, S., AND PARABOSCHI, S. 1996. Modularization techniques for active rules design. ACM Trans. Database Syst. 21, 1, 1-29.
6. BARALIS, E., CERI, S., AND PARABOSCHI, S. 1998. Compile-time and run-time analysis of active behaviors. IEEE Trans. Knowl. Data Eng. 10, 3 (May-June), 353-370.
7. BARALIS, E., CERI, S., AND WIDOM, J. 1993. Better termination analysis for active databases. In Proceedings of the First International Workshop on Rules in Database Systems (Edinburgh, Scotland, Aug.). 163-179.
8. BARALIS, E. AND WIDOM, J. 1994. An algebraic approach to rule analysis in expert database systems. In Proceedings of the 20th International Conference on Very Large Data Bases (VLDB'94, Santiago, Chile, Sept.). VLDB Endowment, Berkeley, CA, 475-486.
9. BARALIS, E. AND WIDOM, J. 1995. Using delta relations to optimize condition evaluation in active databases. In Proceedings of the Second International Workshop on Rules in Database Systems (Athens, Greece, Sept.). 292-308.
10. BROWNSTON, L., FARRELL, R., KANT, E., AND MARTIN, N. 1985. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley series in artificial intelligence. Addison-Wesley Longman Publ. Co., Inc., Reading, MA.
11. CERI, S., CRESPI-REGHIZZI, S., LAMPERTI, L., LAVAZZA, L., AND ZICARI, R. 1990. Algres: An advanced database for complex applications. IEEE Software.
12. CERI, S., FRATERNALI, P., PARABOSCHI, S., AND TANCA, L. 1994. Automatic generation of production rules for integrity maintenance. ACM Trans. Database Syst. 19, 3 (Sept.), 367-422.
13. CERI, S. AND GOTTLOB, G. 1985. Translating SQL into relational algebra: optimization, semantics, and equivalence of SQL queries. IEEE Trans. Softw. Eng. SE-11, 4 (Apr.), 324-345.
14. CERI, S. AND WIDOM, J. 1991. Deriving production rules for incremental view maintenance. In Proceedings of the 17th Conference on Very Large Data Bases (Barcelona, Spain, Sept.). VLDB Endowment, Berkeley, CA, 577-589.
15. CERI, S. AND WIDOM, J. 1990. Deriving production rules for constraint maintenance. In Proceedings of the 16th International Conference on Very Large Data Bases (VLDB, Brisbane, Australia, Aug. 13-16), D. McLeod, R. Sacks-Davis, and H. Schek, Eds. Morgan Kaufmann Publishers Inc., San Francisco, CA, 566-577.
16. COMAI, S. AND TANCA, L. 1997. Using the properties of datalog to prove termination and confluence in active databases. In Proceedings of the Third International Workshop on Rules in Database Systems (Skövde, Sweden, June). 100-117.
17. DAYAL, U., Hsu, M., AND LADIN, R. 1990. Organizing long-running activities with triggers and transactions. In Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data (SIGMOD '90, Atlantic City, NJ, May 23-25), H. Garcia-Molina, Chair. ACM Press, New York, NY, 204-214.
18. DELCAMBRE, L. AND ETHEREDGE, J. 1989. The relational production language: A production language for relational databases. In Proceedings from the Second International Conference on Expert Database Systems (Redwood City, CA), L. Kerschberg, Ed. Benjamin/Cummings, Redwood City, CA, 333-351.
19. EISENBERG, A. AND MELTON, J. 1999. SQL: 1999, formerly known as SQL3. SIGMOD Rec. 28, 1 (Mar.).
20. ELKAN, C. 1990. Independence of logic database queries and update. In Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS '90, Nashville, TN, Apr. 2-4), D. J. Rosenkrantz and Y. Sagiv, Chairs. ACM Press, New York, NY, 154-160.
21. GORDIN, D. AND PASIK, A. 1991. Set-oriented constructs: From Rete rule bases to database systems. In Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data (SIGMOD '91, Denver, CO, May 29-31), J. Clifford and R. King, Eds. ACM Press, New York, NY, 60-67.
22. HANSON, E. 1992. Rule condition testing and action execution in Ariel. In Proceedings of the ACM-SIGMOD Conference on Management of Data (ACM SIGMOD, San Diego, CA, June). ACM, New York, NY, 49-58.
23. HELLERSTEIN, J. AND HSU, M. 1991. Determinism in partially ordered production systems. Report RJ 8009 (March).
24. KARADIMCE, A. AND URBAN, S. 1996. Refined triggering graphs: A logic-based approach to termination analysis in an active object-oriented database. In Proceedings of the 12th IEEE International Conference on Data Engineering (ICDE '97, New Orleans, LA, Feb.). IEEE Press, Piscataway, NJ, 384-391.
25. KARADIMCE, A. AND URBAN, S. 1994. Conditional term rewriting as a formal basis for analysis of active database rules. In Proceedings of the Fourth International Workshop on Research Issues in Data Engineering (RIDE-ADS '94, Houston, TX, Feb.). 156-162.
26. KLUG, A. 1982. Equivalence of relational algebra and relational calculus query languages having aggregate functions. J. ACM 29, 3 (July), 699-727.
27. KULKARNI, K., MATTOS, N., AND COCHRANE, R. 1998. Active database features in SQL3. In Active Database Systems, N. Paton, Ed. Springer-Verlag, Berlin, Germany.
28. LEE, S. AND LING, T. 1998. A path removing technique for detecting trigger termination. In Proceedings of the Sixth International Conference on Extending Database Technology (Valencia, Spain, Mar.), H. -J. Schek, F. Saltor, I. Ramos, and G. Alonso, Eds. 341-355.
29. LEVY, A. AND SAGIV, Y. 1993. Queries independent of updates. In Proceedings of the Nineteenth International Conference on Very Large Data Bases (VLDB '93, Dublin, Ireland, Aug.). Morgan Kaufmann Publishers Inc., San Francisco, CA, 171-181.
30. LIBKIN, T. G. L. AND TRICKEY, H. 1997. An improved algorithm for the incremental recomputation of active relational expressions. IEEE Trans. Knowl. Data Eng. 9, 3 (May/June), 508-511.
31. ORACLE. 1999. ORACLE 8i Reference Manual. Oracle Corp., Redwood City, CA.
32. QIAN, X. AND WIEDERHOLD, G. 1991. Incremental recomputation of active relational expressions. IEEE Trans. Knowl. Data Eng. 3, 3 (Sept.), 337-341.
33. ROSENTHAL, A., CHAKRAVARTHY, U. S., BLAUSTEIN, B., AND BLAKELY, J. 1989. Situation monitoring for active databases. In Proceedings of the 15th International Conference on Very Large Data Bases (VLDB '89, Amsterdam, The Netherlands, Aug 22-25), P. G. Apers and G. Wiederhold, Eds. Morgan Kaufmann Publishers Inc., San Francisco, CA, 455-464.
34. SIMON, E. AND DE MAINDREVILLE, C. 1992. Implementing high level active rules on top of a relational DBMS. In Proceedings of the 18th International Conference on Very Large Data Bases (Vancouver, B.C., Aug.). VLDB Endowment, Berkeley, CA, 315-326.
35. 1999. ISO/IEC 9075: 1999, Information Technology-Database Languages-SQL.
36. TSAI, H.-Y. AND CHENG, A. M. K. 1994. Termination analysis of OPS5 expert systems. In Proceedings of the 12th National Conference on Artificial Intelligence (vol. 1) (AAAI '94, Seattle, WA, July 31-Aug. 4), B. Hayes-Roth and R. E. Korf, Chairs. Amer. Assn. for Artificial Intelligence, Menlo Park, CA, 193-198.
37. TSCHUDI, M., URBAN, S., DIETRICH, S., AND KARADIMCE, A. 1997. An implementation and evaluation of the refined triggering graph method for active rule termination analysis. In Proceedings of the Third International Workshop on Rules in Database Systems (Skövde, Sweden, June). 133-147.
38. ULLMAN, J. D. 1988. Principles of Database and Knowledge-Base Systems. Computer Science Press, Inc., New York, NY.
39. VAN DER VOORT, L. AND SIEBES, A. 1993. Termination and confluence of rule execution. In Proceedings of the 2nd International Conference on Information and Knowledge Management (CIKM '93, Washington, DC, Nov. 1-5), B. Bhargava, T. Finin, and Y. Yesha, Eds. ACM Press, New York, NY, 245-255.
40. WEIK, T. AND HEUER, A. 1995. An algorithm for the analysis of termination of large trigger sets in an OODBMS. In Proceedings of the International Workshop on Active and Real-Time Database Systems (Skövde, Sweden, June).
41. WIDOM, J. AND CERI, S., EDS. 1996. Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann Publishers Inc., San Francisco, CA.
42. WIDOM, J. AND FINKELSTEIN, S. 1990. Set-oriented production rules in relational database systems. In Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data (SIGMOD '90, Atlantic City, NJ, May 23-25), H. Garcia-Molina, Chair. ACM Press, New York, NY, 259-270.
43. ZHOU, Y. AND Hsu, M. 1990. A theory for rule triggering systems. In Proceedings of the International Conference on Advances in Database Technology (EDBT '90, LNCS 416, Venice, Italy, Mar. 26-30), F. Bancilhon, C. Thanos, and D. Tsichritzis, Eds. Springer Lecture Notes in Computer Science. Springer-Verlag, New York, NY, 407-421.