Abstract interpretation of active rules and its use in termination analysis

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

Volumn 1186, Issue , 1997, Pages 188-202

  Bailey, James ^a   Crnogorac, Lobel ^a   Ramamohanarao, Kotagiri ^a   Søndergaard, Harald ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; MODEL CHECKING; SEMANTICS;

ABSTRACT INTERPRETATIONS; ACTIVE DATABASE SYSTEM; ACTIVE RULES; FLOW OF DATA; GENERIC FRAMEWORKS; SEPARATION OF CONCERNS; TERMINATION ANALYSIS; UNIFORM TERMINATION;

ABSTRACTING;

EID: 80055095290     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62222-5_45     Document Type: Conference Paper

References (12)

1. S. Abramsky and C. Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood, 1987.
2. A. Aiken, J. Widom, and J. M. Hellerstein. Behavior of database production rules: Termination, confluence and observable determinism. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 59-68. ACM Press, 1992.
3. E. Baralis, S. Ceri, and S. Paraboschi. Improved rule analysis by means of triggering and activation graphs. In T. Sellis, editor, Rules in Database Systems, Lecture Notes in Computer Science 985, pages 165-181. Springer-Verlag, 1995.
4. E. Baralis, S. Ceri, and S. Paraboschi. Run-time detection of non terminating active rule systems. In Proceedings of the Fourth International Conference on Deductive and Object Oriented Databases, pages 38-54, Singapore, 1995.
5. E. Baralis and J. Widom. An algebraic approach to rule analysis in expert database systems. In Proceedings of the 20th International Conference on Very Large Databases, pages 475-486, Santiago, Chile, 1994.
6. T. Coupaye and C. Collet. Denotational semantics for an active rule execution model. In Proceedings of the Second International Workshop on Rules in Database Systems, pages 36-50, Athens, Greece, 1995.
7. P. Cousot and R. Cousot. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(2&3):103-179, 1992.
8. A. Karadimce and S. Urban. 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, pages 156-162, Houston, Texas, 1994.
9. A. Karadimce and S. Urban. Refined triggering graphs: A logic based approach to termination analysis in an active object-oriented database. In Proceedings of the 12th International Conference on Data Engineering, New Orleans, Louisiana, 1996.
10. K. Marriott, H. Søndergaard, and N. D. Jones. Denotational abstract interpretation of logic programs. ACM Transactions on Programming Languages and Systems, 16(3):607-648, 1994.
11. L. Van der Voort and A. Siebes. Termination and confluence of rule execution. In Proceedings of the Second International Conference on Information and Knowledge Management, Washington DC, 1993.
12. J. Widom. A denotational semantics for Staxburst production rule language. ACM SIGMOD Record, 21:4-9, 1992.