Improved rule analysis by means of triggering and activation graphs

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

Volumn 985, Issue , 1995, Pages 165-181

  Baralist, Elena ^a   Ceri, Stefano ^b   Paraboschi, Stefano ^b  

^a POLITECNICO DI TORINO   (Italy)

^b POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL ACTIVATION; DATABASE SYSTEMS;

ACTIVE RULES; ANALYSIS TECHNIQUES; COMPILE TIME; REACTIVE BEHAVIOR; RULE ANALYSIS; RULE PROCESSING; SYSTEMATIC IDENTIFICATION; TWO-GRAPHS;

ACTIVATION ANALYSIS;

EID: 84958780318     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60365-4_126     Document Type: Conference Paper

References (16)

1. A. Aiken, J. Widom, and J. M. Hellerstein. Behavior of database production rules: Termination, confluence, and observable determinism. In M. Stonebraker, editor, Proc. ACM SIGMOD Int'l Conf. on Management of Data, pages 59-68, San Diego, California, May 1992.
2. E. Baralis, S. Ceri, and S. Paraboschi. Modularization techniques for active rules design. Technical Report IDEA.WP2.22P.002.01, ESPRIT Project n. 6333 IDEA, Nov. 1994.
3. E. Baralis, S. Ceil, and J. Widom. Better termination analysis for active databases. In N. W. Paton and M. H. Williams, editors, Proc. of First Workshop on Rules in Database Systems, WIGS, pages 163-179, Edinburgh, Scotland, Aug. 1993. Springer-Verlag, Berlin.
4. E. Baralis and J. Widom. An algebraic approach to rule analysis in expert database systems. In Proc. Twentieth Int'l Conf. on Very Large Data Bases, pages 475-486, Santiago, Chile, Sept. 1994.
5. L. Brownston, R. Farrell, E. Kant, and N. Martin. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, 1985.
6. S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Automatic generation of production rules for integrity maintenance. A CM Transactions on Database Systems, 19(3):367-422, Sept. 1994.
7. S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In D. McLeod, R. Sacks-Davis, and H. Schek, editors, Proc. Sixteenth lnt'l Conf. on Very Large Data Bases, pages 566-577, Brisbane, Australia, Aug. 1990.
8. S. Ceri and J. Widom. Managing semantic heterogeneity with production rules and persistent queues. In R. Agrawal, S. Baker, and D. Bell, editors, Proc. Nineteenth Int'l Conf. on Very Large Data Bases, pages 108-119, Dubfin, Ireland, Aug. 1993.
9. S. Ceri and J. Widom. Deriving incremental production rules for deductive data. Information Systems, 19(6):467-490, Nov. 1994.
10. U. Dayal, M. Hsu, and R. Ladin. Organizing long-running activities with triggers and transactions. In H. Garcia-Molina and H.V. Jagadish, editors, Proc. ACM SIGMOD Int'l Conf. on Management of Data, pages 204-214, Atlantic City, New Jersey, May 1990.
11. J. Gray and A. Reuter. Transaction Processing Concepts and Techniques. Morgan Kaufmann Publishers, 1993.
12. A. P. Karadimce and S. D. Urban. Conditional term rewriting as a formal basis for analysis of active database rules. In Proc. Fourth International Workshop on Research Issues in Data Engineering RIDE-ADS '94, Houston, Texas, Feb. 1994.
13. H. Tsai and A. M. K. Cheng. Termination analysis of OPS5 expert systems. In Proc. of the AAAI National Conference on Artilicial Intelligence, Seattle, Washington, 1994.
14. L. van der Voort and A. Siebes. Termination and confluence of rule execution. In Proc. of the Second International Conference on Information and Knowledge Management, Washington DC, Nov. 1993.
15. J. Widom. Research issues in active database systems: Report from the dosing panel at RIDE-ADS '94. SIGMOD Record, 23(3):41-43, Sept. 1994.
16. J. Widom and S. Ceri. Active Database Systems. Morgan-Kanfmann, San Mateo, California, Aug. 1995.