{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:40:03Z","timestamp":1749220803975,"version":"3.41.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Intelligent Information Systems"],"published-print":{"date-parts":[[1999,3]]},"DOI":"10.1023\/a:1008709127354","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T16:37:32Z","timestamp":1040575052000},"page":"243-273","source":"Crossref","is-referenced-by-count":10,"title":["Abstract Interpretation for Termination Analysis in Functional Active Databases"],"prefix":"10.1007","volume":"12","author":[{"given":"James","family":"Bailey","sequence":"first","affiliation":[]},{"given":"Alexandra","family":"Poulovassilis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"206922_CR1","unstructured":"Abramsky, S. and Hankin, C. (Eds.) (1987). Abstract Interpretation of Declarative Languages. Ellis Horwood."},{"issue":"1","key":"206922_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/202106.202107","volume":"20","author":"A. Aiken","year":"1995","unstructured":"Aiken, A., Widom, J., and Hellerstein, J.M. (1995). Static Analysis Techniques for Predicting the Behavior of Active Database Rules. ACM Transactions on Database Systems, 20(1), 3\u201341.","journal-title":"ACM Transactions on Database Systems"},{"key":"206922_CR3","doi-asserted-by":"crossref","unstructured":"Bailey, J., Crnogorac, L., Ramamohanarao, K., and S\u00f8ndergaard, H. (1997). Abstract interpretation of active rules and its use in termination analysis. Proc. 6th International Conference on Database Theory (pp. 188\u2013202). Delphi, Greece, Lecture Notes in Computer Science 1186, Springer-Verlag.","DOI":"10.1007\/3-540-62222-5_45"},{"key":"206922_CR4","doi-asserted-by":"crossref","unstructured":"Bailey, J., Dong, G., and Ramamohanarao, K. (1998). Decidability and undecidability results for the termination problem of active database rules. Proc. 17th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (pp. 264\u2013273). Seattle, Washington.","DOI":"10.1145\/275487.275517"},{"key":"206922_CR5","unstructured":"Bailey, J. and Poulovassilis, A. (1998). Termination Analysis for Active Database Rules\u2014Techniques for Increased Precision. Technical report 98-06, Department of Computer Science, King' College London."},{"key":"206922_CR6","doi-asserted-by":"crossref","unstructured":"Baralis, E., Ceri, S., and Paraboschi, S. (1995). Improved rule analysis by means of triggering and activation graphs. Proc. 2nd Int. Workshop on Rules in Database Systems (pp. 165\u2013181). Lecture Notes in Computer Science 985, Springer-Verlag.","DOI":"10.1007\/3-540-60365-4_126"},{"key":"206922_CR7","unstructured":"Ceri, S. and Fraternalli, P. (1997). Designing Database Applications with Objects and Rules: The IDEA Methodology. Addison-Wesley."},{"issue":"2","key":"206922_CR8","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1006\/jcss.1997.1528","volume":"55","author":"S. Chaudhuri","year":"1997","unstructured":"Chaudhuri, S. and Kolaitis, P. (1997). Can Datalog be Approximated? Journal of Computer and System Sciences, 55(2), 355\u2013369.","journal-title":"Journal of Computer and System Sciences"},{"key":"206922_CR9","doi-asserted-by":"crossref","unstructured":"Coupaye, T. and Collet, C. (1995). Denotational Semantics for an Active Rule Execution Model. Proc. 2nd Int. Workshop on Rules in Database Systems (pp. 36\u201350). Lecture Notes in Computer Science 985, Springer-Verlag.","DOI":"10.1007\/3-540-60365-4_118"},{"issue":"2\/3","key":"206922_CR10","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"Cousot, P. and Cousot, R. (1992). Abstract Interpretation Frameworks. Journal of Logic Programming, 13(2\/3), 103\u2013179.","journal-title":"Journal of Logic Programming"},{"key":"206922_CR11","first-page":"222","volume-title":"Proc. 6th International Workshop on Database Programming Languages","author":"L. Libkin","year":"1997","unstructured":"Libkin, L. and Wong, L. (1997). Incremental recomputation of recursive queries with nested sets and aggregate functions. Proc. 6th International Workshop on Database Programming Languages (pp. 222\u2013238). Estes Park, Colorado, Springer-Verlag LNCS 1369."},{"issue":"3","key":"206922_CR12","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1145\/177492.177650","volume":"16","author":"K. Marriott","year":"1994","unstructured":"Marriott, K., S\u00f8ndergaard, H., and Jones, N.D. (1994). Denotational Abstract Interpretation of Logic Programs. ACM Transactions on Programming Languages and Systems, 16(3), 607\u2013648.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"206922_CR13","unstructured":"Mycroft, A. (1981). Abstract Interpretation and Optimising Transformations for Applicative Programs. Ph.D. thesis, Department of Computer Science, University of Edinburgh."},{"key":"206922_CR14","unstructured":"Peyton Jones, S. (1987). The Implementation of Functional Programming Languages. Prentice-Hall."},{"issue":"2","key":"206922_CR15","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF00127780","volume":"7","author":"A. Poulovassilis","year":"1996","unstructured":"Poulovassilis, A., Reddi, S., and Small, C. (1996). A Formal Semantics for an Active Functional DBPL. Journal of Intelligent Information Systems, 7(2), 151\u2013172.","journal-title":"Journal of Intelligent Information Systems"},{"key":"206922_CR16","unstructured":"Poulovassilis, A. and Small, C. (1994). Investigation of algebraic query optimisation in database programming languages. Proc. 20th VLDB Conference (pp. 415\u2013426). Santiago."},{"issue":"2","key":"206922_CR17","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/s007780050019","volume":"5","author":"A. Poulovassilis","year":"1996","unstructured":"Poulovassilis, A. and Small, C. (1996). Algebraic Query Optimisation in Database Programming Languages. The VLDB Journal, 5(2), 119\u2013132.","journal-title":"The VLDB Journal"},{"issue":"3","key":"206922_CR18","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1109\/69.91063","volume":"3","author":"X. Qian","year":"1991","unstructured":"Qian, X. and Wiederhold, G. (1991). Incremental Recomputation of Active Relational Expressions. IEEE Trans. on Knowledge and Data Engineering, 3(3), 337\u2013341.","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"206922_CR19","doi-asserted-by":"crossref","unstructured":"Reddi, S., Poulovassilis, A., and Small, C. (1995). Extending a functional DBPL with ECA-rules. Proc. 2nd Int. Workshop on Rules in Database Systems (pp. 101\u2013115). Lecture Notes in Computer Science 985, Springer-Verlag.","DOI":"10.1007\/3-540-60365-4_122"},{"issue":"4","key":"206922_CR20","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1145\/322217.322221","volume":"27","author":"Y. Sagiv","year":"1980","unstructured":"Sagiv, Y. and Yannakakis, M. (1980). Equivalences Among Relational Expressions with the Union and Difference Operators. Journal of the ACM, 27(4), 633\u2013655.","journal-title":"Journal of the ACM"},{"key":"206922_CR21","unstructured":"Schmidt, D.A. (1986). Denotational Semantics. Allyn and Bacon."},{"key":"206922_CR22","doi-asserted-by":"crossref","unstructured":"S\u00f8ndergaard, H. and Sestoft, P. (1992). Non-Determinism in Functional Languages. The Computer Journal, 35(5).","DOI":"10.1093\/comjnl\/35.5.514"},{"key":"206922_CR23","doi-asserted-by":"crossref","unstructured":"Sutton, D. and Small, C. (1995). Extending functional database languages to update completeness. Proc. 13th British National Conference on Databases (pp. 47\u201363). Lecture Notes in Computer Science 940, Springer-Verlag.","DOI":"10.1007\/BFb0000540"},{"issue":"3","key":"206922_CR24","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/140979.140980","volume":"21","author":"J. Widom","year":"1992","unstructured":"Widom, J. (1992). A Denotational Semantics for the Starburst Production Rule Language. ACMSIGMOD Record, 21(3), 4\u20139.","journal-title":"ACMSIGMOD Record"},{"key":"206922_CR25","doi-asserted-by":"crossref","unstructured":"Zimmer, D., Meckenstock, A., and Unland, R. (1996). Using petri nets for rule termination analysis. Proc. Workshop on Databases: Active and Real-Time 1996 (CIKM'96). Rockville, Maryland.","DOI":"10.1145\/352302.352310"}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008709127354.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008709127354\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008709127354.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:19:54Z","timestamp":1749219594000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008709127354"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":25,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["206922"],"URL":"https:\/\/doi.org\/10.1023\/a:1008709127354","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"type":"print","value":"0925-9902"},{"type":"electronic","value":"1573-7675"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}