{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T13:04:36Z","timestamp":1751634276284},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606086"},{"type":"electronic","value":"9783540484608"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60608-4_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:46:41Z","timestamp":1330289201000},"page":"38-54","source":"Crossref","is-referenced-by-count":16,"title":["Run-Time detection of non-terminating active rule systems"],"prefix":"10.1007","author":[{"given":"Elena","family":"Baralis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Ceri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Paraboschi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"3_CR1","unstructured":"R. Agrawal, R. J. Cochrane, and B. Lindsay. On maintaining priorities in a production rule system. In G. M. Lohman, A. Sernadas, and R. Camps, editors, Proc. Seventeenth Int'l Conf. on Very Large Data Bases, pages 479\u2013487, Barcelona, Spain, Sept. 1991."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"A. Aiken, J. Widom, and J. M. Hellerstein. Behavior of database production rules: Termination, confluence, and observable determinism. In M. Stonebraker, editor, Proc. ACM SIGMOD Int'l Conf. on Management of Data, pages 59\u201368, San Diego, California, May 1992.","DOI":"10.1145\/130283.130296"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"E. Baralis, S. Ceri, and S. Paraboschi. Improved rule analysis by means of triggering and activation graphs. In T. Sellis, editor, Proc. of the Second Workshop on Rules in Databases Systems, LNCS, Athens, Greece, Sept. 1995. To appear.","DOI":"10.1007\/3-540-60365-4_126"},{"key":"3_CR4","unstructured":"E. Baralis and J. Widom. An algebraic approach to rule analysis in expert database systems. In Proc. Twentieth Int'l Conf. on Very Large Data Bases, pages 475\u2013486, Santiago, Chile, Sept. 1994."},{"key":"3_CR5","unstructured":"L. Brownston, R. Farrell, E. Kant, and N. Martin. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, 1985."},{"issue":"3","key":"3_CR6","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1145\/185827.185828","volume":"19","author":"S. Ceri","year":"1994","unstructured":"S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Automatic generation of production rules for integrity maintenance. ACM Transactions on Database Systems, 19(3):367\u2013422, Sept. 1994.","journal-title":"ACM Transactions on Database Systems"},{"key":"3_CR7","volume-title":"Active Database Systems","author":"S. Ceri","year":"1995","unstructured":"S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Active rule management in Chimera. In J. Widom and S. Ceri, editors, Active Database Systems. Morgan-Kaufmann, San Mateo, California, 1995."},{"key":"3_CR8","unstructured":"S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In D. McLeod, R. Sacks-Davis, and H. Schek, editors, Proc. Sixteenth Int'l Conf. on Very Large Data Bases, pages 566\u2013577, Brisbane, Australia, Aug. 1990."},{"key":"3_CR9","unstructured":"S. Ceri and J. Widom. Managing semantic heterogeneity with production rules and persistent queues. In R. Agrawal, S. Baker, and D. Bell, editors, Proc. Nineteenth Int'l Conf. on Very Large Data Bases, pages 108\u2013119, Dublin, Ireland, Aug. 1993."},{"issue":"6","key":"3_CR10","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1016\/0306-4379(94)90002-7","volume":"19","author":"S. Ceri","year":"1994","unstructured":"S. Ceri and J. Widom. Deriving incremental production rules for deductive data. Information Systems, 19(6):467\u2013490, Nov. 1994.","journal-title":"Information Systems"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"U. Dayal, M. Hsu, and R. Ladin. Organizing long-running activities with triggers and transactions. In H. Garcia Molina and H. V. Jagadish, editors, Proc. ACM SIGMOD Int'l Conf. on Management of Data, pages 204\u2013214, Atlantic City, New Jersey, May 1990.","DOI":"10.1145\/93597.98730"},{"key":"3_CR12","first-page":"180","volume-title":"DEAR: A DEbugger for Active Rules in an object-oriented context","author":"O. Diaz","year":"1993","unstructured":"O. Diaz, A. Jaime, and N. Paton. DEAR: A DEbugger for Active Rules in an object-oriented context. In N. W. Paton and M. H. Williams, editors, Proc. of First Workshop on Rules in Database Systems, WICS, pages 180\u2013193, Edinburgh, Scotland, Aug. 1993. Springer-Verlag, Berlin."},{"key":"3_CR13","unstructured":"Digital Equipment Corporation. Rdb\/VMS \u2014 SQL Reference Manual. Nov. 1991."},{"key":"3_CR14","unstructured":"J. Gray and A. Reuter. Transaction Processing Concepts and Techniques. Morgan Kaufmann Publishers, 1993."},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"E. Hanson. Rule condition testing and action execution in Ariel. In M. Stonebraker, editor, Proc. ACM SIGMOD Int'l Conf. on Management of Data, pages 49\u201358, San Diego, California, May 1992.","DOI":"10.1145\/130283.130295"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"A. P. Karadimce and S. D. Urban. Conditional term rewriting as a formal basis for analysis of active database rules. In Proc. Fourth International Workshop on Research Issues in Data Engineering RIDE-ADS '94, Houston, Texas, Feb. 1994.","DOI":"10.1109\/RIDE.1994.282841"},{"key":"3_CR17","unstructured":"P. Loucopoulos. Requirements engineering: Conceptual modelling and CASE perspectives. Technical report, COMETT\/FORMITT Course on Conceptual Modelling, Databases and CASE, Lausanne, Switzerland, Oct. 1994."},{"key":"3_CR18","unstructured":"S. Paraboschi. Automatic Rule Generation for Constraint and View Maintenance in Active Databases. PhD thesis, Politecnico di Milano \u2014 Dipartimento di Elettronica e Informazione, Jan. 1994. In Italian."},{"key":"3_CR19","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1109\/JRPROC.1961.287814","volume":"49","author":"W. W. Peterson","year":"1961","unstructured":"W. W. Peterson and D. T. Brown. Cyclic codes for error detection. Proceedings IRE, 49:228\u2013235, Jan. 1961.","journal-title":"Proceedings IRE"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"L. van der Voort and A. Siebes. Termination and confluence of rule execution. In Proc. of the Second International Conference on Information and Knowledge Management, Washington DC, Nov. 1993.","DOI":"10.1145\/170088.170142"},{"key":"3_CR21","volume-title":"Active Database Systems","author":"J. Widom","year":"1995","unstructured":"J. Widom and S. Ceri. Active Database Systems. Morgan-Kaufmann, San Mateo, California, Aug. 1995."}],"container-title":["Lecture Notes in Computer Science","Deductive and Object-Oriented Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60608-4_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:26:04Z","timestamp":1619573164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60608-4_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606086","9783540484608"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-60608-4_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}