An implementation and evaluation of the refined triggering graph method for active rule termination analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1312, Issue , 1997, Pages 133-148

  Tschudi, Michael K ^a   Urban, Susan D ^a   Dietrich, Suzanne W ^a   Karadimce, Anton P ^a  

^a Arizona State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING; OBJECT-ORIENTED DATABASES; SEMANTICS;

ACTIVE RULES; EXECUTION SEMANTICS; GRAPH METHODS; ONE-RULE; RULE PAIRS; SAMPLE APPLICATIONS; SATISFIABILITY; SATISFIABILITY ALGORITHMS;

DIRECTED GRAPHS;

EID: 84957003865     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63516-5_22     Document Type: Conference Paper

References (21)

1. AIKEN, A., WIDOM, J., and HELLERSTEIN, J. M. 1992. Behavior of database production rules: Termination, confluence, and observable determinism. S1GMOD 21, 2 (Jun.), 59-68.
2. BARAUS, E., and WIDOM, J. 1994. An algebraic approach to rule analysis in expert database systems. In Proceedings of the Twentieth International Conference on Very Large Data Bases, (Santiago, Chile, Sep.), 475-486.
3. BARALIS, E., CERI, S., and PARABOSCHI, S. 1995a. Improved rule analysis by means of triggering and activation graphs. In Rules in Database Systems: 2nd International Workshop, RIDS '95, (Gtyfada, Athens, Greece, Sep. 25-27), 165-181.
4. BARALIS, E., CERI, S., and PARABOSCHI, S. 1995b. Run-time detection of non-terminating active rule systems. In Deductive and Object-Oriented Databases, T. W. Ling, A. O. Mendelzon, and L. Vieille (editors), Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases DOOD '95, (Singapore, Dec. 4-7), 38-54.
5. 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, (Sep.), 163-179.
6. BURKERT, H.-J. 1991. A Resolution Principle for a Logic with Restricted Quantifiers. Springer-Verlag (LNCS 568).
7. CERI, S., and WIDOM, J. 1990. Deriving production rules for constraint maintenance. In IBM Research Report RJ 7348 (68829), IBM Research Division, Yorktown Heights, NY, (Mar. 1).
8. CERI, S., Baralls, E., Fraternali, P., and Paraboschi, S. 1995. Design of active rule applications: Issues and approaches. In Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases DOOD '95, Singapore (Dec. 4-7), 1-18.
9. CERI, S., FRATERNALI, P., PARABOSCHI, S., and TANCA, L 1996. Active rule management in Chimera. In Active Database Systems: Triggers and Rules for Advanced Database Processing, J. Widom and S. Ceri (editors), Morgan Kaufmann, San Francisco, I51-176.
10. CHAN, R., DIETRICH, S., and URBAN, S. 1997. On Control Flow Testing of Active Rules in a Declarative Object-Oriented Framework, Rules in Database Systems Workshop, Skovde, Sweden, 1997.
11. FRATERNALI, P., PARABOSCHI, S., and TANCA, L. 1992. Automatic rule generation for constraint enforcement in active databases. In Modelling Database Dynamics, U. W. Lipeck and B. Thalheim (editors), Springer-Verlag, London, 1993, Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, (Votkse, Germany, Oct. 19-22), 153-173.
12. JÄHNE, A., URBAN, S. D., and DIETRICH, S.W. 1996. PEARD: A Prototype Environment for Active Rule Debugging. Journal of Intelligent Information Systems 7, 2 (Oct.), 111-128.
13. KARADIMCE, A. P. 1997. Termination and confluence analysis in an active object-oriented database. Ph.D. Dissertation, Department of Computer Science and Engineering, Arizona State University, Spring 1997.
14. KARADIMCE, A. P., and URBAN, S. D. 1996a. Proving termination of active rules in objectoriented databases. In Proceedings of the International Conference on Data Engineering, (New Orleans, LA, Feb.), pp. 384-391.
15. KARADIMCE, A. P., and URBAN, S. D. 1996b. Refined triggering graphs: A logic-based approach to termination analysis in an active object-oriented database. Submitted for journal publication.
16. MONTESI, D., and TORLONE, R. 1995. A transaction transformation approach to active rule processing. In Proceedings of the Eleventh International Conference on Data Engineering, (Taipei, Taiwan, Mar. 6-10), 109-116.
17. ROSENKRANTZ, D., and HUNT, H. B III. 1980. Processing conjunctive predicates and queries. In Proceedings of the Sixth International Conference on Very Large Data Bases, (Montrèal, Canada), 64-72.
18. TSCHUDI, M. K. 1997. Static Analysis of Active Database Rules: Evaluating Tools for Termination Analysis, M.S. Thesis, Department of Computer Science and Engineering, Arizona State University, Spring 1997.
19. URBAN, S. D., KARADIMCE, A. P., DIETRICH, S. W., BEN ABDELLATIF, W., and CHAN, H. W. R. 1997. CDOL" A Comprehensive Declarative Object Language, Data & Knowledge Engineering, vol. 22, 1997, 67-111.
20. WEIK, T. and HEUER, A. 1995. An Algorithm for the Analysis of Termination of Large Trigger Sets in OODBMS, In Proceedings of the Workshop on Active and Real-Time Databases (ARTDB), 170-189.
21. WIDOM, J. 1996. The Starburst rule system. In Active Database Systems: Triggers and Rules for Advanced Database Processing, J. Widom and S. Ceri (editors), Morgan Kaufmann, San Francisco, 87-109.