{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:40:04Z","timestamp":1749220804097,"version":"3.41.0"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1999,4,1]],"date-time":"1999-04-01T00:00:00Z","timestamp":922924800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,4,1]],"date-time":"1999-04-01T00:00:00Z","timestamp":922924800000},"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,4]]},"DOI":"10.1023\/a:1026430919467","type":"journal-article","created":{"date-parts":[[2003,11,6]],"date-time":"2003-11-06T16:45:40Z","timestamp":1068137140000},"page":"27-60","source":"Crossref","is-referenced-by-count":6,"title":["Active Rule Termination Analysis: An Implementation and Evaluation of the Refined Triggering Graph Method"],"prefix":"10.1007","volume":"12","author":[{"given":"Susan D.","family":"Urban","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael K.","family":"Tschudi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suzanne W.","family":"Dietrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anton P.","family":"Karadimce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"206544_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/202106.202107","volume":"20","author":"A. Aiken","year":"1995","unstructured":"Aiken, A., Hellerstein, J.M., and Widom, J. (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"},{"issue":"2","key":"206544_CR2","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/141484.130296","volume":"21","author":"A. Aiken","year":"1992","unstructured":"Aiken, A., Widom, J., and Hellerstein, J.M. (1992). Behavior of Database Production Rules: Termination, Con-fluence, and Observable Determinism, SIGMOD, 21(2), 59\u201368.","journal-title":"SIGMOD"},{"key":"206544_CR3","first-page":"188","volume-title":"Lecture Notes in Computers Science (1186): Proceedings of the International Conference on Database Theory","author":"J. Bailey","year":"1997","unstructured":"Bailey, J., Crnogorac, L., Ramamohanarao, K., and Sondergaard, H. (1997). Abstract interpretation of active rules and its use in termination analysis. Lecture Notes in Computers Science (1186): Proceedings of the International Conference on Database Theory (pp. 188\u2013202). Delphoi, Greece: Springer-Verlag."},{"key":"206544_CR4","doi-asserted-by":"crossref","unstructured":"Baralis, E., Ceri, S., and Paraboschi, S. (1995a). Improved rule analysis by means of triggering and activation graphs. In '95 (pp. 165\u2013181). Glyfada, Athens, Greece.","DOI":"10.1007\/3-540-60365-4_126"},{"key":"206544_CR5","doi-asserted-by":"crossref","unstructured":"Baralis, E., Ceri, S., and Paraboschi, S. (1995b). Run-Time Detection of Non-Terminating Active Rule Systems. In T.W. Ling, A.O. Mendelzon, and L. Vieille (Eds.), Deductive and Object-Oriented Databases. '95. Singapore, (pp. 38\u201354).","DOI":"10.1007\/3-540-60608-4_33"},{"key":"206544_CR6","doi-asserted-by":"crossref","unstructured":"Baralis, E., Ceri, S., and Widom, J. (1994). Better termination analysis for active databases. In Proceedings of the First International Workshop on Rules in Database Systems (pp. 163\u2013179).","DOI":"10.1007\/978-1-4471-3225-7_10"},{"key":"206544_CR7","unstructured":"Baralis, E. and Widom, J. (1994). An algebraic approach to rule analysis in expert database systems. In Proceedings of the Twentieth International Conference on Very Large Data Bases (pp. 475\u2013486). Santiago, Chile."},{"key":"206544_CR8","doi-asserted-by":"crossref","unstructured":"Baralis, E. and Widom, J. (1995). Better static rule analysis for active database systems. Technical Report, (Dec.). Submitted for journal publication. <ftp:\/\/db.stanford.edu\/pub\/papers\/better-static-analysis.ps>","DOI":"10.1007\/978-1-4471-3225-7_10"},{"key":"206544_CR9","doi-asserted-by":"crossref","unstructured":"Burckert, H.-J. (1991). A Resolution Principle for a Logic with Restricted Quantifiers, (LNCS 568). Springer-Verlag.","DOI":"10.1007\/3-540-55034-8"},{"volume-title":"The Object-Oriented Database Standard: ODMG-93","year":"1996","key":"206544_CR10","unstructured":"Cattell, R. (Ed.) (1996). The Object-Oriented Database Standard: ODMG-93, release 1.2, San Francisco: Morgan Kaufmann."},{"key":"206544_CR11","doi-asserted-by":"crossref","unstructured":"Ceri, S., Baralis, E., Fraternali, P., and Paraboschi, S. (1995). Design of active rule applications: Issues and approaches. In '95 (pp. 1\u201318). Singapore.","DOI":"10.1007\/3-540-60608-4_31"},{"key":"206544_CR12","first-page":"151","volume-title":"Active Database Systems: Triggers and Rules for Advanced Database Processing","author":"S. Ceri","year":"1996","unstructured":"Ceri, S., Fraternali, P., Paraboschi, S., and Tanca, L. (1996). Active rule management in Chimera. In J. Widom and S. Ceri (Eds.), Active Database Systems: Triggers and Rules for Advanced Database Processing (pp. 151\u2013176). San Francisco: Morgan Kaufmann."},{"key":"206544_CR13","volume-title":"IBM Research Report RJ 7348 (68829)","author":"S. Ceri","year":"1990","unstructured":"Ceri, S. and Widom, J. (1990). Deriving production rules for constraint maintenance. In IBM Research Report RJ 7348 (68829). IBM Research Division, Yorktown Heights, NY."},{"key":"206544_CR14","doi-asserted-by":"crossref","unstructured":"Chan, R., Dietrich, S., and Urban, S. (1997). On control flow testing of active rules in a declarative object-oriented framework. Proceedings of the Rules in Database Systems Conference. Skovde, Sweden.","DOI":"10.1007\/3-540-63516-5_24"},{"issue":"3","key":"206544_CR15","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0164-1212(95)00101-8","volume":"35","author":"S.W. Dietrich","year":"1996","unstructured":"Dietrich, S.W., Fan, C., and Cortes-Rello, E. (1996). An Application of Fragmentation Transparency in a Distributed Database System: A Case Study. Journal of Systems and Software, 35(3), 185\u2013197.","journal-title":"Journal of Systems and Software"},{"key":"206544_CR16","first-page":"153","volume-title":"Modelling Database Dynamics","author":"P. Fraternali","year":"1992","unstructured":"Fraternali, P., Paraboschi, S., and Tanca, L. (1992). Automatic Rule Generation for Constraint Enforcement in Active Databases. In U.W. Lipeck and B. Thalheim (Eds.), Modelling Database Dynamics. London: Springer-Verlag, 1993. Selected Papers from the Fourth InternationalWorkshop on Foundations of Models and Languages for Data and Objects, pp. 153\u2013173."},{"issue":"2","key":"206544_CR17","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/232616.232692","volume":"21","author":"S. Guo","year":"1996","unstructured":"Guo, S., Sun, W., and Weiss, M.A. (1996). Solving Satisfiability and Implication Problems in Database Systems, ACM Transactions on Database Systems, 21(2), 270\u2013293.","journal-title":"ACM Transactions on Database Systems"},{"key":"206544_CR18","first-page":"234","volume-title":"Implementations of PROLOG","author":"S. Haridi","year":"1984","unstructured":"Haridi, S. and Sahlin, D. (1984). Efficient Implementation of Unification of Cyclic Structures. In J.A. Campbell (Ed.), Implementations of PROLOG. Chichester: Ellis Horwood Limited, pp. 234\u2013249."},{"issue":"2","key":"206544_CR19","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF00127778","volume":"7","author":"A. J\u00e4hne","year":"1996","unstructured":"J\u00e4hne, A., Urban, S.D., and Dietrich, S.W. (1996). PEARD: A Prototype Environment for Active Rule Debugging, Journal of Intelligent Information Systems, 7(2), 111\u2013128.","journal-title":"Journal of Intelligent Information Systems"},{"key":"206544_CR20","unstructured":"Karadimce, A.P. (1997). Termination and Confluence Analysis in an Active Object-Oriented Database. Ph.D. Dissertation, Department of Computer Science and Engineering, Arizona State University."},{"key":"206544_CR21","unstructured":"Karadimce, A.P. and Urban, S.D. (1991). Diagnosing anomalous rule behavior in databases with integrity maintenance production rules. In Proceedings of the Third International Workshop on Foundations of Models and Languages for Data and Objects (pp. 77\u2013102). Aigen Austria."},{"key":"206544_CR22","unstructured":"Karadimce, A.P. and Urban, S.D. (1996). Proving termination of active rules in object-oriented databases. In Proceedings of the International Conference on Data Engineering (pp. 384\u2013391). New Orleans, LA."},{"key":"206544_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BFb0100995","volume-title":"Proceedings of the International Conference on Extending Database Technology","author":"S.Y. Lee","year":"1998","unstructured":"Lee, S.Y. and Ling, T.W. (1998). A path removing technique for detecting trigger termination. In Lecture Notes in Computer Science (#1377): Proceedings of the International Conference on Extending Database Technology (pp. 341\u2013355). Valencia, Spain: Springer-Verlag."},{"key":"206544_CR24","doi-asserted-by":"crossref","unstructured":"Montesi, D. and Torlone, R. (1995).Atransaction transformation approach to active rule processing. In Proceedings of the Eleventh International Conference on Data Engineering (pp. 109\u2013116). Taipei, Taiwan.","DOI":"10.1109\/ICDE.1995.380402"},{"key":"206544_CR25","unstructured":"Rosenkrantz, D. and Hunt, H.B., III (1980). Processing conjunctive predicates and queries. In Proceedings of the Sixth International Conference on Very Large Data Bases (pp. 64\u201372). Montr\u00e9al, Canada."},{"key":"206544_CR26","doi-asserted-by":"crossref","unstructured":"Sundermier, A., Abdellatif, T., Dietrich, S., and Urban, S. (1997). Object deltas in an active database development environment. In Proceedings of the International Conference on Deductive and Object-Oriented Databases, Lecture Notes in Computer Science (pp. 211\u2013228). Switzerland.","DOI":"10.1007\/3-540-63792-3_17"},{"key":"206544_CR27","unstructured":"Tschudi, M.K. (1997). Static Analysis of Active Database Rules: Evaluating Tools for Termination Analysis, M.S. Thesis, Department of Computer Science and Engineering, Arizona State University."},{"key":"206544_CR28","doi-asserted-by":"crossref","unstructured":"Tschudi, M.K., Urban, S.D., and Dietrich, S.W. (1997). The implementation and evaluation of the refined triggering graph approach to rule termination analysis. In Proceedings of the Rules in Database Systems Conference (pp. 133\u2013148). Skovde, Sweden.","DOI":"10.1007\/3-540-63516-5_22"},{"key":"206544_CR29","doi-asserted-by":"crossref","unstructured":"Urban, S.D., Karadimce, A.P., Dietrich, S.W., Ben Abdellatif, T., and Chan, H.W.R. (1997). CDOL: A Comprehensive Declarative Object Language. To appear in Data & Knowledge Engineering.","DOI":"10.1016\/S0169-023X(96)00041-9"},{"key":"206544_CR30","doi-asserted-by":"crossref","unstructured":"Weik, T. and Heuer, A. (1995). An algorithm for the analysis of termination of large trigger sets in OODBMS. In Proceedings of the Workshop on Active and Real-Time Databases (ARTDB) (pp. 170\u2013189).","DOI":"10.1007\/978-1-4471-3080-2_11"},{"issue":"4","key":"206544_CR31","first-page":"15","volume":"15","author":"J. Widom","year":"1992","unstructured":"Widom, J. (1992). The Starburst rule system: Language design, implementation, and applications, IEEE Data Engineering Bulletin, Special Issue on Active Databases, 15(4), 15\u201318.","journal-title":"IEEE Data Engineering Bulletin, Special Issue on Active Databases"},{"key":"206544_CR32","first-page":"87","volume-title":"Active Database Systems: Triggers and Rules for Advanced Database Processing","author":"J. Widom","year":"1996","unstructured":"Widom, J. (1996). The Starburst rule system. In J. Widom and S. Ceri (Eds.), Active Database Systems: Triggers and Rules for Advanced Database Processing. San Francisco: Morgan Kaufmann, pp. 87\u2013109."},{"key":"206544_CR33","volume-title":"Active Database Systems: Triggers and Rules for Advanced Database Processing","author":"J. Widom","year":"1996","unstructured":"Widom, J. and Ceri, S. (1996). Active Database Systems: Triggers and Rules for Advanced Database Processing, San Fancisco: Morgan Kaufmann."}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026430919467.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1026430919467\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026430919467.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:18:17Z","timestamp":1749219497000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1026430919467"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,4]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,4]]}},"alternative-id":["206544"],"URL":"https:\/\/doi.org\/10.1023\/a:1026430919467","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"type":"print","value":"0925-9902"},{"type":"electronic","value":"1573-7675"}],"subject":[],"published":{"date-parts":[[1999,4]]}}}