{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:40:56Z","timestamp":1725486056894},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540414810"},{"type":"electronic","value":"9783540445432"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44543-9_16","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T18:23:52Z","timestamp":1181240632000},"page":"252-270","source":"Crossref","is-referenced-by-count":2,"title":["An Abstract Interpretation Framework for Termination Analysis of Active Rules"],"prefix":"10.1007","author":[{"given":"James","family":"Bailey","sequence":"first","affiliation":[]},{"given":"Alexandra","family":"Poulovassilis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,4,13]]},"reference":[{"unstructured":"S. Abramsky and C. Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood, 1987. 252","key":"16_CR1"},{"issue":"1","key":"16_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/202106.202107","volume":"20","author":"A. Aiken","year":"1995","unstructured":"A. Aiken, J. Widom, and J. M. Hellerstein. Static analysis techniques for predicting the behavior of active database rules. ACM TODS, 20(1):3\u201341, 1995. 268","journal-title":"ACM TODS"},{"key":"16_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/3-540-62222-5_45","volume-title":"Abstract interpretation of active rules and its use in termination analysis","author":"J. Bailey","year":"1997","unstructured":"J. Bailey, L. Crnogorac, K. Ramamohanarao, and H. S\u00f8ndergaard. Abstract interpretation of active rules and its use in termination analysis. In Proc. ICDT\u201997, LNCS 1186, pages 188\u2013202, 1997. 268"},{"key":"16_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/3-540-62222-5_46","volume-title":"Structural issues in active rule systems","author":"J. Bailey","year":"1997","unstructured":"J. Bailey, G. Dong, and K. Ramamohanarao. Structural issues in active rule systems. In Proc. ICDT\u201997, LNCS 1186, pages 203\u2013214, 1997. 266"},{"doi-asserted-by":"crossref","unstructured":"J. Bailey, G. Dong, and K. Ramamohanarao. Decidability and undecidability results for the termination problem of active database rules. In Proc. PODS\u201998, pages 264\u2013273, 1998. 257","key":"16_CR5","DOI":"10.1145\/275487.275517"},{"issue":"2\/3","key":"16_CR6","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1023\/A:1008709127354","volume":"12","author":"J. Bailey","year":"1999","unstructured":"J. Bailey and A. Poulovassilis. Abstract interpretation for termination analysis in functional active databases. Journal of Intelligent Information Systems, 12(2\/3):243\u2013273, 1999. 268","journal-title":"Journal of Intelligent Information Systems"},{"issue":"3","key":"16_CR7","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/69.687973","volume":"10","author":"E. Baralis","year":"1998","unstructured":"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\u2013370, 1998. 263, 268","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"unstructured":"E. Baralis and J. Widom. An algebraic approach to rule analysis in expert database systems. In Proc. VLDB\u201994, pages 475\u2013486, Santiago, Chile, 1994. 263, 268","key":"16_CR8"},{"key":"16_CR9","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1006\/jcss.1997.1528","volume":"55","author":"S. Chaudhuri","year":"1997","unstructured":"S. Chaudhuri and P. Kolaitis. Can datalog be approximated ? Journal of Computer and System Sciences, 55, 1997. 268","journal-title":"Journal of Computer and System Sciences"},{"issue":"2&3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic Programming, 13(2&3):103\u2013179, 1992. 252","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"16_CR11","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1109\/69.599937","volume":"9","author":"T. Griffin","year":"1997","unstructured":"T. Griffin, L. Libkin, and H. Trickey. A correction to \u201cIncremental recomputation of active relational expressions\u201d by Qian andWiederhold. IEEE Trans. on Knowledge and Data Engineering, 9(3):508\u2013511, 1997. 265","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"doi-asserted-by":"crossref","unstructured":"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\u2013391, 1996. 268","key":"16_CR12","DOI":"10.1109\/ICDE.1996.492187"},{"unstructured":"K. Kulkarni, N. Mattos, and R. Cochrane. Active database features in SQL3. In [17]. 267, 268","key":"16_CR13"},{"doi-asserted-by":"crossref","unstructured":"L. Libkin. Approximation in databases. In Proc. ICDT\u201995, pages 411\u2013424, 1995. 268","key":"16_CR14","DOI":"10.1007\/3-540-58907-4_31"},{"unstructured":"B. Lud\u00e4scher, U. Hamann, and G. Lausen. A logical framework for active rules. In Proc. 7th International Conference on Management of Data, Pune, India, 1995. 268","key":"16_CR15"},{"issue":"3","key":"16_CR16","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1145\/177492.177650","volume":"16","author":"K. Marriott","year":"1994","unstructured":"K. Marriott, H. S\u00f8ndergaard, and N. D. Jones. Denotational abstract interpretation of logic programs. ACM TOPLAS, 16(3):607\u2013648, 1994. 252","journal-title":"ACM TOPLAS"},{"doi-asserted-by":"crossref","unstructured":"N. Paton, editor. Active Rules in Database Systems. Springer-Verlag, 1999. 253","key":"16_CR17","DOI":"10.1007\/978-1-4419-8656-6"},{"doi-asserted-by":"crossref","unstructured":"P. Picouet and V. Vianu. Semantics and expressiveness issues in active databases. In Proc. PODS\u201995, pages 126\u2013138, 1995. 267","key":"16_CR18","DOI":"10.1145\/212433.220203"},{"issue":"2","key":"16_CR19","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF00127780","volume":"7","author":"A. Poulovassilis","year":"1996","unstructured":"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\u2013172, 1996. 268","journal-title":"Journal of Intelligent Information Systems (special issue on Active Database Systems)"},{"issue":"3","key":"16_CR20","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1109\/69.91063","volume":"3","author":"X. Qian","year":"1991","unstructured":"X. Qian and G. Wiederhold. Incremental recomputation of active relational expressions. IEEE Trans. on Knowledge and Data Engineering, 3(3):337\u2013341, 1991. 265","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"doi-asserted-by":"crossref","unstructured":"S. Reddi, A. Poulovassilis, and C. Small. Extending a functional DBPL with ECArules. In Proc. RIDS\u201995, pages 101\u2013115, 1995. 268","key":"16_CR21","DOI":"10.1007\/3-540-60365-4_122"},{"issue":"4","key":"16_CR22","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1145\/322217.322221","volume":"27","author":"Y. Sagiv","year":"1980","unstructured":"Y. Sagiv and M. Yannakakis. Equivalences among relational expressions with the union and difference operators. Journal of the ACM, 27(4):633\u2013655, 1980. 261, 262","journal-title":"Journal of the ACM"},{"unstructured":"D. A. Schmidt. Denotational Semantics. Allyn and Bacon, 1986. 253, 257, 259","key":"16_CR23"},{"doi-asserted-by":"crossref","unstructured":"C. Zaniolo. Active database rules with transaction-conscious stable-model semantics. In Proc. DOOD\u201995, pages 55\u201372, 1995. 268","key":"16_CR24","DOI":"10.1007\/3-540-60608-4_34"},{"key":"16_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/BFb0022186","volume-title":"A theory for rule triggering systems","author":"Y. Zhou","year":"1990","unstructured":"Y. Zhou and M. Hsu. A theory for rule triggering systems. In Proc. EDBT\u201990, LNCS 416 pages 407\u2013422, 1990. 268"}],"container-title":["Lecture Notes in Computer Science","Research Issues in Structured and Semistructured Database Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44543-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T07:48:25Z","timestamp":1683877705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44543-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540414810","9783540445432"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-44543-9_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}