{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:26:44Z","timestamp":1749220004082},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635161"},{"type":"electronic","value":"9783540695882"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63516-5_22","type":"book-chapter","created":{"date-parts":[[2009,8,12]],"date-time":"2009-08-12T18:43:58Z","timestamp":1250102638000},"page":"133-148","source":"Crossref","is-referenced-by-count":7,"title":["An implementation and evaluation of the Refined Triggering Graph method for active rule termination analysis"],"prefix":"10.1007","author":[{"given":"Michael K.","family":"Tschudi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susan D.","family":"Urban","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","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"issue":"2","key":"9_CR1","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/141484.130296","volume":"21","author":"A. Aiden","year":"1992","unstructured":"Aiden, A., Widom, J., and Hellerstein, J. M. 1992. Behavior of database production rules: Termination, confluence, and observable determinism. SIGMOD 21, 2 (Jun.), 59\u201368.","journal-title":"SIGMOD"},{"key":"9_CR2","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, (Santiago, Chile, Sep.), 475\u2013486."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Baralis, E., Ceri, S., and Paraboschi, S. 1995a. Improved rule analysis by means of triggering and activation graphs. In Rules in Database Systems: 2nd International Workshop, RIDS `95, (Glyfada, Athens, Greece, Sep. 25\u201327), 165\u2013181.","DOI":"10.1007\/3-540-60365-4_126"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Baralis, E., Ceri, S., and Paraboschi, S. 1995b. Run-time detection of non-terminating active rule systems. In Deductive and Object-Oriented Databases, T. W. Ling, A. O. Mendelzon, and L. Vieille (editors), Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases DOOD `95, (Singapore, Dec. 4\u20137), 38\u201354.","DOI":"10.1007\/3-540-60608-4_33"},{"key":"9_CR5","unstructured":"Baralis, E., Ceri, S., and Widom, J. 1993. Better termination analysis for active databases. In Proceedings of the First International Workshop on Rules in Database Systems, (Sep.), 163\u2013179."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Burkert, H.-J. 1991. A Resolution Principle for a Logic with Restricted Quantifiers. Springer-Verlag (LNCS 568).","DOI":"10.1007\/3-540-55034-8"},{"key":"9_CR7","series-title":"IBM Research Report RJ 7348 (68829)","volume-title":"Deriving production rules for constraint maintenance","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, (Mar. 1)."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Ceri, S., Baralls, E., Fraternali, P., and Paraboschi, S. 1995. Design of active rule applications: Issues and approaches. In Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases DOOD `95, (Singapore (Dec. 4\u20137),1\u201318.","DOI":"10.1007\/3-540-60608-4_31"},{"key":"9_CR9","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 Active Database Systems: Triggers and Rules for Advanced Database Processing, J. Widom and S. Ceri (editors), Morgan Kaufmann, San Francisco, 151\u2013176."},{"key":"9_CR10","unstructured":"Chan, R., Dietrich, S., and Urban, S. 1997. On Control Flow Testing of Active Rules in a Declarative Object-Oriented Framework, Rules in Database Systems Workshop, Skovde, Sweden, 1997."},{"key":"9_CR11","unstructured":"Fraternali, P., Paraboschi, S., and Tanca, L. 1992. Automatic rule generation for constraint enforcement in active databases. In Modelling Database Dynamics, U. W. Lipeck and B. Thalheim (editors), Springer-Verlag, London, 1993, Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, (Volkse, Germany, Oct. 19\u201322), 153\u2013173."},{"issue":"2","key":"9_CR12","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 (Oct.), 111\u2013128.","journal-title":"Journal of Intelligent Information Systems"},{"key":"9_CR13","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, Spring 1997."},{"key":"9_CR14","unstructured":"Karadimce, A. P., and Urban, S. D. 1996a. Proving termination of active rules in object-oriented databases. In Proceedings of the International Conference on Data Engineering, (New Orleans, LA, Feb.), pp. 384\u2013391."},{"key":"9_CR15","unstructured":"Karadimce, A. P., and Urban, S. D. 1996b. Refined triggering graphs: A logic-based approach to termination analysis in an active object-oriented database. Submitted for journal publication."},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Montesi, D., and Torlone, R. 1995. A transaction transformation approach to active rule processing. In Proceedings of the Eleventh International Conference on Data Engineering, (Taipei, Taiwan, Mar. 6\u201310), 109\u2013116.","DOI":"10.1109\/ICDE.1995.380402"},{"key":"9_CR17","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, (Montr\u00e9al, Canada), 64\u201372."},{"key":"9_CR18","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, Spring 1997."},{"issue":"1997","key":"9_CR19","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/S0169-023X(96)00041-9","volume":"22","author":"S. D. Urban","year":"1997","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, Data & Knowledge Engineering, vol. 22, 1997, 67\u2013111.","journal-title":"Data & Knowledge Engineering"},{"key":"9_CR20","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 (ARTOB), 170\u2013189."},{"key":"9_CR21","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 Active Database Systems: Triggers and Rules for Advanced Database Processing, J. Widom and S. Ceri (editors), Morgan Kaufmann, San Francisco, 87\u2013109."}],"container-title":["Lecture Notes in Computer Science","Rules in Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63516-5_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T19:57:38Z","timestamp":1558468658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63516-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635161","9783540695882"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-63516-5_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}