{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:36:00Z","timestamp":1725550560129},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292272"},{"type":"electronic","value":"9783540320876"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11563952_35","type":"book-chapter","created":{"date-parts":[[2005,10,19]],"date-time":"2005-10-19T07:24:50Z","timestamp":1129706690000},"page":"392-403","source":"Crossref","is-referenced-by-count":1,"title":["Refined Rules Termination Analysis Through Activation Path"],"prefix":"10.1007","author":[{"given":"Zhongmin","family":"Xiong","sequence":"first","affiliation":[]},{"given":"Zhongxiao","family":"Hao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Aiken, A., Widom, J., Hellerstein, J.: Behavior of Database Productions Rules: Termination, Confluence, and Observable Determinism. In: Proc. Int\u2019l Conf. On Management of Data (SIGMOD), San Diego, California (1992)","DOI":"10.1145\/130283.130296"},{"issue":"3","key":"35_CR2","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/69.687973","volume":"10","author":"E. Baralis","year":"1998","unstructured":"Baralis, E., Ceri, S., et al.: Compile-Time and Runtime Analysis of Active Behaviors. IEEE Transactions on Knowledge and Data Engineering\u00a010(3), 353\u2013370 (1998)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Baralis, E., Ceri, S., et al.: Improved Rule Analysis by Means of Triggering and Activation Graphs. In: Proc. Int\u2019l Second Workshop Rules in Database Systems (RIDS), Athens, Greence (1995)","DOI":"10.1007\/3-540-60365-4_126"},{"issue":"8","key":"35_CR4","doi-asserted-by":"publisher","first-page":"1010","DOI":"10.1109\/TKDE.2004.20","volume":"16","author":"J. Bae","year":"2004","unstructured":"Bae, J., Bae, H., et al.: Automatic Control of Workflow Processes Using ECA Rules. IEEE Transactions on Knowledge and Data Engineering\u00a016(8), 1010\u20131018 (2004)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"1","key":"35_CR5","first-page":"39","volume":"10","author":"A. Bonifati","year":"2001","unstructured":"Bonifati, A., Ceri, S., Paraboschi, S.: Active rules for XML. A new paradigm for e-services. VLDB Journal\u00a010(1), 39\u201347 (2001)","journal-title":"A new paradigm for e-services. VLDB Journal"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"Bailey, J., Poulovassilis, A., Wood, P.T.: An event-condition-action language for XML. In: Proc. WWW 2002, Hawaii, pp. 486\u2013495 (2002)","DOI":"10.1145\/511507.511509"},{"issue":"1-3","key":"35_CR7","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/j.tcs.2003.09.003","volume":"311","author":"J. Bailey","year":"2004","unstructured":"Bailey, J., Dong, G., et al.: On the Decidability of the Termination Problem of Active Database System. Theor. Comput. Sci.\u00a0311(1-3), 389\u2013437 (2004)","journal-title":"Theor.Comput.Sci."},{"issue":"1","key":"35_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/202106.202107","volume":"20","author":"A. Aiken","year":"1995","unstructured":"Aiken, A., Hellerstein, J., Widom, J.: Static Analysis Techniques for Predicting the Behavior of Database Production Rules. ACM Transactions on Database Systems\u00a020(1), 3\u201341 (1995)","journal-title":"ACM Transactions on Database Systems"},{"key":"35_CR9","unstructured":"Karadimce, A.P., Urban, S.D.: Refined Triggering Graph: A Logic-Based Approach to Termination Analysis in an Active Object-Oriented Database. In: Proc. Int\u2019l Conf. On Data Engineering (ICDE), New-Orlean, Louisiana (1996)"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Lee, S.Y., Ling, T.W.: Refined Termination Decision in Active Databases. In: Proc. Int\u2019l Conf. On Database and Expert Systems Applications (DEXA), Toulouse, France (1997)","DOI":"10.1007\/BFb0022030"},{"key":"35_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BFb0100995","volume-title":"Advances in Database Technology - EDBT \u201998","author":"S.Y. Lee","year":"1998","unstructured":"Lee, S.Y., Ling, T.W.: A path removing technique for detecting trigger termination. In: Schek, H.-J., Saltor, F., Ramos, I., Alonso, G. (eds.) EDBT 1998. LNCS, vol.\u00a01377, p. 341. Springer, Heidelberg (1998)"},{"issue":"3","key":"35_CR12","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1145\/363951.363954","volume":"25","author":"E. Baralis","year":"2000","unstructured":"Baralis, E., Widom, J.: An Algebraic Approach to Static Analysis of Active Database Rules. ACM Transactions on Database Systems\u00a025(3), 269\u2013332 (2000)","journal-title":"ACM Transactions on Database Systems"},{"issue":"2","key":"35_CR13","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1109\/TKDE.2003.1185831","volume":"15","author":"S. Comai","year":"2003","unstructured":"Comai, S., Tanca, L.: Termination and Confluence by Rule Prioritization. IEEE Transactions on Knowledge and Data Engineering\u00a015(2), 257\u2013270 (2003)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"2\/3","key":"35_CR14","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1023\/A:1008709127354","volume":"12","author":"J. Bailey","year":"1999","unstructured":"Bailey, J., Poulovassilis, A.: Abstract interpretation framework for termination analysis in functional active databases. Journal of Intelligent Information Systems\u00a012(2\/3), 243\u2013273 (1999)","journal-title":"Journal of Intelligent Information Systems"},{"issue":"1","key":"35_CR15","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/311531.311623","volume":"31","author":"N.W. Paton","year":"1999","unstructured":"Paton, N.W., et al.: Active Database System. ACM Computing Surveys\u00a031(1), 63\u2013103 (1999)","journal-title":"ACM Computing Surveys"},{"key":"35_CR16","volume-title":"Active Database Systems","author":"S. Ceri","year":"1996","unstructured":"Ceri, S., Fraternali, P., et al.: Active Rule Management in Chimera. In: Ceri, S., Widom, J. (eds.) Active Database Systems. Morgan Kaufmann, San Francisco (1996)"},{"key":"35_CR17","unstructured":"Leverenz, L., et al.: SQL Reference, Handbook. Oracle Corporation (2000)"}],"container-title":["Lecture Notes in Computer Science","Advances in Web-Age Information Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11563952_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:43:33Z","timestamp":1558273413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11563952_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292272","9783540320876"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11563952_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}