{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:13:52Z","timestamp":1725484432779},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540440802"},{"type":"electronic","value":"9783540460930"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46093-4_18","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T05:02:51Z","timestamp":1179205371000},"page":"300-317","source":"Crossref","is-referenced-by-count":3,"title":["Optimising Active Database Rules by Partial Evaluation and Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"James","family":"Bailey","sequence":"first","affiliation":[]},{"given":"Alexandra","family":"Poulovassilis","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Courtenage","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,4]]},"reference":[{"key":"18_CR1","unstructured":"S. Abramsky and C. Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood, 1987."},{"key":"18_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BFb0103291","volume-title":"Proc. 7th Int. Workshop on Database Programming Languages","author":"J. Bailey","year":"1999","unstructured":"J. Bailey and A. Poulovassilis. An abstract interpretation framework for termination analysis of active rules. In Proc. 7th Int. Workshop on Database Programming Languages LNCS 1949, pages 249\u2013266, Scotland, 1999."},{"key":"18_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1106","DOI":"10.1007\/3-540-44957-4_74","volume-title":"Proc. 1st Int. Conf. on Computational Logic (DOOD\u20192000 stream)","author":"J. Bailey","year":"2000","unstructured":"J. Bailey, A. Poulovassilis, and P. Newson. A dynamic approach to termination analysis for active database rules. In Proc. 1st Int. Conf. on Computational Logic (DOOD\u20192000 stream), LNCS 1861, pages 1106\u20131120, London, 2000."},{"key":"18_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-60365-4_134","volume-title":"Proc. 2nd Int. Workshop on Rules in Database Systems (RIDS-95)","author":"E. Baralis","year":"1995","unstructured":"E. Baralis and J. Widom. Using delta relations to optimize condition evaluation in active databases. In Proc. 2nd Int. Workshop on Rules in Database Systems (RIDS-95), LNCS 985, pages 292\u2013308, Athens, 1995."},{"key":"18_CR5","unstructured":"A. Cortesi, A. Dovier, E. Quintarelli, and L. Tanca. Operational and abstract semantics of a query language for semi-structured information. In Proc. 6th Int. Workshop on Deductive Databases and Logic Programming (DDLP\u201998), pages 127\u2013140 GMD Report 22, ISSN 1435-2702, 1998."},{"issue":"2&3","key":"18_CR6","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.","journal-title":"Journal of Logic Programming"},{"issue":"4","key":"18_CR7","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/S0306-4379(99)00021-6","volume":"24","author":"A. Dinn","year":"1999","unstructured":"A. Dinn, N. W. Paton, and M. Howard Williams. Active rule analysis and optimisation in the Rock and Roll deductive object oriented database. Information Systems, 24(4):327\u2013352, 1999.","journal-title":"Information Systems"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Eric N. Hanson et al. Scalable trigger processing. In Proc. 15th ICDE, pages 266\u2013275, Sydney, 1999.","DOI":"10.1109\/ICDE.1999.754942"},{"key":"18_CR9","unstructured":"F. Fabret, M. Regnier, and E. Simon. An adaptive algorit hm for increment al evaluation of production rules in databases. In Proc. 19th VLDB, pages 455\u2013467, Dublin, Ireland, 1993."},{"issue":"3","key":"18_CR10","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 Incremental recomputation of active relational expressions by Qian and Wiederhold. IEEE Trans. on Knowledge and Data Engineering, 9(3):508\u2013511, 1997.","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"E. Hanson. Rule condition testing and action execution in Ariel. In Proc. SIGMOD 1992, pages 49\u201358, San Diego, 1992.","DOI":"10.1145\/130283.130295"},{"issue":"3","key":"18_CR12","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1145\/243439.243447","volume":"28","author":"N. Jones","year":"1996","unstructured":"N Jones. An introduction to partial evaluation. ACM Computing Surveys, 28(3):480\u2013503, 1996.","journal-title":"ACM Computing Surveys"},{"key":"18_CR13","unstructured":"N. Jones, C. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"A. Kotz-Dittrich and E. Simon. Active database Systems: Expectations, Commerical Experience and Beyond. In Paton [19], pages 367\u2013404.","DOI":"10.1007\/978-1-4419-8656-6_20"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"K. Kulkarni, N. Mattos, and R. Cochrane. Active database features in SQL3. In Paton [19], pages 197\u2013219.","DOI":"10.1007\/978-1-4419-8656-6_10"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"F. Llirbat, F. Fabret, and E. Simon. Eliminating costly redundant computations from SQL trigger executions. In Proc. SIGMOD 1997, pages 428\u2013439, 1997.","DOI":"10.1145\/253260.253357"},{"issue":"3","key":"18_CR17","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.","journal-title":"ACM TOPLAS"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"F. Nielson, H.R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.","DOI":"10.1007\/978-3-662-03811-6"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"N. Paton, editor. Active Rules in Database Systems. Springer-Verlag, 1999.","DOI":"10.1007\/978-1-4419-8656-6"},{"key":"18_CR20","unstructured":"S. Peyton Jones. The implementation of functional programming languages. Prentice-Hall, 1987."},{"issue":"3","key":"18_CR21","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.","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"S. Reddi, A. Poulovassilis, and C. Small. PFL: An active functional DBPL. In Paton [19], pages 297\u2013308.","DOI":"10.1007\/978-1-4419-8656-6_16"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Martin Sk\u00f6ld and Tore Risch. Using partial differencing for efficient monitoring of deferred complex rule conditions. In Stanley Y. W. Su, editor, Proc. 12th ICDE, pages 392\u2013401, 1996.","DOI":"10.1109\/ICDE.1996.492188"},{"key":"18_CR24","volume-title":"Active Database Systems","author":"J. Widom","year":"1995","unstructured":"J. Widom and S. Ceri. Active Database Systems. Morgan-Kaufmann, San Mateo, California, 1995."}],"container-title":["Lecture Notes in Computer Science","Database Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46093-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T00:22:04Z","timestamp":1556410924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46093-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540440802","9783540460930"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-46093-4_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}