{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:20:54Z","timestamp":1725484854233},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_75","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T01:24:41Z","timestamp":1180661081000},"page":"1121-1136","source":"Crossref","is-referenced-by-count":3,"title":["Constraint-Based Termination Analysis for Cyclic Active Database Rules"],"prefix":"10.1007","author":[{"given":"Saumya","family":"Debray","sequence":"first","affiliation":[]},{"given":"Timothy","family":"Hickey","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"75_CR1","unstructured":"A. V. Aho, R. Sethi and J. D. Ullman, Compilers-Principles, Techniques and Tools, Addison-Wesley, 1986."},{"issue":"1","key":"75_CR2","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/202106.202107","volume":"20","author":"A. Aiken","year":"1995","unstructured":"A. Aiken, J. M. Hellerstein, and J. Widom, \u201cStatic Analysis Techniques for Predicting the Behavior of Active Database Rules\u201d, ACM Transactions on Database Systems, vol. 20 no. 1, pp. 63\u201384, March 1995.","journal-title":"ACM Transactions on Database Systems"},{"key":"75_CR3","doi-asserted-by":"crossref","unstructured":"J. Bailey, L. Crnogorac, K. Ramamohanarao, and H. S\u00f8ndergaard, \u201cAbstract Interpretation of Active Rules and Its Use in Termination Analysis\u201d, Proc. 6th. International Conference on Database Theory, 1997.","DOI":"10.1007\/3-540-62222-5_45"},{"key":"75_CR4","doi-asserted-by":"crossref","unstructured":"E. Baralis, S. Ceri, and J. Widom, \u201cBetter Termination Analysis for Active Databases\u201d, Proc. First International Workshop on Rules in Database Systems, Aug. 1993, pp. 163\u2013179.","DOI":"10.1007\/978-1-4471-3225-7_10"},{"key":"75_CR5","doi-asserted-by":"crossref","unstructured":"E. Baralis, S. Ceri, and S. Paraboschi, \u201cImproved Rule Analysis by means of Triggering and Activation Graphs\u201d, Proc. 2nd. International Workshop on Rules in Database Systems (RIDS), Sept. 1995.","DOI":"10.1007\/3-540-60365-4_126"},{"key":"75_CR6","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/69.687973","volume":"10","author":"E. Baralis","year":"1998","unstructured":"E. Baralis, S. Ceri and S. Paraboschi, \u201cCompile-Time and Runtime Analysis of Active Behaviors\u201d, IEEE Transactions on Knowledge and Data Engineering vol. 10 no. 3, May\/June 1998, pp. 353\u2013370.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"75_CR7","doi-asserted-by":"crossref","unstructured":"E. Baralis and J. Widom, \u201cBetter Static Rule Analysis for Active Database Systems\u201d, ACM Transactions on Database Systems, 2000 (to appear).","DOI":"10.1145\/363951.363954"},{"key":"75_CR8","unstructured":"S. Ceri and J. Widom, \u201cDeriving Production Rules for Constraint Maintenance\u201d, Proc. 16th. VLDB Conference, Aug. 1990, pp. 566\u2013577."},{"key":"75_CR9","unstructured":"J. Cohen and J. Katcoff, \u201cSymbolic Solution of Finite-Difference Equations,\u201d ACM Transactions on Mathematical Software 3,3 (Sept. 1977), pp. 261\u2013271."},{"key":"75_CR10","doi-asserted-by":"crossref","unstructured":"S. K. Debray, N. Lin and M. Hermenegildo, \u201cTask Granularity Analysis in Logic Programs,\u201d Proc. ACM SIGPLAN\u201990 Conference on Programming Language Design and Implementation, June 1990, pp. 174\u2013188.","DOI":"10.1145\/93542.93564"},{"key":"75_CR11","doi-asserted-by":"crossref","unstructured":"S. K. Debray and N. Lin, \u201cStatic Estimation of Query Sizes in Horn Programs,\u201d Proc. Third International Conference on Database Theory, Paris, France, December 1990, pp. 514\u2013528.","DOI":"10.1007\/3-540-53507-1_99"},{"key":"75_CR12","doi-asserted-by":"crossref","unstructured":"S. K. Debray and N.-W. Lin, \u201cCost Analysis of Logic Programs\u201d, ACM Transactions on Programming Languages and Systems (15) 5, Nov. 1993, pp. 826\u2013875.","DOI":"10.1145\/161468.161472"},{"key":"75_CR13","doi-asserted-by":"crossref","unstructured":"T. J. Hickey, \u201cAnalytic Constraint Solving and Interval Arithmetic\u201d, Proc. 27th. ACM Symp. on Principles of Programming Languages, Jan. 2000, pp. 338\u2013351.","DOI":"10.1145\/325694.325738"},{"key":"75_CR14","series-title":"Lect Notes Comput Sci","first-page":"200","volume-title":"Proc. PADL\u201900","author":"T. J. Hickey","year":"2000","unstructured":"T. J. Hickey, \u201cCLIP: A CLP (Intervals) Dialect for Metaleve Constraint Solving\u201d, Proc. PADL\u201900, LNCS vol 173, Jan. 2000, pp. 200\u2013214."},{"key":"75_CR15","doi-asserted-by":"crossref","unstructured":"J. Ivie, \u201cSome MACSYMA Programs for Solving Recurrence Relations,\u201d ACM Transactions on Mathematical Software 4,1 (March 1978), pp. 24\u201333.","DOI":"10.1145\/355769.355772"},{"issue":"3","key":"75_CR16","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"J. Jaffar, S. Michaylov, P. Stuckey, and R. Yap, \u201cThe CLP(R) Language and System\u201d, ACM Transactions on Programming Languages and Systems vol. 14 no. 3, July 1992, pp. 339\u2013395.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"75_CR17","doi-asserted-by":"crossref","unstructured":"J. Jaffar and M. J. Maher, \u201cConstraint Logic Programming: A Survey\u201d, J. Logic Programming vol. 19.20, May\/July 1994, pp. 503\u2013581.","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"75_CR18","volume-title":"Finite Difference Equations","author":"H. Levy","year":"1959","unstructured":"H. Levy and F. Lessman, Finite Difference Equations, Sir Isaac Pitman & Sons, London, 1959."},{"key":"75_CR19","unstructured":"M. Petkovsek, Finding Closed-Form Solutions of Difference Equations by Symbolic Methods, PhD Thesis, Carnegie Mellon University, 1991."},{"key":"75_CR20","unstructured":"Swedish Institute of Computer Science, SICStus Prolog User Manual, Release 3.8, Oct. 1999."},{"key":"75_CR21","doi-asserted-by":"crossref","unstructured":"A. Vaduva, S. Gatziu, and K. R. Dittrich, \u201cInvestigating Termination in Active Database Systems with Expressive Rule Languages\u201d, Proc. 3rd International Workshop on Rules in Database Systems, June 1997.","DOI":"10.1007\/3-540-63516-5_23"},{"key":"75_CR22","doi-asserted-by":"crossref","unstructured":"T. Weik and A. Heuer, \u201cAn Algorithm for the Analysis of Termination of Large Trigger Sets in an OODBMS\u201d, Proc. International Workshop on Active and Real-Time Database Systems, June 1995.","DOI":"10.1007\/978-1-4471-3080-2_11"},{"key":"75_CR23","doi-asserted-by":"crossref","unstructured":"J. Widom, \u201cThe Starburst Active Database Rule System\u201d, IEEE Transactions on Knowledge and Data Engineering, 8(4):583\u2013595, August 1996.","DOI":"10.1109\/69.536251"},{"key":"75_CR24","unstructured":"C. Zaniolo, S. Ceri, C. Faloutsos, R. T. Snodgrass, V. S. Subramanian, and R. Zicari, Advanced Database Systems, Morgan Kaufman, 1997."}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_75","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:23:43Z","timestamp":1556450623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_75","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}