An abstract interpretation framework for termination analysis of active rules

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

Volumn 1949, Issue , 2000, Pages 252-270

  Bailey, James ^a   Poulovassilis, Alexandra ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTATIONAL LINGUISTICS; MODEL CHECKING;

ABSTRACT INTERPRETATIONS; ACTIVE DATABASE; ACTIVE RULES; TERMINATION ANALYSIS;

DATABASE SYSTEMS;

EID: 84959054212     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44543-9_16     Document Type: Conference Paper

References (25)

1. S. Abramsky and C. Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood, 1987.
2. A. Aiken, J. Widom, and J. M. Hellerstein. Static analysis techniques for predicting the behavior of active database rules. ACM TODS, 20(1):3–41, 1995.
3. J. Bailey, L. Crnogorac, K. Ramamohanarao, and H. Søndergaard. Abstract interpretation of active rules and its use in termination analysis. In Proc. ICDT’97, LNCS 1186, pages 188–202, 1997.
4. J. Bailey, G. Dong, and K. Ramamohanarao. Structural issues in active rule systems. In Proc. ICDT’97, LNCS 1186, pages 203–214, 1997.
5. J. Bailey, G. Dong, and K. Ramamohanarao. Decidability and undecidability results for the termination problem of active database rules. In Proc. PODS’98, pages 264–273, 1998.
6. J. Bailey and A. Poulovassilis. Abstract interpretation for termination analysis in functional active databases. Journal of Intelligent Information Systems, 12(2/3):243–273, 1999.
7. E. Baralis, Ceri. S., and S. Paraboschi. Compile-time and runtime analysis of active behaviors. IEEE Trans. on Knowledge and Data Engineering, 10(3):353–370, 1998.
8. E. Baralis and J. Widom. An algebraic approach to rule analysis in expert database systems. In Proc. VLDB’94, pages 475–486, Santiago, Chile, 1994.
9. S. Chaudhuri and P. Kolaitis. Can datalog be approximated ? Journal of Computer and System Sciences, 55, 1997.
10. P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic Programming, 13(2&3):103–179, 1992.
11. T. Griffin, L. Libkin, and H. Trickey. A correction to “Incremental recomputation of active relational expressions” by Qian andWiederhold. IEEE Trans. on Knowledge and Data Engineering, 9(3):508–511, 1997.
12. A. Karadimce and S. Urban. Refined triggering graphs: A logic based approach to termination analysis in an active object-oriented database. In Proc. 12th ICDE, pages 384–391, 1996.
13. K. Kulkarni, N. Mattos, and R. Cochrane. Active database features in SQL3. In [17].
14. L. Libkin. Approximation in databases. In Proc. ICDT’95, pages 411–424, 1995.
15. B. Ludäscher, U. Hamann, and G. Lausen. A logical framework for active rules. In Proc. 7th International Conference on Management of Data, Pune, India, 1995.
16. K. Marriott, H. Søndergaard, and N. D. Jones. Denotational abstract interpretation of logic programs. ACM TOPLAS, 16(3):607–648, 1994.
17. N. Paton, editor. Active Rules in Database Systems. Springer-Verlag, 1999.
18. P. Picouet and V. Vianu. Semantics and expressiveness issues in active databases. In Proc. PODS’95, pages 126–138, 1995.
19. A. Poulovassilis, S. Reddi, and C. Small. A formal semantics for an active functional DBPL. Journal of Intelligent Information Systems (special issue on Active Database Systems), 7(2):151–172, 1996.
20. X. Qian and G. Wiederhold. Incremental recomputation of active relational expressions. IEEE Trans. on Knowledge and Data Engineering, 3(3):337–341, 1991.
21. S. Reddi, A. Poulovassilis, and C. Small. Extending a functional DBPL with ECArules. In Proc. RIDS’95, pages 101–115, 1995.
22. Y. Sagiv and M. Yannakakis. Equivalences among relational expressions with the union and difference operators. Journal of the ACM, 27(4):633–655, 1980.
23. D. A. Schmidt. Denotational Semantics. Allyn and Bacon, 1986.
24. C. Zaniolo. Active database rules with transaction-conscious stable-model semantics. In Proc. DOOD’95, pages 55–72, 1995.
25. Y. Zhou and M. Hsu. A theory for rule triggering systems. In Proc. EDBT’90, LNCS 416pages 407–422, 1990.